2025-12-30 15:21:59

За последние несколько месяцев в области верификации смарт-контрактов произошли несколько интересных событий.

Автоматическая система доказательства теорем Certora Prover значительно ускорила процесс аудита — раньше на его выполнение требовалось несколько недель, а теперь — всего несколько часов. Halmos использует движок символического исполнения для обнаружения уязвимостей, что позволяет выявлять 99.5% проблем, пропущенных традиционными методами тестирования. В дополнение к этому, новая функция мониторинга в MythX Enterprise делает весь инструментальный стек всё более полноценным.

Различия в данных очевидны: DeFi-проекты, использующие эти новые инструменты, за весь квартал не зафиксировали ни одного инцидента безопасности; в то время как проекты, продолжающие использовать традиционные методы, понесли убытки свыше 3 миллиардов долларов из-за хакерских атак. Сравнение говорит само за себя.

Многие эксперты предсказывают, что через два года формальная верификация может стать обязательным стандартом для крупных DeFi-проектов. В конце концов, в вопросах безопасности никто не рискнет идти на компромисс.

Посмотреть Оригинал

На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .

15 Лайков

Награда
15
5
Репост
Поделиться

комментарий

0/400

LiquidatedDreams

· 2025-12-30 23:21

Ладно, наконец-то кто-то сделал аудит эффективным, давно пора было так Формальная верификация — это не шутки, потеря в 300 миллионов долларов говорит сама за себя Система Certora действительно на высоте, результаты аудита за несколько часов, ждать еще два года — это точно стандарт Но, если честно, сколько проектов действительно осмелятся использовать это? 99.5% обнаруженных уязвимостей, кажется, надежнее традиционных методов Давайте скорее распространим это, чтобы больше не было случаев, когда из-за плохой проверки кто-то пострадал Теперь DeFi действительно сможет чувствовать себя немного спокойнее

Посмотреть ОригиналОтветить0

RegenRestorer

· 2025-12-30 15:50

Вот это разница в данных, друзья, три миллиарда! Раньше уже следовало использовать эти инструменты, зачем кто-то еще рискует жизнью? Формализованная верификация станет стандартом в течение двух лет? Я считаю, что уже сейчас нужно вводить обязательное использование. Действия Certora действительно жесткие, аудит за несколько часов — я сразу понял, что передо мной профессионалы. Те, кто все еще используют традиционные методы, действительно играют с огнем.

Посмотреть ОригиналОтветить0

StealthMoon

· 2025-12-30 15:32

Безопасность инструментальной цепочки действительно набирает обороты, но честно говоря, это все еще немного медленно. Когда же все эти проекты смогут полностью использовать их? --- Система Certora звучит неплохо, но многое зависит от качества аудита — быстрый темп не означает меньше уязвимостей. --- 99,5% звучит очень хорошо, но боюсь, что есть те 0,5% черных лебедей. --- Цифра в 3 миллиарда долларов немного пугает, если бы я знал раньше, я бы раньше присоединился. --- Формализованная проверка станет стандартом? Посмотрим, еще нужно потянуть за рукавом по стоимости. --- Кажется, крупные проекты начали уделять этому больше внимания, а для малых экосистем все еще нужно много забот. --- Ускорение аудита — действительно хорошая новость, но повышение уровня безопасности важнее. --- Когда эта система инструментов станет дешевле, чтобы и средние проекты могли позволить себе использовать — было бы здорово.

Посмотреть ОригиналОтветить0

DYORMaster

· 2025-12-30 15:32

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

Посмотреть ОригиналОтветить0

ImpermanentLossFan

· 2025-12-30 15:27

Формальная верификация действительно начинает набирать обороты, но с другой стороны, сколько проектов действительно готовы тратить деньги на это?

Посмотреть ОригиналОтветить0