Certora , ведущая платформа безопасности блокчейна, открыла свой самый продвинутый формальный механизм проверки, Certora Prover, чтобы сделать Smart Cont trac T Security более доступной для всех в крипто-секторе.
Этот шаг от Certora не мог бы прийти в лучшее время, поскольку хакеры размножаются в цифровом пространстве и крадут средства.
«Безопасность остается одной из самых больших проблем в Web3. DeFi Projects тратят миллионы на аудиты и часто занимают запуск более года, однако уязвимости продолжают подвергать риску миллиарды долларов »,-отметил CTO Certora Shelly Grossman, добавив:« В то время как громкие эксплойты стали менее частыми, обеспечив Smart ContracTS остается дорогим и недоступным для многих разработчиков. Это меняется сегодня ».
Данные из фирмы по анализу блокчейна Chainalysis показывают, что в 2024 году колоссальные 2,2 миллиарда долларов были украдены хакерами, что на 21% больше, чем год назад. Мало того, что сумма в долларах выросла, но и количество dent .
По мере роста усыновления криптографии, получение trac между розничной торговлей и учреждениями, и рыночные бумы с общей рыночной капитализацией криптовалют, расположенной выше 3 триллионов долларов , плохие актеры, безусловно, умножаются. Эти киберпреступники принимают все более сложные методы и расширяют их масштаб, используя слабости в интеллектуальных trac , которые являются основой протоколов и DeFi .
На этом фоне, Certora предлагает мощное решение для разработчиков DeFi , которое яdentвсем возможным ошибкам, а затем доказывает их отсутствие. Поддерживая несколько популярных цепей, а именно. Ethereum (EVM), Solana (SBPF) и Stellar (WASM), CERTORA, гарантируют, что подавляющее большинство криптовалюто -пространства защищено отtracатак.
Prover - это флагманский продукт безопасности Certora, который использует официальную проверку, чтобы поймать самые сложные и редкие ошибки. В производстве «Долгое время» инструмент, наконец, выпущен для широкой публики.
Поверка Certora по сути выступает в качестве автоматизированного аудитора MathematicAl, анализируяtracкод и разработчики,defiправила, чтобы обеспечить подтверждение правильности. Таким образом, он выходит за рамки ограниченных сценариев, оценивая все возможные случаи. Разработчики уже написали более 70 000 правил проверки.
На самом деле с помощью формальной технологии проверки Certora, что фундаментальный недостаток в уравнении DAI Makerdao, который был не обнаружен с 2018 года, наконец пойман. Подобные выводы показывают, что даже несколько аудитов не могут полностью удалить уязвимости умногоtrac, но формальная проверка может помочь их раскрыть.
С помощью этого инструмента Cetora также помогает таким, как Aave, UnISWAP, Lido, EigenLayer, Solana Foundation и многие другие защищают десятки миллиардов долларов в TVL.
Тем не менее, у Certora все это время было закрыто в коде, что, наконец, меняется, чтобы предложить всем разработчикам в Web3 в качестве инструментаtronG, чтобы абсолютно бесплатно, чтобы убедиться, что их интеллектуальныеtracявляются безопасными, прозрачными и сообществом -Дер.
«Smart ContracT Security не должна быть привилегией, предназначенной для хорошо финансируемых команд или высокообразованных людей. Открытый источник Prover-это шаг к тому, чтобы сделать пуленепробиваемой Smart Contracts нормой »,-сказал генеральный директор Certora Mooly Sagiv.
В настоящее время Certora свободно доступен для всех, кто приглашает разработчиков, исследователей безопасности и сообщество Web3 использовать решение для проверки их интеллектуальныхtracи помочь продвинуть свои усилия по обеспечению защиты DeFi .
