TL;DR

• Главной особенностью OP Succinct является его способность интегрировать доказательства нулевого разглашения (ZKP) в модульную структуру OP Stack, превращая OP Stack Rollup в полностью проверенный ZK Rollup.
• Если будущая цель расширения Ethereum заключается в преобразовании всех Rollups в ZK Rollups, миссия OP Succinct состоит в объединении Rust и SP1 для развертывания Type-1 zkEVM OP Stack, который полностью совместим с Ethereum.
• OP Succinct Proposer отвечает за генерацию доказательств параллельно, их агрегацию и проверку.
• Текущая система стека OP использует «7-дневное окно предотвращения мошенничества», которое задерживает проверку транзакции на неделю в случае возникновения споров. OP Succinct использует доказательства ZK для сокращения времени, необходимого для окончательного подтверждения транзакций, устраняя необходимость в продленном периоде предотвращения мошенничества.
• OP Succinct имеет потенциал значительно снизить затраты на транзакции.

1. Последний обзор: текущее состояние основной сети OP и роли стека OP и лабораторий OP

Источник: Blockscout

1.1 Последние события OP Mainnet

По состоянию на 30 марта 2024 года, OP Labs объявила о выпуске «несбойного» на тестнете OP Sepoila с официальным запуском на OP Mainnet 11 июня 2024 года. Это является значительным шагом в сторону децентрализации, позволяя пользователям выводить ETH и токены ERC-20 с OP Mainnet без полагания на доверенное третье лицо. Пользователи теперь могут оспаривать и отменять неправильные выводы (включая те из Base, Metal, Mode и Zora).

Для повышения безопасности и доверия к активам пользователей Optimism использует беспроцентное доказательство, чтобы улучшить точность и эффективность on-chain транзакций и предотвратить злонамеренные действия. Основные принципы:

• Доступность данных: Надёжность гарантирует, что все данные на Уровне 2 доступны и могут быть проверены Уровнем 1.
• Период вызова: В течение определенного периода вызова любой может оспаривать данные на уровне 2. Если обнаруживаются расхождения между данными на уровне 2 и уровне 1, можно поднять вызов.

Если возникает спор, оператор уровня 2 должен предоставить доказательства, чтобы опровергнуть вызов и подтвердить точность своих данных.

Завершенность: Если во время периода оспаривания не возникнет действительных споров или если оператор уровня 2 успешно решит возникшие проблемы, транзакция завершится и будет считаться действительной.

1.2 Отношения и различия между стеком OP и лабораторией OP

OP Labs - это команда, ответственная за разработку решений Optimism, в то время как OP Stack - это технический каркас, который поддерживает создание и масштабирование сети Layer 2 Ethereum. Вы можете представлять себе OP Labs как разработчиков и OP Stack как их набор инструментов.

● OP Labs:

OP Labs - это основной участник проекта Optimism, ответственный за разработку и поддержание решения Optimism Layer 2. Это команда или организация, сфокусированная на создании и улучшении технических инструментов, связанных с масштабированием Ethereum, таких как Оптимистические Ролапы. Основная цель OP Labs - снять нагрузку с основной сети Ethereum через решения масштабирования Layer 2, снижая транзакционные издержки и увеличивая скорость транзакций.

OP Labs также сотрудничает с другими проектами, такими как Succinct Labs, для дальнейшего развития технологии масштабирования Ethereum, с акцентом на оптимизации доказательств с нулевым разглашением информации, с инициативами, такими как OP Succinct.

OP Labs - это основная команда или организация, ответственная за разработку и поддержку сети Optimism. Их цель - создать эффективное решение для масштабирования Ethereum, сосредоточившись на снижении комиссий за транзакции и увеличении скорости выполнения транзакций. Они не только отвечают за разработку оптимистичных роллапов, но и активно продвигают новые технологии, связанные с доказательствами с нулевым разглашением, такие как OP Succinct в сотрудничестве с Succinct Labs.

● OP Стек:

OP Stack - это модульная архитектура или технологический стек, используемый для создания и масштабирования сетей Ethereum Layer 2. Он состоит из нескольких настраиваемых компонентов, которые позволяют разработчикам создавать свои собственные цепочки Layer 2 на основе конкретных потребностей. Он обеспечивает стандартизированный подход, который позволяет разработчикам быстро создавать сети масштабирования Layer 2, удовлетворяющие определенным требованиям.

OP Stack - это модульный фреймворк, разработанный OP Labs. Этот фреймворк обеспечивает инфраструктуру для создания сетей 2-го уровня, позволяя разработчикам быстро создавать различные масштабируемые сети с помощью OP Stack. Благодаря своей модульной конструкции, OP Stack позволяет пользователям гибко выбирать различные механизмы проверки (например, Optimistic Rollups или ZK Rollups), чтобы удовлетворить конкретные потребности разных проектов.

