Certora, ведущая платформа для безопасности блокчейна, открыла исходный код своего наиболее продвинутого двигателя формальной верификации — Certora Prover. Эта инициатива направлена на улучшение доступности безопасности смарт-контрактов в криптосекторе.
Новая инициатива Certora для смарт-контрактов
По словам технического директора Certora Шелли Гроссман, безопасность остаётся одной из главных проблем в Web3. Certora делает шаг к тому, чтобы обезопасить смарт-контракты и сделать это доступным для всех разработчиков, открыв исходный код Certora Prover.
Рост кибератак в криптосекторе
Согласно данным компании Chainalysis, в 2024 году хакеры украли 2,2 миллиарда долларов, что на 21% больше по сравнению с предыдущим годом. Количество инцидентов также увеличилось, показывая рост интереса к кибератакам на фоне роста криптовалютного рынка.
Детали и достижения Certora Prover
С помощью инструмента Certora Prover, использующего формальные методы проверки, разработчики могут выявлять сложные ошибки в смарт-контрактах. Инструмент был в производстве длительное время и теперь доступен для широкой общественности.
С открытием кода Certora Prover компания приглашает разработчиков и исследователей безопасности подключаться к работе над безопасностью DeFi, делая смарт-контракты более надежными и прозрачными.
