Certora обеспечивает почти $200 миллиардов долларов в DeFi-ценности в 2025 году, предотвращая более 700 уязвимостей в ведущих протоколах

Источник: CryptoDaily Оригинальный заголовок: Certora обеспечивает почти $200 миллиардов долларов в DeFi-ценности в 2025 году, предотвращая более 700 уязвимостей в ведущих протоколах Оригинальная ссылка: Новые данные подчеркивают быстрый рост Certora, расширение роли в области непрерывной безопасности и лидерство в формальной верификации.

Certora, ведущий поставщик инструментов формальной верификации и аудита смарт-контрактов для протоколов Web3, опубликовала свой отчет за 2025 год, в котором говорится, что компания помогла обеспечить безопасность общего заблокированного объема (TVL) в размере $196,5 миллиардов (TVL) по всей экосистеме DeFi и предотвратила более 720 уязвимостей от попадания в продуктив. Согласно отчету, 14 из топ-20 протоколов DeFi по TVL работали с Certora в 2025 году, что составляет примерно 70% категории, в то время как 7 из топ-10 протоколов поддерживают постоянные долгосрочные отношения по обеспечению безопасности с компанией.

$2,1–$2,4 миллиарда было потеряно из-за криптоэксплойтов в 2025 году, что отмечает рост по сравнению с предыдущим годом, поскольку активность DeFi восстановилась, а архитектура протоколов стала сложнее. В отчете Certora выделяются несколько структурных сдвигов в подходе ведущих команд к безопасности, включая:

• Переход от разовых аудитов к постоянным отношениям по обеспечению безопасности
• Усиление внимания к инвариантам протокола, а не только к проверкам на уровне функций
• Расширение охвата аудита на конфигурацию развертывания, управление и операционную безопасность
• Все большее признание того, что обновления блокчейна и поведение валидаторов создают новые риски безопасности

В 2025 году Certora завершила примерно 150 аудитов безопасности, выявив 80 критических и 180 высокосерьезных проблем, из которых 99% были устранены до развертывания. В 11 случаях Certora рекомендовала командам протоколов задержать или полностью остановить запуск после выявления серьезных рисков, которые могли привести к системному сбою или потере средств.

"Эти цифры отражают, насколько изменилась индустрия," — сказал Сет Халлем, генеральный директор Certora. "Безопасность сегодня — это не просто ловля очевидных ошибок в последний момент. Это доказательство правильности систем, управляющих миллиардами долларов, которые постоянно развиваются и взаимодействуют между цепочками. Наш рост в 2025 году отражает сдвиг экосистемы в сторону долгосрочной, инфраструктурной безопасности."

"Самые зрелые протоколы больше не рассматривают безопасность как однократный аудит," — сказал Мули Сагив, основатель и главный ученый Certora. "Они выбирают партнера по безопасности, который понимает их экономику, архитектуру и поведение системы со временем. Мы наблюдаем явный сдвиг в индустрии от 'охвата аудитом' к 'гарантиям правильности'."

Чтобы удовлетворить этот спрос, Certora удвоила свою команду по исследованию безопасности в 2025 году, доведя ее до примерно 40 исследователей, включая 25 докторов наук, расширяя глубокую экспертизу в таких средах выполнения, как Ethereum, Solana, Sui, Aptos и новые блокчейн-инфраструктуры.

Отчет подчеркивает, как граница риска сместилась от поверхностных уязвимостей к экономическим крайним случаям, предположениям о межцепочечной совместимости, языковым ловушкам и поведению протоколов при изменяющихся условиях цепочки, включая обновления сети.

В 2025 году Certora обеспечила более $90 миллиардов долларов в TVL по замыслу, используя формальную верификацию для математического доказательства критических инвариантов протокола, таких как платежеспособность, монотонные процентные ставки и условия безопасности пользователей.

Об Certora

Certora — это партнер по обеспечению безопасности, которому доверяют самые передовые команды в Web3. Основанная в 2018 году пионерами в области языков программирования и формальных методов, Certora помогает ведущим протоколам, таким как Lido, Aave, некоторым платформам DEX и Compound, обеспечивать безопасность миллиардов долларов с уверенностью.