Перейти к основному контенту

Запуск доказательств мошенничества Stage 1: Тихая революция, делающая Ethereum L2 по-настоящему бездоверительными

· 11 мин чтения
Dora Noda
Software Engineer

В течение многих лет у критиков был весомый аргумент: сети Ethereum Layer 2 не были по-настоящему trustless. Конечно, они обещали доказательства мошенничества (fraud proofs) — механизмы, позволяющие любому оспорить недействительные транзакции, — но эти доказательства либо отсутствовали, либо были доступны только валидаторам из белого списка. На практике пользователи доверяли операторам, а не коду.

Эта эра закончилась в 2024–2025 годах. Arbitrum, Optimism и Base развернули системы доказательства мошенничества без разрешений (permissionless), достигнув того, что L2Beat классифицирует как децентрализацию «Stage 1». Впервые модель безопасности, которую рекламировали эти роллапы, действительно существует. Вот почему это важно, как это работает и что это значит для более чем $ 50+ миллиардов, заблокированных в Ethereum L2.

Фреймворк стадий: от маркетинга к реальности

Прежде чем мы углубимся в технические достижения, нам нужно понять, как на самом деле измеряется безопасность роллапов. Фреймворк стадий (Stages Framework), представленный L2Beat в июне 2023 года (на основе предложения Виталика Бутерина от 2022 года), устанавливает четкие критерии оценки зрелости роллапов.

Логика проста:

  • Stage 0: Проект полностью контролируется операторами, а системы доказательств носят лишь «рекомендательный» характер.
  • Stage 1: Смарт-контракты управляют роллапом, но Совет безопасности может вмешаться в случае обнаружения ошибок.
  • Stage 2: Код контролирует всё — полномочия Совета безопасности ограничены только доказуемыми ошибками в блокчейне (on-chain).

Годами почти каждый крупный роллап находился на стадии Stage 0. Их системы доказательства мошенничества либо не существовали, либо были неактивны, либо ограничивались избранными валидаторами. Обещания «trustless» в маркетинговых материалах не соответствовали действительности.

Это кардинально изменилось.

BoLD от Arbitrum: запуск валидации без разрешений

В феврале 2025 года Arbitrum развернул BoLD (Bounded Liquidity Delay) — новый протокол разрешения споров, который коренным образом изменил способ обработки доказательств мошенничества в сети.

Что на самом деле делает BoLD

Согласно документации Arbitrum, BoLD позволяет любому участвовать в проверке состояния сети — включая подачу и выигрыш споров — без необходимости получения разрешения от Offchain Labs или кого-либо еще.

Ключевые инновации:

  • Валидация без разрешений: любой оператор узла может подавать доказательства мошенничества для оспаривания недействительных корней состояния (state roots).
  • Ограниченное разрешение споров: фиксированный верхний предел в 7 дней для разрешения споров, что предотвращает атаки через задержку.
  • Экономическая безопасность: участники вносят залог (stake) для участия, создавая стимулы «skin-in-the-game».

Ранее система доказательств мошенничества Arbitrum была закрытой (permissioned) — только избранная группа валидаторов из белого списка могла инициировать споры. Это означало, что пользователи доверяли тому, что:

  1. Эти валидаторы следят за мошенничеством.
  2. Они действительно оспорят недействительные состояния.
  3. Arbitrum не вступит с ними в сговор.

BoLD устраняет эти предположения о доверии. Теперь любой, кто запускает узел валидатора, может защищать сеть.

Статус развертывания

BoLD теперь активен в Arbitrum One, Arbitrum Nova и Arbitrum Sepolia. Предложение по управлению было принято в начале января 2025 года, а развертывание последовало в течение нескольких недель.

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

Доказательства сбоев Optimism: тернистый путь к Stage 1

Путь Optimism к доказательствам сбоев (fault proofs) без разрешений был более сложным, но в конечном итоге успешным.

Июнь 2024: Первоначальный запуск

10 июня 2024 года доказательства сбоев были запущены в основной сети OP Mainnet, что стало исторической вехой для OP Stack. Как объявил Optimism:

«Одобренные управлением доказательства сбоев без разрешений запущены в OP Mainnet, и вместе с ними OP Stack достигает децентрализации Stage 1».

Система позволяет выводить токены ETH и ERC-20 из OP Mainnet без доверенных третьих лиц. Любой пользователь, желающий принять участие, может оспорить недействительный вывод средств.

Август 2024: Проблемы с безопасностью

