Помогаю командам защитить деньги пользователей: провожу глубокую проверку смарт-контрактов на Solidity перед выходом в продакшн. Сначала читаю контракт целиком, выстраиваю карту внешних вызовов, переходов состояния и точек доверия, а после разбираю каждый узел на прочность — права доступа, реентрабельность, переполнение, работу с оракулами и опасные вызовы через delegatecall.
Одними глазами тут не обойтись, поэтому ручной разбор усиливаю инструментами. Прогоняю статический анализатор, пишу модульные и фаззинг-тесты, которые намеренно нарушают предположения кода, а для значимых находок собираю сценарий атаки. В результате вы получаете не свалку предупреждений сканера, а структурированный документ: каждая проблема отсортирована по опасности, описана человеческим языком и снабжена советом, что и как поправить.
По итогам у вас на руках подробный отчёт: короткая выжимка для руководства и инвесторов, полный список находок со ссылками на строки кода и повторная проверка после правок. Перед мейннетом, токенсейлом или листингом такой аудит превращает запуск из ставки на удачу в осознанный шаг.
— Покрываю реентрабельность, доступ, переполнение и оракулы
— Статический анализ вместе с модульными и фаззинг-тестами
— Отчёт с приоритетами, патчами и бесплатной перепроверкой
Одними глазами тут не обойтись, поэтому ручной разбор усиливаю инструментами. Прогоняю статический анализатор, пишу модульные и фаззинг-тесты, которые намеренно нарушают предположения кода, а для значимых находок собираю сценарий атаки. В результате вы получаете не свалку предупреждений сканера, а структурированный документ: каждая проблема отсортирована по опасности, описана человеческим языком и снабжена советом, что и как поправить.
По итогам у вас на руках подробный отчёт: короткая выжимка для руководства и инвесторов, полный список находок со ссылками на строки кода и повторная проверка после правок. Перед мейннетом, токенсейлом или листингом такой аудит превращает запуск из ставки на удачу в осознанный шаг.
— Покрываю реентрабельность, доступ, переполнение и оракулы
— Статический анализ вместе с модульными и фаззинг-тестами
— Отчёт с приоритетами, патчами и бесплатной перепроверкой
