Тель-Авив, Израиль, 13 ноября 2025 г., Chainwire
Компания Certora , партнер по обеспечению безопасности, которому доверяют самые передовые команды в Web3, сегодня объявила о стратегическом партнерстве с Cork , протоколом, разрабатывающим инновационную инфраструктуру управления рисками для DeFi , и Hypernative , лидером в области мониторинга угроз в реальном времени. Благодаря этому сотрудничеству Certora становится официальным партнером Cork по безопасности, обеспечивая защиту на каждом этапе жизненного цикла протокола, от проектирования и верификации до развертывания, мониторинга и эксплуатации.
Это партнерство объединяет трех лидеров, приверженных повышению безопасности и целостности систем Web3. Благодаря сочетанию формальной верификации и сквозной системы безопасности Certora с передовым мониторингом в реальном времени от Hypernative, пользователи в Корке получат преимущества от защиты институционального уровня и проактивного снижения рисков, разработанных для следующего поколения финансовых систем на основе блокчейна.
«Обычные методы обеспечения безопасности в DeFiпросто не работают», — сказал Батист Флорентин, технический директор Cork. «Мы — целеустремленная команда, создающая критически важную рыночную инфраструктуру, и риски реальны. Мы выбрали Certora, чтобы выйти за рамки разовых проверок и создать целостную, комплексную систему безопасности, глубоко интегрированную с нашим кодом, управлением изменениями и производственными операциями»
По мере масштабирования экосистемы Web3, стоимость слабой безопасности продолжает расти. Согласно Центра по рассмотрению жалоб на интернет-преступления (IC3) ФБР за 2024 год, мошенничество, связанное с криптовалютами, привело к убыткам в размере 9,3 миллиарда долларов, что на 66% больше, чем в предыдущем году, при этом было подано почти 150 000 жалоб, касающихся цифровых активов. Партнерства, подобные этому, призваны обратить вспять эту тенденцию, повысив базовый уровень безопасности и рисков в отрасли. Нынешний подход к DeFi уже недостаточен, отрасль теперь требует более продвинутого и проактивного подхода к безопасности.
Certora знаменует собой новый шаг вперед в совершенствовании нашего подхода к безопасности благодаря сотрудничеству с лучшими в отрасли. Внедряя новую модель, которая повышает стандарты безопасности DeFi , Certora и Cork объединили усилия, чтобы впервые вывести ее на рынок.
«Компания Certora была основана для того, чтобы привнести строгий уровень обеспечения безопасности корпоративного уровня, используемый в таких отраслях, как авиация и финансы, в децентрализованные системы», — сказал Сет Халлем, генеральный директор Certora. «Сотрудничая с Cork и Hypernative, мы помогаем не просто одному протоколу; мы помогаемdefiподход Web3 к управлению рисками, прозрачности и операционной устойчивости»
«Сегодня безопасность Web3 делает еще один шаг вперед, отфильтровывая недобросовестных участников этой отрасли», — добавил Гал Саги, соучредитель и генеральный директор Hypernative. «Но я также рад, что благодаря этому сотрудничеству мы находим способы повысить стандарты управления рисками для всех, кто работает в этой сфере»
Компании Cork, Certora и Hypernative совместно разрабатывают модель внедрения безопасности в протоколы на этапе проектирования, создавая системы, которые не только безопаснее для пользователей, но и более надежны и масштабируемы для разработчиков. Более подробную информацию о возможностях этого партнерства можно найти в этом блоге .
О компании Certora
Certora — это компания, занимающаяся безопасностью блокчейна, которая предоставляет передовые инструменты формальной верификации и аудита смарт-trac. Флагманский продукт Certora в области безопасности, Prover, помогает таким протоколам, как Aave, Lido и Maker, интегрировать возможности формальной верификации в свой процесс разработки, чтобы выявлять даже редкие и труднообнаружимые ошибки.
О Корке
Cork представляет новый примитив для токенизированного риска, служащий программируемым уровнем управления рисками для активов в блокчейне, таких как токены хранилища, доходные стейблкоины, ликвидные токены (повторного) стейкинга и активы, взвешенные по риску (RWA). Основной примитив Cork позволяет управляющим активами и эмитентам создавать собственные рынки свопов, которые повышают ликвидность погашения, прозрачность рисков и доверие рынка к их активам в блокчейне. При поддержке a16z crypto, OrangeDAO и Steakhouse Financial, Cork создает инфраструктуру управления рисками, необходимую для привлечения институционального капитала на кредитные рынки в блокчейне.
О компании Hypernative
Hypernative — это решение для мониторинга в реальном времени, обнаружения рисков и автоматического реагирования, которое dent угрозы, предоставляя клиентам драгоценные минуты для реагирования до того, как эксплойты смогут нанести ущерб. Платформа trac данные как в блокчейне, так и вне его. Она использует проверенные на практике сложные модели машинного обучения, эвристики, моделирование и обнаружение на основе графов для выявления dent 300 типов рисков, от взлома смарт-контрактов trac инцидентов безопасности мостов dent компрометации интерфейсов, манипуляций на рынке и кражи закрытых ключей. Для получения дополнительной информации посетите hypernative.io .
Контакт
Старший менеджер по связям с общественностью
Вахадж Хан
Серотонин
[адрес электронной почты защищен]
Предупреждение. Это платный пресс-релиз. Читателям следует самостоятельно провести проверку информации, прежде чем предпринимать какие-либо действия, связанные с рекламируемой компанией или любыми ее филиалами или услугами. Cryptopolitan не несет прямой или косвенной ответственности за любой ущерб или убытки, причиненные или предположительно причиненные в связи с использованием или опорой на любой контент, товары или услуги, упомянутые в пресс-релизе .