Два месяца спустя Optimism Foundation временно отключил доказательства мошенничества без разрешений после того, как в ходе аудитов сообщества были обнаружены уязвимости. Система вернулась к работе с разрешениями, пока OP Labs разрабатывала хардфорк «Granite».

Это не было провалом — это была работа Совета безопасности именно так, как он и должен действовать на стадии Stage 1: выявлять проблемы до того, как они нанесут вред. Сентябрьское обновление Granite 2024 года устранило уязвимости, и доказательства сбоев без разрешений вернулись.

Текущая система

Сегодняшняя система доказательства ошибок OP Stack работает следующим образом:

  1. Предложения: Любой может предложить корни вывода (output roots), заявляя состояние L2
  2. Период оспаривания: 7-дневное окно для подачи претензий
  3. Споры: В случае оспаривания интерактивная игра на доказательство определяет истину
  4. Решение: Валидные предложения финализируются; невалидные отклоняются

Совет Безопасности сохраняет право на вмешательство в чрезвычайных ситуациях — что соответствует требованиям Stage 1. Как объясняет Optimism: «наличие этого запасного варианта является частью ответственного и безопасного развертывания системы доказательства ошибок».

Base вступает в клуб Stage 1

В октябре 2024 года Base запустила доказательства ошибок в мейннете, сделав L2 от Coinbase последним крупным роллапом, достигшим децентрализации Stage 1.

В анонсе Base подчеркивается, что это значит для пользователей:

«Base достигла децентрализации Stage 1, что является важной вехой в нашем стремлении построить открытую и глобальную ончейн-экономику. Мы сделали это, запустив доказательства ошибок без разрешения (permissionless fault proofs) и повысив децентрализацию процесса обновления наших контрактов с помощью совета безопасности».

Поскольку Base использует OP Stack, она получает выгоду от той же системы доказательства ошибок, разработанной Optimism. Это демонстрирует мощь общей инфраструктуры — улучшения безопасности распространяются на всю экосистему Superchain.

Почему Stage 1 имеет значение: Расчет доверия

Чтобы понять значимость Stage 1, рассмотрим, чему на самом деле доверяют пользователи на каждом этапе.

Допущения доверия на Stage 0

На Stage 0 пользователи доверяют тому, что:

  • Операторы не украдут средства
  • Операторы не будут бесконечно цензурировать транзакции
  • Команда не будет злонамеренно обновлять контракты
  • Валидаторы из белого списка честны и бдительны

Допущения доверия на Stage 1

На Stage 1 пользователи доверяют тому, что:

  • Хотя бы один честный участник оспорит мошенничество (система без разрешения, так что это может сделать любой)
  • Совет Безопасности не вступит в сговор с целью кражи (требуется большинство в 75 %+ из 8 + различных участников)
  • У пользователей есть 7 + дней на выход до того, как злонамеренные обновления вступят в силу

Разница огромна. Stage 0 требует доверия к конкретным известным организациям. Stage 1 требует лишь того, чтобы Совет Безопасности не вступал в активный сговор — гораздо более слабое допущение, учитывая требования к разнообразию состава.

Как объясняет методология L2Beat: «Правильно сформированный Совет Безопасности состоит как минимум из 8 членов с порогом принятия решений более 75 %. Понятие "достаточной децентрализации" фундаментально субъективно, и L2BEAT оценивает каждый случай индивидуально».

Путь к Stage 2: Без «вспомогательных колес»

Stage 1 — это важная веха, но не финишная черта. Stage 2 представляет собой истинную бездоверительность:

  • Совет Безопасности может действовать только в случае доказуемых ончейн-ошибок
  • Минимум 30-дневное окно выхода для обновлений (против 7 дней на Stage 1)
  • Полностью открытые (permissionless) доказательства мошенничества (уже достигнуто)
  • Множественные избыточные системы доказательств

Мульти-доказательная архитектура

Ключом к Stage 2 является избыточность. Optimism работает над тем, что они называют «нирваной мульти-доказательств» — одновременным запуском нескольких систем доказательства:

  • Cannon: Текущая система оптимистичных доказательств мошенничества
  • Asterisc: Альтернативная реализация доказательства мошенничества
  • Kona: Еще одна независимая реализация
  • ZK-доказательства: Доказательства валидности с нулевым разглашением наряду с оптимистичными доказательствами

Когда несколько независимых систем приходят к согласию, уверенность в результате резко возрастает. Если же они расходятся во мнениях, Совет Безопасности может вынести решение — это законная роль, а не произвольная власть.

Видение Stage 2 Виталика Бутерина

