В феврале инженеры OP Labs и основные разработчики из Optimism Collective лично собрались на саммите Keys in Mordor. Цель этого саммита? Выясните, как доставить ключи обновления Optimism в Мордор и безопасно бросить их в Mount Doom, сделав протокол технически децентрализованным.
Участники провели несколько дней, изучая OP Mainnet и намечая безопасный и практичный путь к децентрализации ключевых компонентов архитектуры сети. Этот путь был описан в более ранней записи блога, в которой описывается стратегический подход OP Labs к технической децентрализации и определяются пять ключевых этапов на этом пути. Этими вехами являются предложения по выводу без разрешения, децентрализация моста, программа защиты от сбоев Cannon, виртуальная машина с защитой от сбоев Cannon и интеграция игры в споры.
Саммит также включал в себя несколько интенсивных исследований презентаций, в которых более подробно рассматривались основные этапы нашей технической децентрализации, включая заявки на снятие средств, Cannon и Dispute Games.
Марк Тайнуэй выступил с презентацией по заявлениям о снятии средств. В презентации он изложил планы архитектуры заявок на снятие средств, которые позволят децентрализовать мост OP Mainnet.
Что такое Заявление о снятии средств? По сути, пользователь отправляет претензию в L1, которую он может отозвать, и произвольная система проверки может оспорить или подтвердить эту претензию. Претензия действительна, если нет спора через окно подтверждения ошибки или, в будущем, мгновенная проверка, когда стек OP имеет доказательства достоверности. Процесс требует залога. Вместо того, чтобы использовать газ на большом количестве вычислений и хранилищ, пользователи размещают залог вместе со своим требованием, которое они получают обратно после периода завершения.
Существующая архитектура моста включает в себя следующие свойства: двухэтапный вывод, возможность воспроизведения сообщений, сопоставление 1:1 между доменами, доказательство единого хранилища, аналогичные пути кода на L1 и L2 и совместимость с токенами Ether, ERC20 и ERC721. Заявки на снятие средств направлены на улучшение существующей архитектуры моста за счет удаления пути кода проверки подтверждения, удешевления снятия средств и устранения необходимости подачи выходных данных (это имеет решающее значение для первого этапа технической децентрализации, Предложений о неразрешенных выходных данных 👀 ) .
Марк отметил, что эта новая архитектура требует минимальных изменений: один новый контракт, один удаленный контракт и один модифицированный контракт. Дизайн также придерживается важнейшего принципа минимальных отличий от L1.
Важно отметить, что архитектура не зависит от готовности Cannon, так как ThresholdAttestationDispute.sol на основе мультиподписей можно использовать для краткосрочной реализации, а также разрешать игры в споры, когда этот компонент Cannon будет готов к реализации.
В результате обсуждения на саммите, заявки на снятие средств были разделены на проект, состоящий из двух частей: реализация предложений о выводе без разрешения, которые позволяют пользователям снимать средства, не полагаясь на секвенсор или любую другую централизованную инфраструктуру. Вторая часть будет посвящена полной реализации требований о снятии средств и децентрализации моста.
Теперь пришло время для большого, которого мы все ждали. На саммите Protolambda поделился тем, как устроены внутренние компоненты виртуальных машин Cannon и как программы могут быть проверены на наличие ошибок. Программа будет без разрешения проверять блоки и запускать функцию перехода состояния свертки OP Mainnet для создания выходных данных L2 из входных данных L1.
Cannon состоит из трех основных компонентов: отказоустойчивой программы, отказоустойчивой виртуальной машины и игры в спор. Программа предназначена для обеспечения правильности вычислений вне сети, тогда как виртуальная машина (ВМ) отвечает за выполнение безотказных программ в системе Кэннона. Он поддерживает набор инструкций MIPS и обеспечивает корректность выходных данных L2, разрешая выполнение отдельных отказоустойчивых шагов программы во время диспутной игры. Наконец, Dispute Game — это механизм, используемый Cannon для сужения разногласий между сторонами относительно правильности вычислений вне сети.
В своей презентации Прото обозначил некоторые риски реализации, такие как различия между реализацией MIP в сети и эмулятором MIPS Unicorn вне сети, перекрытие памяти и регистров, ограниченное пространство памяти, ошибки реализации инструкций, неожиданное поведение Go во время выполнения и использование доказательств MPT для Память ВМ.
Наконец, Proto обсудил, что потребуется для обновления Cannon для производственного использования, включая получение отказоустойчивой программы для успешной проверки блоков, улучшение выполнения MIPS в сети и интеграцию Cannon с игрой для споров в сети. Он также рассказал о своем прогрессе в разработке дополнительной отказоустойчивой виртуальной машины Asterisc, которая поддерживает RISC-V 👀
В последней презентации саммита Клэбби рассказал участникам о Dispute Games и о том, как, по его мнению, они позволят внедрить Cannon.
Игры в споры — это механизмы поиска правильной истины среди множества противоречивых утверждений. Игроки заявляют о своих представлениях об истине, и цель игры состоит в том, чтобы определить единственную правильную истину среди этого набора утверждений.
Внедрение Cannon в OP Mainnet будет включать в себя две вложенные спорные игры: игру пополам хэша блока и игру пополам трассировки выполнения. Игра пополам хэша блока направлена на поиск точного хэша блока, в котором несколько историй цепочки L2 расходятся, в то время как игра пополам трассировки выполнения направлена на поиск точной инструкции в переходе состояний, где расходятся несколько состояний VM. Эти игры работают вместе, чтобы находить и разрешать разногласия внутри системы, обеспечивая целостность и правильность истории цепи уровня 2.
В этой системе игра в спор разработана как универсальная, что означает, что мы можем повторно использовать всю ту же общую инфраструктуру игры в спор для создания игры пополам хэша блока и игры пополам трассировки выполнения. Существует также потенциал для разработки будущих типов игр со спорами, таких как игра, подкрепленная доказательствами действительности, или игра, подтверждающая аттестацию.
Dispute Games позволяет Cannon принять ряд противоречивых претензий, сузить до самых мелких точек разногласий, с которыми стороны не согласны, и обеспечить решение для обеспечения безопасности и надежности сети.
Очень важным результатом саммита Keys in Mordor стала разработка стратегии продвижения к технической децентрализации стека OP. Установленные вехи могут быть выполнены одновременно, поэтому прогресс достигается в направлении базовых вех децентрализации, таких как предложения о неразрешенном выходе и децентрализация моста, пока мы итерируем доказательства ошибок.
Саммит также дал возможность ведущим инженерам экосистемы Optimism обсудить всю архитектуру, которая должна собраться вместе, чтобы мы чувствовали себя уверенно, бросая эти ключи обновления в Мордоре.
В ближайшие недели вы можете ожидать более подробных технических пояснений о том, как разработчики OP Labs продумывают каждый этап нашей стратегии децентрализации. А пока вы можете ознакомиться с нашей документацией, если чувствуете вдохновение внести свой вклад в стек OP .
Перевод оригинальной статьи от 1 мая 2023 года