Останніми місяцями відбулося кілька цікавих змін у сфері верифікації смарт-контрактів.



Автоматизована система доведення теорем від Certora Prove прискорює процес аудиту — аудити, які раніше займали тижні, тепер виконуються за кілька годин. Halmos використовує символічний рушій виконання для виявлення вразливостей, який може виявити 99,5% проблем, пропущених традиційними методами тестування. У поєднанні з новою функцією моніторингу в реальному часі в MythX Enterprise Edition весь ланцюг інструментів стає дедалі повнішим.

Різниця в даних очевидна: DeFi-проєкти, які використовують ці нові інструменти, не мали жодного інциденту з безпекою протягом кварталу; З іншого боку, традиційний протокол все ще використовувався, а збитки від злому перевищили $300 мільйонів. Їх порівнюють, і якість оцінюють одразу.

Багато інсайдерів галузі прогнозують, що через ще два роки формальна верифікація може стати стандартним процесом, який мають мати великі DeFi-проєкти. Адже ніхто не наважується йти на компроміси щодо безпеки.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 5
  • Репост
  • Поділіться
Прокоментувати
0/400
LiquidatedDreamsvip
· 2025-12-30 23:21
Добре, нарешті хтось зробив аудит ефективним, давно потрібно було так Формальна верифікація — це не жарти, втрати на 3 мільярди доларів свідчать про проблему Certora дійсно крута система, результати аудиту за кілька годин, чекати ще два роки — це вже стандарт Але з іншого боку, скільки проектів справді наважаться використовувати її 99.5% рівень виявлення вразливостей, здається, набагато надійніше за традиційні методи Ранше поширювати її, щоб більше не було випадків, коли через недосконалий верифікаційний процес зламують Тепер DeFi може справді почуватися більш спокійно
Переглянути оригіналвідповісти на0
RegenRestorervip
· 2025-12-30 15:50
Різниця в даних надто очевидна — 300 мільйонів друзів Ці інструменти мали бути використані давно, чому досі є люди, які ризикують своїм життям? Формальна перевірка стає стандартом протягом двох років? Думаю, настав час змусити це зробити Операція Certora справді безжальна, і після кількох годин аудиту я називаю це інсайдером Друзі, які досі користуються традиційним способом, справді граються з вогнем
Переглянути оригіналвідповісти на0
StealthMoonvip
· 2025-12-30 15:32
Безпековий інструментарій дійсно починає набирати обертів, але чесно кажучи, все ще трохи повільно. Коли ж ці проєкти зможуть повністю перейти на нього? --- Система Certora звучить непогано, але все залежить від якості аудиту, швидкість не означає менше вразливостей. --- 99,5% звучить дуже добре, але боязко через ті 0,5% чорних лебедів. --- Цифра у 3 мільярди доларів трохи лякає, якби я знав раніше, то давно б вже приєднався. --- Формалізована верифікація стане стандартом? Чекаємо з нетерпінням, тут ще потрібно підкоригувати витрати. --- Здається, великі проєкти починають приділяти цьому увагу, але для малих екосистем потрібно більше турбуватися. --- Прискорення аудиту — це справді хороша новина, але підвищення рівня безпекової свідомості ще важливіше. --- Коли ця система інструментів стане дешевшою, щоб і середні проєкти могли її використовувати — було б чудово.
Переглянути оригіналвідповісти на0
DYORMastervip
· 2025-12-30 15:32
Вони вже давно повинні були стати популярними, ті, хто досі користується застарілими методами, справді мають прокинутися
Переглянути оригіналвідповісти на0
ImpermanentLossFanvip
· 2025-12-30 15:27
Формалізоване підтвердження цього дива справді набирає обертів, але з іншого боку, скільки проектів дійсно готові витратити гроші на це?
Переглянути оригіналвідповісти на0
  • Закріпити