За кулисами кражи 1.4 ETH: механизм безопасности Lido преподал урок индустрии

Автор: @IsdrsP, руководитель валидаторных узлов Lido

Перевод: Nicky, Foresight News

Ранним утром 10 мая поставщик услуг оракулов Chorus One сообщил, что горячий кошелек одного из оракулов Lido был взломан, что привело к краже 1,46 ETH. Однако согласно аудиту безопасности, это изолированное событие имеет ограниченное влияние, поскольку соответствующий кошелек изначально был предназначен только для легких операционных задач.

Атака на оракулы действительно звучит тревожно. Однако архитектура Lido, ценности заинтересованных сторон и культура участников, ориентированная на безопасность, означают, что влияние таких событий крайне ограничено — даже если оракулы будут полностью скомпрометированы, это не приведет к катастрофическим последствиям.

Так в чем же уникальность Lido?

Продуманный дизайн и многоуровневая защита

Оракулы Lido отвечают за передачу информации уровня консенсуса на уровень исполнения и отчетность о состоянии протокола. Они не контролируют средства пользователей. Сбой одного оракула вызовет лишь небольшие неудобства, и даже компрометация кворума (quorum) не приведет к катастрофическим последствиям.

Какие злонамеренные действия может попытаться предпринять один скомпрометированный оракул?

A) Отправка вредоносных отчетов (но они будут проигнорированы честными оракулами);

B) Исчерпание баланса ETH на адресе конкретного оракула (этот адрес используется только для операционных транзакций и не хранит средства стейкеров).

Какие именно обязанности выполняют оракулы?

Оракулы Lido по сути представляют собой распределенный механизм, состоящий из 9 независимых участников (требуется консенсус 5/9), отвечающий в основном за отчетность о состоянии протокола; текущие ключевые функции включают:

• Выпуск инфляционных вознаграждений токенов (rebase)

• Обработка процесса вывода средств

• Мониторинг выхода валидаторных узлов и их производительности для справки CSM (Community Security Module)

Эти оракулы отправляют протоколу «отчеты» о наблюдаемом состоянии. Эти отчеты используются для расчета ежедневных накопленных вознаграждений или штрафов, обновления баланса stETH, обработки и окончательного подтверждения запросов на вывод средств, расчета заявок на выход валидаторов и оценки производительности валидаторов.

По сути, оракулы Lido отличаются от общепринятого понимания «мультисиг». Оракулы не имеют доступа к средствам стейкеров и протокола, не могут контролировать обновление каких-либо контрактов протокола, не могут обновлять себя или управлять членством. Вместо этого Lido DAO поддерживает список оракулов посредством голосования.

Функционал оракулов крайне ограничен — они могут выполнять только следующие действия: отправлять отчеты, которые строго следуют детерминированным, аудированным и открытым алгоритмам, разработанным для различных целей протокола; выполнять транзакции в определенных случаях для реализации результатов отчетов (например, ежедневная операция rebase протокола).

Что будет в худшем случае, если 5 из 9 оракулов будут скомпрометированы? В этом случае скомпрометированные оракулы могут сговориться для отправки вредоносных отчетов, но любой отчет должен пройти проверку обоснованности протокола, принудительно выполняемую в цепочке.

Если отчет нарушает эти проверки обоснованности, время его обработки будет продлено (или он может никогда не быть) «урегулирован», поскольку значения в отчете должны соответствовать диапазону допустимых изменений значений за определенный период времени (дни или недели).

В худшем случае это может означать, что rebase stETH (как положительный, так и отрицательный) займет больше времени для вступления в силу, что повлияет на держателей stETH, но для большинства держателей влияние будет незначительным, если только кто-то не использует stETH с левериджем в DeFi.

Существуют и другие возможности: если злонамеренные оракулы и их сообщники обладают определенной информацией или способны наложить крупные штрафы на уровне консенсуса (например, массовый слэшинг), они могут использовать задержку обновления stETH на уровне исполнения для получения экономической выгоды.

Например, в случае массового слэшинга некоторые могут продать часть stETH через децентрализованную биржу (DEX) до вступления в силу отрицательного rebase. Однако это не повлияет на операции вывода средств, инициированные пользователями напрямую через Lido, поскольку будет активирован «аварийный режим» (bunker mode) протокола, обеспечивающий справедливое выполнение процесса вывода.

Мгновенная и полная прозрачность

С самого начала все участники экосистемы Lido — будь то контрибьюторы, операторы узлов или операторы оракулов — всегда ставили прозрачность и добросовестность на первое место, приоритизируя защиту интересов стейкеров и здоровое развитие всей экосистемы.

Будь то активная публикация подробных постмортем-анализов, компенсация потерь стейкинга из-за простоя инфраструктуры, добровольный выход из валидаторных узлов из профилактических соображений или быстрая публикация всесторонних отчетов об инцидентах, эти участники всегда считали прозрачность первоочередной задачей.

Постоянная итерация и обновление

Lido всегда находится на переднем крае технических исследований и разработок, стремясь использовать технологию доказательств с нулевым разглашением (ZK) для повышения безопасности и уровня минимизации доверия механизма оракулов. Еще на раннем этапе команда выделила более 200 000 долларов США специальных средств для поддержки реализации верификации данных уровня консенсуса без доверия с помощью технологии доказательств с нулевым разглашением.

Эти исследования в области технологий в конечном итоге привели к тому, что механизм «двойной проверки» SP1 ZK-оракула, разработанный командой SuccinctLabs, будет официально запущен в течение года. Этот механизм предоставляет дополнительный уровень безопасности для потенциальных операций отрицательного rebase через верифицируемые данные уровня консенсуса.

В настоящее время эти ZK-технологии все еще находятся на стадии развития, соответствующие ZK-виртуальные машины (zkVM) не только должны пройти проверку в реальных условиях, но также имеют ограничения, такие как более низкая скорость вычислений и более высокие вычислительные затраты, и пока не могут полностью заменить доверенные оракулы. Однако в долгосрочной перспективе такие решения, как ожидается, станут минимизирующими доверие альтернативами существующим оракулам.

Технология оракулов очень сложна, и сценарии применения в области DeFi различны. В протоколе Lido оракулы как ключевой компонент тщательно разработаны, и благодаря эффективной децентрализованной архитектуре, механизму разделения обязанностей и многоуровневой системе проверки значительно снижена область влияния потенциальных рисков.