Бюджет: 27000 UAH Срок: 8 дней
у нас уже есть практически готовый формат такого аудита, его можно быстро адаптировать под ваш репозиторий и запустить сейчас, я тут на бирже))
ПО Solana работаем с Rust, Anchor, SPL Token, PDA escrow, signer и проверками ownership, моделью authority и логикой выплат.
ориентир по стоимости - 48 000 грн, срок - 8 рабочих дней для одного компактного контракта, вместе с повторной проверкой исправлений.
формат - практический отчет с Critical, High, Medium, Low, доказательством риска, рекомендацией, файлом или инструкцией, где проблема найдена.
смотрим не только типовые уязвимости Anchor, но и экономику раундов, округление, крайние случаи с множеством участников, злоупотребление pause, refund и resolver.
для старта нужен репозиторий, описание бизнес-правил раундов, testnet или локальный сценарий, перечень admin authority ключей и желаемый формат отчета.
уточните, пожалуйста, размер репозитория - количество инструкций Anchor и есть ли тесты или локальный validator сценарий.
является ли resolver цены централизованным admin authority, oracle или внешним бекендом.
близкий по сложности логики пример - https://business.ingello.com/svitbus - платежи, роли, возвраты, финпанель.
еще один релевантный пример - https://business.ingello.com/platforma - сложная корпоративная логика, роли, процессы.
наш профиль для FLH - https://systems-fl.ingello.com/ua