Certora забезпечує майже $200 мільярдів доларів у DeFi-цінності у 2025 році, запобігаючи понад 700 уразливостям у провідних протоколах

Джерело: CryptoDaily Оригінальна назва: Certora забезпечує майже $200 мільярдів у DeFi-вартості у 2025 році, запобігаючи понад 700 уразливостям у провідних протоколах Оригінальне посилання: Нові дані підкреслюють швидке зростання Certora, розширення ролі у безперервній безпеці та лідерство у формальній верифікації.

Certora, провідний постачальник інструментів формальної верифікації та аудитів смарт-контрактів для протоколів Web3, опублікувала свій звіт за 2025 рік, у якому йдеться, що компанія допомогла забезпечити загальну заблоковану вартість (TVL) у розмірі $196,5 мільярдів (TVL) по всій екосистемі DeFi і запобігла більш ніж 720 уразливостям, що могли потрапити у виробництво. За даними звіту, 14 із 20 провідних протоколів DeFi за TVL співпрацювали з Certora у 2025 році, що становить приблизно 70% у категорії, тоді як 7 із 10 провідних протоколів підтримують безперервні довгострокові співпраці з компанією.

У 2025 році було втрачено від криптоексплойтів на суму від $2,1 до $2,4 мільярдів, що відзначає річне зростання на тлі відновлення активності DeFi та ускладнення архітектури протоколів. Звіт Certora висвітлює кілька структурних змін у підходах провідних команд до безпеки, зокрема:

• Перехід від одноразових аудитів до безперервних відносин у сфері безпеки
• Посилення уваги до інваріантів протоколу, а не до функціональних перевірок
• Розширення обсягу аудиту для включення конфігурації розгортання, управління та операційної безпеки
• Зростаюче визнання того, що оновлення блокчейну та поведінка валідаторів вводять нові ризики безпеки

У 2025 році Certora завершила приблизно 150 аудитів безпеки, виявивши 80 критичних та 180 високосерйозних проблем, з яких 99% усіх виявлених недоліків були виправлені до розгортання. У 11 випадках Certora радили протоколам затримати або повністю припинити запуск після виявлення серйозних ризиків, які могли призвести до системної несправності або втрати коштів.

"Ці цифри відображають, наскільки змінилася індустрія," сказав Сет Галлем, генеральний директор Certora. "Безпека сьогодні — це не просто виявлення очевидних багів у останню хвилину. Це доведення правильності систем, які керують мільярдами доларів, що постійно еволюціонують і взаємодіють між ланцюгами. Наше зростання у 2025 році відображає перехід екосистеми до довгострокової, інфраструктурної безпеки."

"Найзріліші протоколи вже не вважають безпеку одноразовим аудитом," сказав Мулі Сагів, засновник і головний науковий співробітник Certora. "Вони обирають партнера з безпеки, який розуміє їхню економіку, архітектуру та поведінку системи з часом. Те, що ми спостерігаємо, — це чіткий перехід у галузі від 'охоплення аудитом' до 'гарантій правильності'."

Щоб задовольнити цей попит, у 2025 році Certora подвоїла свою команду дослідників у сфері безпеки до приблизно 40 фахівців, з яких 25 — доктори наук, розширюючи глибоку експертизу у сферах виконання, таких як Ethereum, Solana, Sui, Aptos та нові блокчейн-інфраструктури.

Звіт підкреслює, як межа ризику змістилася від поверхневих уразливостей до економічних крайніх випадків, міжланцюгових припущень, мовних пасток і поведінки протоколів за умов змін у ланцюгах, включаючи оновлення мережі.

У 2025 році Certora забезпечила понад $90 мільярдів у TVL за рахунок формальної верифікації, математично доводячи критичні інваріанти протоколу, такі як платоспроможність, монотонні відсоткові ставки та умови безпеки користувачів.

Про Certora

Certora — це партнер із забезпечення безпеки, якого довіряють найпередовіші команди у Web3. Заснована у 2018 році піонерами у галузі мов програмування та формальних методів, Certora допомагає провідним протоколам, таким як Lido, Aave, окремі платформи DEX і Compound, забезпечувати мільярди доларів у цінності з упевненістю.