Аудит безопасности смартконтракта на Solana (Rust/Anchor) — платформа ставок на цену токена

Бюджет: 27000 UAH Срок: 14 дней

Для такого контракта ориентир - от 65000 грн и 10-14 рабочих дней, включая первичный аудит, отчет по критичности и повторную проверку исправлений. Бюджет 1111 грн здесь, к сожалению, не соответствует риску mainnet - дешевый аудит в DeFi часто стоит дороже уже после первого инцидента =/

Можем взять не формальную проверку, а нормальный security review - Anchor account constraints, signer и ownership checks, PDA seeds, SPL Token authority flow, escrow-модель, overflow/rounding, resolver финальной цены, claim/refund логику, pause/emergency сценарии и privilege escalation через admin authority. Отдельно я бы посмотрел edge cases с пустыми или дисбалансными раундами, многими участниками, нулевыми пулами, округлением выплат и повторными claim-попытками.

Нужно будет дать репозиторий, описание ожидаемой экономики раундов, перечень ролей/authority-ключей, инструкцию запуска тестов и желаемый формат отчета. Смотрите, тут нюанс - без локального запуска тестов и чтения кода точная оценка может немного измениться, но порядок бюджета будет именно таким.

Вопросы:
> есть ли уже test suite для Anchor, особенно на refund/claim/emergency сценарии?
> является ли resolver цены централизованным, multisig, oracle или собственным admin-механизмом?

Схожие по сложности кейсы Ingello:
> https://business.ingello.com/vorfahr - сложная автоматизация с финансовой и операционной логикой, где важна надежность сценариев
> https://business.ingello.com/fractal - агентная архитектура и сложные процессы, полезно как пример системного подхода к проверке логики
> https://systems-fl.ingello.com/ua Развернуть

Бюджет: 20000 UAH Срок: 7 дней

Здравствуйте! Проведу аудит и подготовлю документ с классификацией найденных уязвимостей а также с уточнением как их устранить.
Предлагаю детальнее обсудить в ЛС, также готов сразу предоставить ссылки на готовые проекты которые прошли через меня аудит или были мною разработаны.

Бюджет: 27000 UAH Срок: 3 дня

Здравствуйте, сделаем профессиональный аудит с подписью от компании. Пишите в личные сообщения по цене примерно 1200$.

Бюджет: 5000 UAH Срок: 3 дня

Уже делал множество аудитов пример могу скинуть в личные сообщения, если заинтересованы в качественном аудите с проверкой исправления багов - пишите.

Бюджет: 4000 UAH Срок: 1 день

Доброго дня! Работаю с Solana уже более двух лет. Разрабатывал и проверял программы на Rust + Anchor, включая PDA, CPI, SPL Token, escrow-механики, системы распределения средств, staking и DeFi-логику. Также анализировал контракты на предмет ошибок в проверках аккаунтов, authority, PDA, integer overflow, логических edge cases и других типичных проблем Solana. Для контракта такого объема ориентировочно понадобится 4–7 рабочих дней. Стоимость зависит от фактического размера кода и сложности логики, но ориентировочно это $1000–2000 вместе с повторной проверкой после внесения исправлений. Отчет оформляю в виде документа с описанием каждой найденной проблемы: уровень критичности (Critical / High / Medium / Low), описание риска, сценарий эксплуатации, рекомендации по исправлению и, при необходимости, примеры кода. После исправлений провожу повторный аудит и добавляю статус по каждой находке (Fixed / Partially Fixed / Unresolved).

Бюджет: 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 Развернуть