Ethereum 
Binance Smart Chain 
Polygon 
Arbitrum 
Optimism (OP) 
Tron 
Solana 
Bitcoin 
Sui 
Aptos 
TON 
Cardano 
Quorum 
Avalanche 
Polkadot 
Base 
Near 
Scroll 
ZKSync Ethereum Binance Smart Chain Polygon Arbitrum Optimism (OP) Tron Solana Bitcoin Sui Aptos TON Cardano Quorum Avalanche Polkadot Base Near Scroll ZKSync Что мы проверяем
Набор зависит от сети и модели продукта: DeFi-протокол или enterprise-решение. Ниже то, что обычно входит в скоуп с самого начала.
Контроль доступа и права владения
Кто и при каких условиях может вызывать критичные функции: смена владельца, апгрейд контракта, вывод средств. Ищем ошибки в модификаторах доступа и в логике передачи прав.
Reentrancy и порядок исполнения
Проверяем, может ли внешний вызов прервать выполнение контракта в момент, когда состояние еще не обновлено, и использовать это для абьюза кода.
Работа с оракулами и манипуляции ценой
Проверяем зависимость контракта от источников цены. Можно ли манипулировать ценой для извлечения выгоды при различных операциях: свопе, займе или ликвидации.
Бизнес-логика и математика
Соответствует ли код заявленной логике продукта: округления, лимиты, распределение вознаграждений, edge-кейсы, не покрытые тестами.
Апгрейды и proxy-паттерны
Если контракт обновляемый, проверяем корректность прокси, хранение состояния при апгрейде и то, кто в итоге контролирует логику после обновления.
Газ-эффективность
Выносим газ-находки в отдельную категорию. Смотрим неоптимальные циклы, лишние storage-операции и паттерны, которые с ростом активности пользователей делают вызов функции дороже, вплоть до экономической нецелесообразности.
Отказоустойчивость и DoS
Ищем сценарии, где один пользователь или злоумышленник может заблокировать функцию для всех остальных, причём не из-за газа, а из-за логики контракта.
Контроль доступа и права владения
Кто и при каких условиях может вызывать критичные функции: смена владельца, апгрейд контракта, вывод средств. Ищем ошибки в модификаторах доступа и в логике передачи прав.
Reentrancy и порядок исполнения
Проверяем, может ли внешний вызов прервать выполнение контракта в момент, когда состояние еще не обновлено, и использовать это для абьюза кода.
Работа с оракулами и манипуляции ценой
Проверяем зависимость контракта от источников цены. Можно ли манипулировать ценой для извлечения выгоды при различных операциях: свопе, займе или ликвидации.
Бизнес-логика и математика
Соответствует ли код заявленной логике продукта: округления, лимиты, распределение вознаграждений, edge-кейсы, не покрытые тестами.
Апгрейды и proxy-паттерны
Если контракт обновляемый, проверяем корректность прокси, хранение состояния при апгрейде и то, кто в итоге контролирует логику после обновления.
Газ-эффективность
Выносим газ-находки в отдельную категорию. Смотрим неоптимальные циклы, лишние storage-операции и паттерны, которые с ростом активности пользователей делают вызов функции дороже, вплоть до экономической нецелесообразности.
Отказоустойчивость и DoS
Ищем сценарии, где один пользователь или злоумышленник может заблокировать функцию для всех остальных, причём не из-за газа, а из-за логики контракта.
Что входит в отчёт
Резюме протокола
Что аудировали, в каком объеме и на какой версии кода, чтобы отчёт однозначно сопоставлялся с конкретным коммитом даже спустя полгода.
Классификация рисков
Объясняем критерий каждого уровня критичности, чтобы High и Informational были понятны команде без нас.
Границы проверки
Что входило в скоуп аудита, а что осталось за его пределами.
Executive Summary
Общий результат аудита и то, что в коде сделано правильно, а не только найденные проблемы.
Находки по уровням критичности
Каждая уязвимость с описанием и конкретным путем исправления, разбитая по уровням: High, Medium, Low, Informational, Gas.
Рекомендации на следующие шаги
Что стоит донастроить дальше, например мониторинг, дополнительный раунд тестирования или процессы на стороне команды.
Резюме протокола
Что аудировали, в каком объеме и на какой версии кода, чтобы отчёт однозначно сопоставлялся с конкретным коммитом даже спустя полгода.
Классификация рисков
Объясняем критерий каждого уровня критичности, чтобы High и Informational были понятны команде без нас.
Границы проверки
Что входило в скоуп аудита, а что осталось за его пределами.
Executive Summary
Общий результат аудита и то, что в коде сделано правильно, а не только найденные проблемы.
Находки по уровням критичности
Каждая уязвимость с описанием и конкретным путем исправления, разбитая по уровням: High, Medium, Low, Informational, Gas.
Рекомендации на следующие шаги
Что стоит донастроить дальше, например мониторинг, дополнительный раунд тестирования или процессы на стороне команды.
Партнёры для сложных случаев
Партнёры для сложных случаев
CertiK
Крупнейший игрок в блокчейн-безопасности, известен формальной верификацией: математическим подтверждением того, что код ведёт себя так, как заявлено. Аудит от CertiK — это стандартный референс для бирж уровня Binance и OKX и весомый сигнал доверия для крупных листингов и институциональных инвесторов.
Pessimistic
На рынке с 2017 года. Специализируется на глубоком ручном построчном разборе кода, среди первых разработали собственные инструменты автоматизированного анализа Solidity.
BugBlow
Компактная команда, аудирует Ethereum, Solana и TON, работает по модели оплаты за результат. Подключаем, когда нужны скорость и гибкость, а не масштаб уровня CertiK.
Отзывы
Помогли нам создать маркетплейс на Haskell. Команда быстро включилась в работу и выдала крутой результат!
MetaLamp усилила нашу команду в Cardano и Plutus и зарекомендовала себя как отличный партнер.
Работали с командой над двумя блокчейн-проектами: работать с ними — одно удовольствие!
Сотрудничаем больше года: профессиональная команда, сложные задачи выполняют в срок и качественно. Рекомендую.
У команды сильная экспертиза в обучении разработчиков: помогли нам и изменили видение курса.
Элитная front-end команда в Web3: топ-уровень экспертизы, сильный менеджмент и одно удовольствие от работы.
Во время работы меня впечатлила слаженность команды и готовность прийти на помощь в критические моменты проекта.
MetaLamp превзошли наши ожидания! За счёт аналитики сделали процессы эффективнее, а результат прогнозируемым.
-4c49e472.webp)
Сотрудничество с MetaLamp — это абсолютный успех! Качество работы выдающееся, а их подход к менеджменту на высшем уровне.
Опыт работы с MetaLamp был потрясающим! С точки зрения архитектора решений, они действительно воплощают мечты в реальность!
-744eea6a.webp)
У MetaLamp мне понравился их подход к работе. Прозрачные процессы, всегда в контакте, точные оценки и прогнозируемые риски.
Помогли нам создать маркетплейс на Haskell. Команда быстро включилась в работу и выдала крутой результат!
MetaLamp усилила нашу команду в Cardano и Plutus и зарекомендовала себя как отличный партнер.
Работали с командой над двумя блокчейн-проектами: работать с ними — одно удовольствие!
Сотрудничаем больше года: профессиональная команда, сложные задачи выполняют в срок и качественно. Рекомендую.
У команды сильная экспертиза в обучении разработчиков: помогли нам и изменили видение курса.
Элитная front-end команда в Web3: топ-уровень экспертизы, сильный менеджмент и одно удовольствие от работы.
Во время работы меня впечатлила слаженность команды и готовность прийти на помощь в критические моменты проекта.
MetaLamp превзошли наши ожидания! За счёт аналитики сделали процессы эффективнее, а результат прогнозируемым.
Сотрудничество с MetaLamp — это абсолютный успех! Качество работы выдающееся, а их подход к менеджменту на высшем уровне.
Опыт работы с MetaLamp был потрясающим! С точки зрения архитектора решений, они действительно воплощают мечты в реальность!
У MetaLamp мне понравился их подход к работе. Прозрачные процессы, всегда в контакте, точные оценки и прогнозируемые риски.