OP Labs можно понять как разработчика OP Stack, который представляет собой набор технических инструментов, предоставленных OP Labs, чтобы помочь разработчикам строить и масштабировать сети уровня 2 Ethereum.

Прежде чем погрузиться в OP Succinct, важно понимать четыре основных компонента OP Stack:

1. op-geth: Этот компонент извлекает транзакции от пользователей, генерирует блоки из этих транзакций и выполняет их.
2. op-batcher: Он пакетирует транзакции пользователей и отправляет их на Уровень 1 (L1).
3. op-node: Этот модуль считывает пакетные данные с уровня 1 и управляет op-geth для переходов состояния в режиме не-последователя.
4. op-proposer: Регулярно публикует выходные корневые данные в Layer 1 для захвата состояний Layer 2 (L2), облегчая процесс вывода.

2. Сотрудничество между Succinct Labs и OP Labs для интеграции элементов ZK в OP Stack

Источник: Краткий блог

2.1 Структура OP Sucinct

Отсылаясь к концу раздела 1.2, в котором обсуждаются «четыре основных компонента стека OP», OP Succinct является легким усовершенствованием стека OP. Он позволяет цепочке использовать только блоки, которые были проверены с использованием доказательств с нулевым разглашением (ZK), в то время как другие три компонента (op-geth, op-batcher и op-node) остаются неизменными. OP Succinct в основном состоит из следующих четырех элементов:

• Программа диапазона: эта программа, написанная на Rust, предназначена для выполнения пакетных блоков в рамках zkVM.
• Программа агрегации: Также написанная на Rust, эта программа агрегирует доказательства, сгенерированные программой Range, для снижения затрат на проверку on-chain и предназначена для запуска в zkVM.
• OP Краткий выходной оракул уровня L2: Это смарт-контракт Solidity, который содержит массив выходных состояний L2, причем каждый выход представляет собой представление состояния цепи L2. Хотя этот контракт уже существует в исходной системе Optimism, он был изменен для использования доказательств верификации в качестве метода аутентификации.
• OP Краткий предлагающий: Этот компонент отслеживает пакеты транзакций, опубликованные на L1, и управляет доказательствами как для Программы диапазона, так и для Программы агрегации.

2.2 Какой нарратив OP Suincint представляет для масштабирования Ethereum?

Создание zkEVM Rollup представляет собой значительную сложность из-за необходимости обширных криптографических знаний. Команда OP Labs приняла это во внимание при разработке модульного стека OP, обеспечивая его совместимость с различными механизмами проверки. Они разработали проект с открытым исходным кодом под названием Kona (см. ссылку 1), который реализует функцию перехода состояния (STF) для Rollup OP Stack с использованием Rust. Это инновация позволяет генерировать доказательства нулевого разглашения (ZKP) для OP Stack через Kona и программу SP1, что в теории позволяет обновить все цепочки в OP Stack для использования ZKP.

SP1 (Succinct Processor 1) призван обеспечить возможность интеграции Type-1 zkEVM Rollup любым разработчиком с помощью стандартного кода Rust. С помощью OP Succinct обновление любой существующей цепочки OP Stack до Type-1 zkEVM Rollup можно выполнить всего за один час, обеспечив необходимую производительность для приложений. Этот подход предлагает несколько преимуществ:

• Быстрая подтверждение ZKP: задержки доказательств могут быть сокращены до нескольких минут, заменяя длительный 7-дневный период оспаривания доказательств мошенничества.
• Экономичность затрат: средние затраты на транзакцию можно снизить до нескольких центов.
• Переход стека OP к ZK: Развертывая один смарт-контракт и инициируя легкую службу OP Succinct proposer (как подробно описано ниже), доказательства могут быть сгенерированы через API-вызовы (включая компоненты, такие как батчеры/сортировщики, op-node, индексаторы и т. д.).
• Совместимость zkEVM типа 1: Все инструменты и смарт-контракты, совместимые с OP Stack Rollup, также будут работать с OP Succinct Rollup.
• Улучшенная масштабируемость: Настраиваемый OP Succinct rollup позволяет добавлять новые предварительные компиляции и изменять логику Rollup.

Согласно официальной документации GitHub, обновление любого существующего OP Stack Rollup до типа 1 zkEVM Rollup просто: установите Rust, Foundry и Docker, и выполните два шага: 1. Разверните контракт ZK L2OutputOracle.sol; 2. Запустите сервис OP Succinct proposer (более подробную информацию можно найти в GitHub расширенной ссылке 2).

Обновление OP Stack Rollup до ZK Proofs; Источник изображения: блог Succinct

2.3 Построение типа-1 zkEVM с SP1 Reth

Succinct предвидит, что будущее EVM Rollups будет включать поддерживаемые zkEVM, разработанные с использованием Rust. В настоящее время OP Rollup сталкивается с тремя значительными проблемами: продленным 7-дневным окном доказательства мошенничества, сложными проблемами взаимодействия и зависимостью от нескольких источников данных вместо доказательств мошенничества в определенных случаях. Кроме того, создание zkEVM является длительным процессом, что привело к разработке SP1 для решения этих проблем.

