# Ответ на вызов: Как RISC Zero и O(1) Labs переносят доказательства ZK в OP Stack By [Nataliiiiii](https://paragraph.com/@iamcryptogirl) · 2023-11-02 --- В четвертом сезоне «Управления оптимизмом» сообщество сплотилось вокруг «Коллективных намерений», где команды работают над узкомасштабными конкретными инициативами, известными как «Миссии». В рамках этого процесса Фонд Оптимизма определил Миссии для важнейших областей роста и развития внутри Коллектива. Ключевой частью реализации намерения технической децентрализации является реализация доказательства с нулевым разглашением (ZKP) для OP Stack. Для цепочек OP в суперцепочке это важный компонент для дальнейшей защиты и добавления межцепной связи с низкой задержкой между L2 и L1, а также непосредственно между цепочками OP. Эта система поддерживает варианты как с высокой, так и с низкой задержкой, что необходимо для достижения полной компонуемости и открытия новых вариантов использования, а также для обеспечения общей масштабируемости. ZKP отлично подходит для архитектуры набора команд (ISA), которая может подтвердить OP Stack [программу защиты от сбоев](https://github.com/ethereum-optimism/optimism/blob/develop/specs/fault-proof.md#fault-proof-program), выступающую в качестве основы для системы, которая может доказать любой блокчейн на основе OP Stack. Взрыв активности на L2 подчеркивает, насколько сильно пользователи криптовалюты ценят низкие комиссии и высокую производительность, и две команды представили подходы, которые помогли добиться этого для пользователей. В результате были приняты предложения от RISC Zero и O(1) Labs для работы над Миссией. **cRUSTaceans, радуйтесь: RISC Zero добавляет доказательства достоверности ZK на основе Rust в** OP Stack ========================================================================================================= RISC Zero представляет собой мир, в котором доказательства ZK доступны каждому, а разработчики могут доказывать и проверять любые вычисления с помощью виртуальной машины ZK общего назначения RISC Zero. Чтобы реализовать это видение, команда использует стек с открытым исходным кодом, который устраняет барьеры, которые когда-то преследовали ZK, и всегда отдает приоритет практическому взаимодействию с ZKP. В основе всего этого лежит RISC-V zkVM, который позволяет разработчикам писать свои программы на собственном Rust и устраняет криптографические сложности ZKP. RISC Zero соответствует приверженности OP Stack к общему будущему с открытым исходным кодом. ZKP позволят реализовать следующую парадигму OP Stack, создав подключенную и обладающую высокой функциональной совместимостью суперчейн. Вывод средств, мосты и управление суперчейнами — это области, в которых RISC Zero видит, что их ZKP значительно улучшают опыт пользователей и разработчиков.. RISC Zero создает основанную на Rust систему проверки достоверности ZK для стека OP. Для этого они объединяют zkVM RISC-V с экосистемой Ethereum/Rust посредством таких проектов, как reth, revm, сплав и op-reth. Их система подтверждения действительности ZK построена на базе Zeth, платформы zkEVM с полностью открытым исходным кодом «типа 0», которая позволяет любому доказать достоверность блоков Optimism и Ethereum. Поддержка OP Mainnet уже добавлена ​​в Zeth. В настоящее время RISC Zero расширяет это, включив в него процесс «деривация L1 -> L2», который позволит Zeth доказать, что новые блоки OP совместимы с секвенсором транзакций OP. Как только это будет завершено, будут добавлены дополнительные функции, позволяющие «объединить» целые эпохи OP в единое доказательство, которое можно будет проверить на L1, используя существующую поддержку RISC Zero для проверки доказательств в цепочке. **O(1) Labs внедряет технологию ZK, обеспечивающую протокол Mina, в OP Stack** ============================================================================== O(1) Lab стремится стать катализатором нового поколения приложений, основанных на криптографии с нулевым разглашением, путем создания основ и инструментов для разработчиков для создания приложений ZK. Это включает в себя разработку и реализацию модели zkApp для протокола Mina, первого блокчейна, основанного на ZK, [**o1js**](https://docs.minaprotocol.com/zkapps/snarkyjs), библиотеку Typescript и встроенный DSL для приложений на базе zk, а также [**Kimchi**](https://o1-labs.github.io/proof-systems/specs/kimchi.html)**+**[**Pickles**](https://o1-labs.github.io/proof-systems/specs/pickles.html)**,** систему доказательств и библиотеку рекурсии. Теперь работа над MIPS zkVM привнесет в OP Stack возможности нулевого разглашения. Это первый шаг на пути к отмене семидневного окна вывода средств, что улучшает пользовательский опыт и повышает «недоверчивость» сети. Эта работа также сближает протокол Mina и OP Stack, открывая путь для приложений, созданных на OP Stack, для взаимодействия с протоколом Mina. Система доказательств PLONKish O(1), Kimchi и рекурсивный уровень Pickles, обеспечивают основу решения, версия которого защищает блокчейн Mina с 2021 года. Основная часть работы оптимизирует некоторые низкоуровневые примитивы для Ethereum. добавление поддержки kzg-bn128 для эффективной проверки Ethereum, а затем оптимизация и интеграция с хэшем предварительного изображения цепочки OP. **беззаботный. увлажненный. счастливый. в нашем переулке. направляется к OP Stack ZKP.** ======================================================================================== И RISC Zero, и O(1) Labs обязались регулярно предоставлять обновленную информацию о ходе работы. Сообщество может следить за ходом деятельности Миссии на [Странице на GitHub](https://github.com/ethereum-optimism/ecosystem-contributions/issues/61) и подписаться на [RISC Zero](https://twitter.com/RiscZero) и [O(1) Labs](https://twitter.com/o1_labs) в Твиттере. Приятно иметь две невероятные команды с двумя уникальными подходами, работающими над достижением миссии, которая окажет огромное влияние на экосистему Optimism. Если вам нужна дополнительная информация, RISC Zero и O(1) Labs проведут семинар по внедрению доказательств ZK в стек OP в рамках саммита Optimism Onchain на Devconnect в Стамбуле!  [Подписывайтесь на Twitter](https://twitter.com/optimismFND) для получения обновлений о программировании Devconnect от Optimism. Официальная статья на английском: [https://optimism.mirror.xyz/XS7Ko4sn5Wab0dEWsXie7wO5JhFj5v7G1ckggfoY87U](https://optimism.mirror.xyz/XS7Ko4sn5Wab0dEWsXie7wO5JhFj5v7G1ckggfoY87U) --- *Originally published on [Nataliiiiii](https://paragraph.com/@iamcryptogirl/risc-zero-o-1-labs-zk-op-stack)*