Cover photo

Безразрешительные доказательства отказов и Стадия 1 прибывают в стек OP

В майнете OP появились одобренные голосованием безразрешительные доказательства ошибок, и вместе с ними стек OP достиг первой стадии. Это монументальная веха для Суперчейна, и вскоре все другие цепочки стека OP обновятся, чтобы включить эту функциональность, начиная с Base, Metal, Mode и Zora.

Система Fault Proof System, не требующая разрешения, позволяет инициировать вывод ETH и ERC-20 токенов из OP Mainnet без участия доверенных третьих лиц. Это также означает, что недействительные выводы могут быть оспорены и удалены любым пользователем, который хочет участвовать в протоколе. Хотя участие в Fault Proof System не требует разрешения, Совет безопасности Optimism сохраняет за собой право вмешиваться и возвращать систему в разрешенное состояние в случае сбоя в системе. Наличие такого запасного варианта является частью ответственного и безопасного развертывания Fault Proof System, и мы считаем, что Совет безопасности соответствует хорошо сформированному, стандартному для отрасли определению Stage 1 от L2Beat.

Однако стек OP не достигает стадии 1 только за счет реализации доказательств отказов. Дополнительные средства защиты, явно направленные на систему, гарантируют, что Совет по безопасности сможет действовать быстро и эффективно в случае обнаружения ошибки. В случае активации защитных механизмов вывод средств будет обнулен, что приведет к необходимости повторной проверки всех ожидающих вывода средств.

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

Следующая остановка: этап 2

В 2022 году Виталик наметил рамки того, как L2 могут постепенно снять свои тренировочные колеса и перейти к полной децентрализации. Обычно проекты L2 запускаются рано, на разных стадиях развития, и запускают экосистему до того, как модель безопасности станет полностью безразрешительной. По мере развития проектов они могут снять тренировочные колеса и перейти от стадии 0 к стадии 1 и, в конечном итоге, к стадии 2 децентрализации.

Теперь, когда мы уверены в модели безопасности Stage 1, а способность Совета безопасности обеспечивать безопасность системы при любых событиях была тщательно проверена основными командами разработчиков и некоторыми из самых уважаемых и прилежных аудиторов безопасности экосистемы, работа над Stage 2 является следующим шагом. Следующий этап - аудит самой Игры Диспутов, который состоится в июле.

Но, заглядывая вперед, мы должны продвинуться дальше Стадии 1.

L2 запускаются на разных стадиях развития, и обычно эти проекты строят свою экосистему и укрепляют код одновременно. По мере того как проекты становятся зрелыми, меняется и их код, а также их прогресс в направлении децентрализации. Меры безопасности или "тренировочные колеса", которые применялись на ранних стадиях, больше не нужны.

post image

Запуск системы доказательств неисправностей в OP Mainnet, распространение ее функциональности на другие цепочки OP Stack в экосистеме Superchain и достижение децентрализации первой стадии являются важными вехами, но конечной целью является децентрализация второй стадии.

Сегодняшняя система доказательства отказов закладывает основу для достижения "мультиустойчивой нирваны" - как и сам стек OP, она имеет открытый исходный код и является модульной по своей конструкции. Эта структура направлена на то, чтобы стек OP мог поддерживать множество систем доказательства, включая доказательства с нулевым знанием, наряду с текущей системой Cannon. Производство избыточных схем доказательства для обеспечения вывода средств из цепочек OP Stack обратно в Ethereum позволяет ограничить роль Совета безопасности только выбором между доказательствами в случае их несогласия.

Система доказательства отказов была построена и протестирована основными командами разработчиков из всех подразделений Superchain, таких как OP Labs, Base и Sunnyside Labs. Такой совместный подход сделал возможным этот запуск. Предложение по доказательству ошибок также было одобрено Токен-хаусом и Гражданским домом Optimism, пройдя двухэтапный процесс утверждения в управлении Optimism.

В ближайшие месяцы мы планируем запустить в тестовую сеть дополнительные системы доказательств, включая Asterisc и Kona. Доказательство надежности и прочности этих избыточных схем доказательств поможет Superchain достичь 2-й стадии децентрализации.

Мы празднуем запуск отказоустойчивых доказательств и достижение стеком OP первой стадии, а также с оптимизмом смотрим на путь Superchain к реализации полностью децентрализованного будущего.

Перевод оригинальной статьи:

https://optimism.mirror.xyz/izdAoJ8ooyhDfwFLFoCcUfB1icPLFn8AImBws4oaqw8