Certora сотрудничает с Cork и Hypernative для установления нового стандарта безопасности Web3
13 ноября 2025 года – Тель-Авив, Израиль
Certora, партнер по обеспечению безопасности, которому доверяют самые передовые команды в Web3, сегодня объявила о стратегическом партнерстве с Cork, протоколом, внедряющим инфраструктуру управления рисками для DeFi, и Hypernative, лидером в области мониторинга угроз в реальном времени.
Благодаря этому сотрудничеству Certora становится официальным партнером Cork по вопросам безопасности, внедряя защиту на каждом этапе жизненного цикла протокола — от проектирования и верификации до развертывания, мониторинга и эксплуатации.
Это партнерство объединяет трех лидеров, стремящихся повысить уровень безопасности и целостности систем Web3. Объединяя формальную верификацию и комплексную систему безопасности Certora с передовым мониторингом в реальном времени от Hypernative, пользователи Cork получат защиту институционального уровня и проактивное управление рисками, разработанные для нового поколения onchain-финансов.
«Обычная безопасность не подходит для DeFi», — сказал Баптист Флорентин, технический директор Cork. — «Мы — целеустремленная команда, строящая критически важную рыночную инфраструктуру, и риски реальны. Мы выбрали Certora, чтобы выйти за рамки разовых аудитов и создать целостную, комплексную дисциплину безопасности, глубоко интегрированную в нашу кодовую базу, управление изменениями и производственные операции».
По мере масштабирования экосистемы Web3 стоимость слабой безопасности продолжает расти. Согласно отчету FBI Internet Crime Complaint Center (IC3) за 2024 год, мошенничество, связанное с криптовалютами, привело к потерям в размере 9.3 миллиардов долларов, что на 66% больше, чем в предыдущем году, при этом почти 150 000 жалоб были связаны с цифровыми активами. Такие партнерства, как это, нацелены на изменение этой тенденции путем повышения стандартов безопасности и управления рисками в отрасли. Текущий подход к аудитам DeFi уже недостаточен, индустрия требует более продвинутой и проактивной позиции в вопросах безопасности.
Certora открывает новый путь к совершенствованию подхода к безопасности, сотрудничая с лучшими в отрасли. Внедряя новую модель, которая повышает стандарты безопасности DeFi, Certora и Cork впервые выводят это на рынок.
«Certora была основана с целью привнести строгость корпоративных стандартов обеспечения безопасности, используемых в таких отраслях, как аэронавтика и финансы, в децентрализованные системы», — сказал Сет Халлем, CEO Certora. — «Сотрудничая с Cork и Hypernative, мы помогаем не только одному протоколу; мы помогаем переопределить, как Web3 справляется с рисками, прозрачностью и операционной устойчивостью».«Сегодня безопасность Web3 делает еще один шаг вперед, чтобы отсеять злоумышленников в этой индустрии», — добавил Галь Саги, соучредитель и CEO Hypernative. — «Но не менее важно, что благодаря этому сотрудничеству мы также находим способы повысить стандарты управления рисками для всех участников этого пространства».
Вместе Cork, Certora и Hypernative создают модель того, как протоколы могут внедрять безопасность на этапе проектирования, создавая системы, которые не только безопаснее для пользователей, но и более устойчивы и масштабируемы для разработчиков.
О Certora
Certora — это компания по обеспечению безопасности блокчейна, предоставляющая передовые инструменты формальной верификации и аудиты смарт-контрактов. Флагманский продукт Certora, Prover, помогает таким протоколам, как Aave, Lido и Maker, интегрировать возможности формальной верификации в свой процесс разработки для выявления даже самых редких и труднообнаружимых ошибок.
О Cork
Cork представляет новый примитив для токенизированных рисков, выступая в роли программируемого слоя управления рисками для onchain-активов, таких как токены хранилищ, доходные стейблкоины, ликвидные (ре)стейкинг-токены и RWAs. Основной примитив Cork позволяет управляющим активами и эмитентам создавать индивидуальные рынки свопов, которые повышают ликвидность выкупа, прозрачность рисков и доверие к их onchain-активам. При поддержке a16z crypto, OrangeDAO и Steakhouse Financial, Cork строит инфраструктуру управления рисками, необходимую для привлечения институционального капитала на рынки onchain-кредитования.
О Hypernative
Hypernative — это решение для мониторинга в реальном времени, обнаружения рисков и автоматизированного реагирования, которое с высокой точностью выявляет угрозы, предоставляя клиентам драгоценные минуты для реагирования до того, как эксплойты смогут нанести ущерб. Платформа отслеживает как onchain-, так и offchain-источники данных. Она использует проверенные временем, сложные модели машинного обучения, эвристики, симуляции и графовые методы обнаружения для идентификации более 300 типов рисков: от взломов смарт-контрактов и инцидентов с мостами до компрометации фронтенда, манипуляций на рынке и кражи приватных ключей.
Контакты
Старший PR-менеджер
Wahaj Khan
Serotonin
Дисклеймер: содержание этой статьи отражает исключительно мнение автора и не представляет платформу в каком-либо качестве. Данная статья не должна являться ориентиром при принятии инвестиционных решений.
Вам также может понравиться
Bernstein ожидает рост Figure на 56%, поскольку рост токенизированных кредитов обеспечивает «значительное превышение» в третьем квартале
Блокчейн-основные, партнерские выдачи кредитов через Figure Connect помогли платформе по токенизации кредитов превзойти ожидания по выручке на 30% и по скорректированной EBITDA на 60%. Аналитики Bernstein сохраняют рейтинг "выше рынка" и целевую цену акции Figure на уровне $54, что подразумевает потенциал роста на 56% от закрытия в четверг.

Цена Sui получает смелый прогноз в 20, аналитики отмечают поддержку и рост стейблкоинов

Цена Bitcoin падает до $96K на фоне второго по величине оттока средств из ETF
Bitcoin ETF зафиксировали второй по величине отток средств в истории — за один день было выведено 870 миллионов долларов, что привело к снижению цены BTC до 96 тысяч долларов.

Цена PUMP: куплено 11% предложения, CEO DeFiance Capital задаёт вопросы
PUMP торгуется выше ключевого уровня поддержки, в то время как Arthur Cheong публично задаётся вопросом, почему токен продолжает отставать, несмотря на значительные обратные выкупы проекта.
