Поделиться этой статьей
Certora привлекает 36 миллионов долларов для инструментов безопасности смарт-контрактов
Jump Криптo возглавила раунд финансирования компании, которая получила активы DeFi на сумму 50 миллиардов долларов.
Автор Brandy Betz
Компания Certora, занимающаяся безопасностью смарт-контрактов, привлекла 36 миллионов долларов в раунде серии B, возглавляемом Jump Криптo, для финансирования разработки и переноса своей Технологии обнаружения уязвимостей на новые блокчейны.
Согласно черновику сообщения в блоге, предоставленному CoinDesk, в раунде также приняли участие Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase (COIN) и VMware (VMW).
Продолжение Читайте Ниже
Не пропустите другую историю.Подпишитесь на рассылку Crypto Daybook Americas сегодня. Просмотреть все рассылки
В этом году нарушения безопасности блокчейна попали в заголовки новостей, некоторые из них привели к девятизначным финансовым потерям. Они включают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 ?
More For You
L1 tokens broadly underperformed in 2025 despite a backdrop of regulatory and institutional wins. Explore the key trends defining ten major blockchains below.
What to know:
2025 was defined by a stark divergence: structural progress collided with stagnant price action. Institutional milestones were reached and TVL increased across most major ecosystems, yet the majority of large-cap Layer-1 tokens finished the year with negative or flat returns.
This report analyzes the structural decoupling between network usage and token performance. We examine 10 major blockchain ecosystems, exploring protocol versus application revenues, key ecosystem narratives, mechanics driving institutional adoption, and the trends to watch as we head into 2026.
More For You
Компания Prenetics, поддерживаемая Дэвидом Бекхэмом, отказывается от покупки биткоина
Компания в области здравоохранения, соучредителем которой является легенда английского футбола, сделала заявление на фоне продолжающегося снижения рыночной капитализации криптовалюты.
What to know:
- Компания Prenetics приостановила стратегию покупки биткоина в связи с затяжным спадом на рынке криптовалют.
- Компания сосредоточит свои ресурсы на бизнесе IM8, который принес ежегодный рекуррентный доход свыше 100 миллионов долларов.
- Компания Prenetics сохранит свои текущие 510 биткоинов в качестве резервного актива, оцененного почти в 45 миллионов долларов.
Главное
