Швидке розширення DeFi викликає як захоплення, так і занепокоєння. З одного боку — мільярди доларів ліквідності, з іншого — постійно виникаючі проблеми з безпекою. Як розв'язати цю суперечність?

Walrus Protocol пропонує цікаве рішення. Грунтовно кажучи, вони досягли досконалості в двох ключових сферах: по-перше, зробили самі смарт-контракти надійнішими, по-друге, встановили чутливу «нервову систему».

Почнемо з рівня контрактів. Вони використовують модульний дизайн, де кожен функціональний блок розділений окремо. Важливо, що ці модулі написані не на основі інтуїції, а пройшли формальну верифікацію. Це звучить складно, але по суті це означає: за допомогою математичних методів фундаментально доводиться, що цей код не матиме логічних вразливостей. Традиційний аудит коду може знайти лише відомі проблеми, тоді як формальна верифікація перевіряє всі потенційні ризики. Разом з модульною структурою оновлення окремого компонента не впливає на весь екосистем, що значно знижує витрати на обслуговування.

Особливо вражає їхня система моніторингу в реальному часі. Система розподілена по декількох мережевих вузлах і постійно сканує дані транзакцій у блокчейні. Алгоритми машинного навчання тут відіграють важливу роль, здатні розпізнавати незвичайні моделі транзакцій. Як тільки виявляється аномалія, миттєво активуються багаторівневі попередження, і команда безпеки та спільнота мають достатньо часу для реагування. До того ж вся система працює в повністю децентралізованому режимі без ризику єдиної точки відмови. Цей підхід до проектування справді варто порекомендувати іншим проектам у галузі.