Certora заключает партнерство с Cork и Hypernative, чтобы установить новый стандарт безопасности в Web3

Тель-Авив, Израиль, 13 ноября 2025, Chainwire

Certora, партнер по обеспечению безопасности, которому доверяют самые продвинутые команды в Web3, сегодня объявил о стратегическом партнерстве с Cork, протоколом, pioneering инфраструктуру управления рисками для DeFi, и Hypernative, лидером в области мониторинга угроз в реальном времени. В рамках этого сотрудничества Certora становится официальным партнером по безопасности Cork, внедряя безопасность на каждом уровне жизненного цикла протокола, от проектирования и верификации до развертывания, мониторинга и эксплуатации.

Это партнерство объединяет трех лидеров, преданных делу продвижения безопасности и целостности систем Web3. Сочетая формальную верификацию Certora и комплексную систему безопасности с передовым мониторингом в реальном времени от Hypernative, пользователи Cork получат институциональные средства защиты и проактивное управление рисками, разработанные для следующего поколения ончейн-финансов.

«Безопасность по-старинке просто не работает в DeFi», — сказал Батист Флорентен, технический директор Cork. «Мы — сфокусированная команда, создающая критически важную рыночную инфраструктуру, и риски реальны. Мы выбрали Certora, чтобы выйти за рамки аудита в конкретный момент времени и построить целостную, сквозную дисциплину безопасности, глубоко интегрированную с нашей кодовой базой, управлением изменениями и производственными операциями».

По мере масштабирования экосистемы Web3 стоимость слабой безопасности продолжает расти. Согласно отчету Центра жалоб на интернет-преступления ФБР за 2024 год (IC3), мошенничество, связанное с криптовалютами, привело к убыткам в размере 9,3 млрд долларов, что на 66% больше, чем в предыдущем году, при этом почти 150 000 жалоб касались цифровых активов. Такие партнерства направлены на то, чтобы обратить эту тенденцию вспять, повышая базовые стандарты безопасности и управления рисками в отрасли. Текущий подход к аудиту DeFi уже недостаточен; индустрия требует более продвинутой и проактивной позиции в области безопасности.

Certora открывает новый путь в развитии нашего подхода к безопасности, работая с лучшими в отрасли. Пионеря новый модель, которая повышает стандарты безопасности в DeFi, Certora и Cork объединены в стремлении вывести это на рынок впервые.

«Certora была основана, чтобы принести строгость обеспечения качества уровня предприятия, используемую в таких отраслях, как авиация и финансы, в децентрализованные системы», — сказал Сет Халлем, генеральный директор Certora. «Партнерствуя с Cork и Hypernative, мы не просто помогаем одному протоколу; мы помогаем переопределить то, как Web3 управляет рисками, прозрачностью и операционной устойчивостью».

«Сегодня безопасность Web3 делает еще один скачок, отсеивая плохих акторов в этой индустрии», — добавил Галь Сагье, соучредитель и генеральный директор Hypernative. «Но я также рад, что благодаря этому сотрудничеству мы находим способы повысить стандарты управления рисками для всех, кто работает в этом пространстве».

Вместе Cork, Certora и Hypernative создают модель того, как протоколы могут внедрять безопасность на этапе проектирования, создавая системы, которые не только безопаснее для пользователей, но и более надежны и масштабируемы для разработчиков. Для получения более подробной информации о том, что включает в себя это партнерство, пожалуйста, посетите этот блог.

О компании Certora

Certora — компания по безопасности блокчейна, предоставляющая ведущие в отрасли инструменты формальной верификации и аудит смарт-контрактов. Флагманский продукт безопасности Certora, Prover, помогает таким протоколам, как Aave, Lido и Maker, интегрировать мощь формальной верификации в свои процессы разработки, чтобы выявлять даже редкие и труднонаходимые ошибки.

О компании Cork

Cork представляет новый примитив для токенизированного риска, выступая в качестве программируемого слоя риска для ончейн-активов, таких как токены хранилищ (vaults), стейблкоины с доходностью, ликвидные токены (пере)стейкинга и реальные активы (RWA). Основной примитив Cork позволяет управляющим активами и эмитентам запускать пользовательские рынки обмена, которые улучшают ликвидность при погашении, прозрачность рисков и рыночную уверенность для их ончейн-активов. При поддержке a16z crypto, OrangeDAO и Steakhouse Financial, Cork создает инфраструктуру управления рисками, необходимую для привлечения институционального капитала на рынки ончейн-кредитования.

О компании Hypernative

Hypernative — это решение для мониторинга в реальном времени, обнаружения рисков и автоматического реагирования, которое с высокой точностью выявляет угрозы, предоставляя клиентам драгоценные минуты для реакции до того, как эксплойты нанесут ущерб. Платформа отслеживает как ончейн-, так и офчейн-источники данных. Она использует проверенные в боях сложные модели машинного обучения, эвристики, симуляции и графовые методы обнаружения для выявления более 300 типов рисков, от взломов смарт-контрактов и инцидентов безопасности мостов до компрометации фронтенда, манипуляций на рынке и кражи приватных ключей. Для получения дополнительной информации посетите hypernative.io.

Контакты

Старший менеджер по связям с общественностью
Вахадж Хан
Serotonin
[email protected]

Отказ от ответственности. Это платный пресс-релиз. Читателям следует провести собственную проверку перед принятием любых действий, связанных с рекламируемой компанией или любыми ее аффилированными лицами или услугами. Cryptopolitan.com не несет прямой или косвенной ответственности за любой ущерб или убытки, причиненные или предположительно причиненные в связи с использованием или опорой на любой контент, товары или услуги, упомянутые в пресс-релизе.