Certora привлекает 36 миллионов долларов для инструментов безопасности смарт-контрактов

Компания Certora, занимающаяся безопасностью смарт-контрактов, привлекла 36 миллионов долларов в раунде серии B, возглавляемом Jump Криптo, для финансирования разработки и переноса своей Технологии обнаружения уязвимостей на новые блокчейны.

Согласно черновику сообщения в блоге, предоставленному CoinDesk, в раунде также приняли участие Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase (COIN) и VMware (VMW).

В этом году нарушения безопасности блокчейна попали в заголовки новостей, некоторые из них привели к девятизначным финансовым потерям. Они включают326 миллионов долларов за блокчейн-мост Wormhole и 625 миллионов долларов для Ronin Network, инфраструктура, лежащая в основе популярной игры с возможностью зарабатывать деньги Axie Infinity.

Certora разработана для того, чтобы помочь разработчикам обнаруживать и предотвращать ошибки безопасности до развертывания кода. Инструмент Prover компании призван дополнять Human аудиты и вознаграждения за ошибки. Certora заявила, что в настоящее время она получает $50 млрд. децентрализованные Финансы (DeFi) активы. Продукт находит и отображает любые нарушения правил или формально доказывает, что их T .

Компанию возглавляет Шмуэль «Мули» Сагив, заведующий кафедрой компьютерных наук Тель-Авивского университета и пионер формальной верификации — области, в которой для доказательства или опровержения правильности алгоритма, например, смарт-контрактов в протоколе ликвидности, используются сложные математические вычисления.

В настоящее время Certora обрабатывает только совместимые с Ethereum Virtual Machine (EVM) блокчейны. Следующим направлением является расширение поддержки Solana, а затем дальнейшее расширение в сторону Polkadot.

«В следующем году мы хотим охватить все блокчейны», — рассказал Сагив в интервью CoinDesk .

Как это работает

Certora выявляет нарушения инвариантов или правил, которые T должны нарушаться, в смарт-контрактах. Технологии фирмы выявила ошибки в Aave, Compound, Balancer и Sushiswap. Большинство ошибок были обнаружены и исправлены до развертывания кода.

Например, Certora предотвратила критическую ошибку в контракте пула ликвидности Trident SushiSwap. В Trident пользователи добавляют средства для создания пула, а затем получают комиссию за свою кредитную и своповую деятельность. Комиссия пропорциональна их доле в общей ликвидности.

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

В случае с Trident Certora Prover обнаружил нарушение правил, которое могло позволить злоумышленнику слить средства пула. Проблема была выявлена и исправлена до развертывания кода.

«Certora, работающая при поддержке экспертов мирового класса, использует формальную верификацию для использования набора масштабируемых и надежных продуктов, которые обеспечивают гораздо более высокую возможность повторного использования и детальное тестирование», — заявил в своем заявлении партнер и руководитель по инвестициям Jump Криптo Саурабх Шарма.

Читать дальше: Как работают смарт-контракты Ethereum ?