Certora объявила о стратегическом партнерстве с компаниями Cork и Hypernative с целью повышения стандартов безопасности в пространстве Web3. В качестве официального партнера по безопасности Cork, Certora будет интегрировать меры безопасности на протяжении всего жизненного цикла протокола, используя формальную верификацию и свою систему безопасности. Это сотрудничество будет дополнено мониторингом угроз в реальном времени от Hypernative, направленным на обеспечение надежной защиты для ончейн-финансов. Партнерство возникло в ответ на значительный рост мошенничества, связанного с криптовалютами, который увеличился на 66% до 9,3 миллиарда долларов, согласно отчету IC3 ФБР за 2024 год. Генеральный директор Certora Сет Халлем подчеркнул, что цель инициативы — переопределить управление рисками и операционную устойчивость в Web3. Генеральный директор Hypernative Галь Саги отметил роль партнерства в повышении отраслевых стандартов риска, стремясь внедрить безопасность на этапе проектирования для улучшения безопасности и масштабируемости.