В своем посте от мая 2025 года «Математика того, когда Stage 1 и Stage 2 имеют смысл», Виталик Бутерин утверждал, что Stage 2 должна стать стандартом для зрелых роллапов:

«Начиная с 2025 года, я буду публично поддерживать только те проекты, которые соответствуют более высоким стандартам безопасности (классифицируемые как Stage 1 или выше)».

Это создало реальное давление. Роллапы, которые не прогрессируют, рискуют потерять доверие и поддержку экосистемы.

Конкурентная среда

Согласно отчету The Block «2026 L2 Outlook»:

«Arbitrum, OP Mainnet и Base имеют работающие системы доказательства мошенничества без разрешения и теперь классифицируются как Stage 1. Однако многие небольшие оптимистичные роллапы до сих пор не имеют работающих доказательств мошенничества».

Это создает двухъярусный рынок:

Лидеры Stage 1

РоллапСистема доказательства ошибокСтатус
Arbitrum OneBoLDЗапущено (февр. 2025)
Arbitrum NovaBoLDЗапущено (февр. 2025)
OP MainnetCannonЗапущено (июнь 2024)
BaseCannon (OP Stack)Запущено (окт. 2024)

Stage 0 (или ниже)

Многие небольшие роллапы остаются на этапе Stage 0 или вовсе не имеют доказательств мошенничества. Обновление методологии L2Beat 2025 года перенесло проекты без надлежащих систем доказательства в категорию «Прочие» — фактически исключив их из списка настоящих роллапов.

Что это значит для пользователей

Для обычного пользователя доказательства мошенничества (fraud proofs) Стадии 1 обеспечивают конкретную защиту:

Безопасность вывода средств

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

Права на выход

Если команда роллапа предложит вредоносное обновление, у вас будет как минимум 7 дней, чтобы вывести средства в Ethereum. Это не теория — это обеспечивается смарт-контрактами.

Устойчивость к цензуре

Даже если секвенсор подвергнет ваши транзакции цензуре, вы сможете принудительно включить их через L1. В сочетании с доказательствами мошенничества это означает, что роллап не сможет украсть ваши средства с помощью цензуры.

Уменьшение плоскости доверия

Вместо того чтобы доверять «команде Arbitrum» или «Coinbase», вы доверяете тому, что:

  1. В мире существует хотя бы один честный валидатор.
  2. Подавляющее большинство участников разнообразного Совета Безопасности не вступит в сговор.

Путь вперед

Стадия 1 уже запущена. Оставшаяся работа сосредоточена на следующих направлениях:

Приоритеты на 2025–2026 годы

  • Arbitrum: Работа над переходом к Стадии 2 с расширенными временными блокировками (timelocks) и системами мульти-доказательств.
  • Optimism: Развертывание Asterisc и Kona для обеспечения избыточности мульти-доказательств.
  • Base: Следование обновлениям OP Stack на пути к Стадии 2.
  • ZK Rollups: Starknet, zkSync и другие работают над достижением Стадии 1+ с использованием доказательств достоверности (validity proofs).

Хронология Стадии 2

Большинство оценок предполагают, что крупнейшие роллапы достигнут Стадии 2 к концу 2026 или 2027 года. Техническая работа в значительной степени завершена — оставшиеся проблемы связаны с управлением, тестированием и укреплением доверия к системам мульти-доказательств.

Почему это действительно важно

Безразрешительные доказательства мошенничества звучат абстрактно, но они представляют собой фундаментальный сдвиг в том, как обеспечивается безопасность миллиардов долларов.

До Стадии 1 критики могли справедливо утверждать, что L2-сети были «просто мультисигами с дополнительными шагами». Модель безопасности зависела от доверия к конкретным организациям — именно от того, что криптовалюта должна была устранить.

С достижением Стадии 1 крупнейшие роллапы теперь обеспечивают подлинные бездоверительные гарантии безопасности. Пользователи могут проверять чейн, оспаривать мошенничество и выходить из системы без чьего-либо разрешения. Заявление «защищено Ethereum» наконец-то обрело техническую основу.

Более 50 миллиардов долларов, заблокированных в L2-сетях Ethereum, теперь защищены кодом, а не обещаниями.


Для разработчиков, развертывающих приложения на роллапах Стадии 1, BlockEden.xyz предоставляет надежные RPC-узлы для Arbitrum, Optimism и Base — инфраструктуру, которая соответствует тем же стандартам аптайма, которые эти сети теперь обеспечивают для безопасности.