Аудит безпеки смартконтракту на 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 Розгорнути