Бюджет: 300 EUR Термін: 3 дні
Доброго дня!
Ми готові виконати професійний аудит трьох ваших смарт-контрактів у мережах Solana, Tron та Ethereum з акцентом саме на безпеку балансів та коректність логіки виведення коштів.
В рамках аудиту ми: детально проаналізуємо модель прав доступу (інвестори, адміністратор, сервісні ролі); перевіримо, щоб жодна стороння адреса не могла вивести кошти з контракту ні прямими викликами, ні через обхідні сценарії; впевнимося, що виведення можливе строго за передбаченими сценаріями: інвестор — тільки свій вклад та належні йому нарахування; адміністратор — тільки через чітко регламентовані функції, без «прихованих» можливостей; перевіримо контракти на типові та нетривіальні вразливості: повторний виклик, некоректні перевірки умов, помилки в арифметиці, блокування коштів, маніпуляції зі станом, некоректну роботу при екстремальних значеннях тощо; порівняємо реалізацію логіки між мережами, щоб не було розбіжностей, які можна експлуатувати.
За підсумками ви отримаєте структурований звіт: список знайдених проблем з поділом за критичністю; детальні коментарі, чим саме небезпечна кожна вразливість; конкретні рекомендації щодо правок (включно з варіантами змін коду).
За необхідності після внесення виправлень можемо провести повторну перевірку, щоб підтвердити, що всі критичні моменти усунені.
