Certora співпрацює з Cork та Hypernative для встановлення нового стандарту безпеки Web3
13 листопада 2025 року – Тель-Авів, Ізраїль
Certora, партнер із забезпечення безпеки, якому довіряють найпросунутіші команди у Web3, сьогодні оголосила про стратегічне партнерство з Cork, протоколом, що впроваджує інфраструктуру управління ризиками для DeFi, та Hypernative, лідером у сфері моніторингу загроз у реальному часі.
Завдяки цій співпраці Certora стає офіційним партнером Cork із безпеки, впроваджуючи безпеку на кожному етапі життєвого циклу протоколу: від розробки та верифікації до розгортання, моніторингу та операційної діяльності.
Це партнерство об’єднує трьох лідерів, які прагнуть підвищити рівень безпеки та цілісності систем Web3. Поєднуючи формальну верифікацію та комплексну систему безпеки Certora з передовим моніторингом у реальному часі від Hypernative, користувачі Cork отримають захист інституційного рівня та проактивне зниження ризиків, розроблене для нового покоління фінансів на блокчейні.
«Звичайна безпека не підходить для DeFi», — сказав Баптіст Флорентін, CTO Cork. «Ми — цілеспрямована команда, яка створює критично важливу ринкову інфраструктуру, і ризики є реальними. Ми обрали Certora, щоб вийти за межі разових аудитів і побудувати цілісну, комплексну дисципліну безпеки, яка глибоко інтегрована з нашим кодом, управлінням змінами та виробничими операціями».
У міру масштабування екосистеми Web3 вартість слабкої безпеки продовжує зростати. Згідно зі звітом 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 впроваджує новий примітив для токенізованого ризику, слугуючи програмованим шаром ризику для активів на блокчейні, таких як токени сховищ, стейблкоїни з прибутковістю, ліквідні (ре)стейкінгові токени та RWAs. Основний примітив Cork дозволяє керівникам активів і емітентам створювати кастомні ринки свопів, які підвищують ліквідність викупу, прозорість ризиків і довіру до ринку для їхніх активів на блокчейні. За підтримки a16z crypto, OrangeDAO та Steakhouse Financial, Cork створює інфраструктуру ризиків, необхідну для залучення інституційного капіталу на ринки кредитування на блокчейні.
Про Hypernative
Hypernative — це рішення для моніторингу в реальному часі, виявлення ризиків та автоматизованого реагування, яке з високою точністю ідентифікує загрози, надаючи клієнтам дорогоцінні хвилини для реагування до того, як експлойти можуть завдати шкоди. Платформа відстежує як ончейн, так і офчейн джерела даних. Вона використовує перевірені часом, складні моделі машинного навчання, евристику, симуляції та графові методи для виявлення понад 300 типів ризиків: від зламів смарт-контрактів і інцидентів із безпекою мостів до компрометації фронтенду, маніпуляцій на ринку та крадіжок приватних ключів.
Контакти
Старший PR-менеджер
Wahaj Khan
Serotonin
Відмова від відповідальності: зміст цієї статті відображає виключно думку автора і не представляє платформу в будь-якій якості. Ця стаття не повинна бути орієнтиром під час прийняття інвестиційних рішень.
Вас також може зацікавити
CleanSpark завершує розміщення конвертованих облігацій на суму $1,15 мільярда для підтримки розширення
Швидкий огляд: Компанія з видобутку криптовалют, що котирується на Nasdaq, оголосила про закриття пропозиції старших конвертованих облігацій з нульовим купоном на суму $1.15 мільярда. У рамках цієї угоди CleanSpark викупила назад 30.6 мільйонів акцій — приблизно 10.9% свого загального обсягу звичайних акцій — на суму близько $460 мільйонів.


До національного резерву Bitcoin? Тайвань опублікує звіт до кінця 2025 року