SP1 - это высокопроизводительная, полностью открытая zkVM, которая может проверять выполнение любой программы, написанной на Rust (или других языках, скомпилированных в LLVM). Общедоступные данные показывают, что OP Succinct Stack успешно работал на OP Mainnet, OP Sepolia и Base chains, достигая затрат на доказательства между $0.01 и $0.02 за транзакции Ethereum (см. расширенную ссылку 3). Существуют планы развивать всю инфраструктуру блокчейна (включая Rollups, мосты и сопроцессоры) с использованием Rust (или других языков, скомпилированных в LLVM) и использовать ZKP в будущем.

Согласно сводкам с блога Succinct и открытого контента на GitHub, различия в производительности между SP1 и другими zkVM могут быть объяснены несколькими ключевыми факторами:

1. Архитектура, ориентированная на предварительную компиляцию: SP1 обладает гибкой системой предварительной компиляции, которая значительно ускоряет различные операции (например, проверку подписи secp256k1 и ed25519, а также хеширование sha256 и keccak256), сокращая количество циклов для многих программ в 5-10 раз. Дизайн стремится обеспечить производительность на уровне схем ZK, сохраняя гибкость zkVM и обеспечивая положительный опыт разработчика.
2. Полностью открытый исходный код: SP1 полностью открытый исходный код, что позволяет командам, таким как Argument и Scroll, реализовывать настраиваемые предварительные компиляции, что может значительно сократить количество циклов и ускорить время генерации доказательств.
3. Стандарт отрасли: С момента своего появления концепция внутренних предварительных компиляций в рамках zkVM стала отраслевым стандартом и была принята в проектах, таких как RISC0, Valida, Nexus и Jolt. SP1 выделяется как единственная готовая к производству zkVM, широко поддерживающая основные криптографические операции через предварительные компиляции.
4. Эффективные операции памяти: SP1 использует инновационную технику проверки памяти, которая использует одно испытание для обеспечения последовательной памяти в нескольких доказательствах, что устраняет накладные расходы, связанные с памятью Меркля.
5. Основные оптимизации эффективности: они включают в себя более низкий коэффициент раздутия и параметры поиска следующего поколения (например, LogUp на основе логарифмических производных), а также вариант FRI в Plonky3, улучшающий эффективность отслеживания областей.

Источник изображения: Краткий блог, см. расширенную ссылку 4 описание приложения

3. Может ли OP Succinct стать ключевым преимуществом OP Stack по сравнению с ZK Stack?

Автор источника изображения: @jtguibas

Если мы рассмотрим масштабные решения Ethereum как наклоняющиеся к OP в краткосрочной перспективе и к ZK в долгосрочной перспективе, то, предполагая успешность OP Succinct, это будет значительным вехой в развитии Ethereum. OP Succinct предоставляет путь для ETH Rollups для перехода от оптимистичной верификации к доказательствам с нулевым разглашением. Этот переход не только снижает транзакционные издержки, но и увеличивает скорость транзакций, сохраняя при этом функции безопасности и анонимности ZK rollups, проложив путь для потенциального взлета приложений в будущем.

В настоящее время среди четырех крупных участников признанного пейзажа Layer 2 OP Stack, кажется, держит небольшое преимущество над ZK Stack в развитии экосистемы. Эффект Мэтью (где богатые становятся богаче) может стать более выраженным со временем; с присоединением OP Succinct к борьбе он может отвлечь некоторый трафик и потенциал от ZK Stack. Если OP Succinct будет успешно реализован, он также может в некоторой степени нарушить традиционные zkEVM Rollups.

Однако, основываясь на информации, доступной на данном этапе, ясно, что с точки зрения операционной логики OP Succinct важно обеспечить возможность быстрого обнаружения разработчиками неизвестных уязвимостей, которые могут возникнуть из-за изменений функции STF или добавления новых предварительных функций. Это проблема, требующая постоянного внимания.

Отказ от ответственности:

1. Эта статья взята из[blockbeat],Пересылка оригинального заголовка OP путь к продвижению: OP Succinct разблокирует потенциал ZK Rollup. Все авторские права принадлежат оригинальному автору [Ac-Core, исследователь YBB Capital]. Если есть возражения против этого перепечатывания, пожалуйста, свяжитесь сУчебный портал Gateкоманда, и они незамедлительно разберутся с этим.

2. Отказ от ответственности: Взгляды и мнения, высказанные в этой статье, являются исключительно мнениями автора и не представляют собой инвестиционных советов.

3. Переводы статьи на другие языки выполняются командой Gate Learn. Если не указано иное.Gate.io, копирование, распространение или плагиат переведенных статей запрещены.