TLDR

Основная функция OP Succinct - интеграция ZKP в модульную архитектуру OP Stack, преобразуя OP Stack Rollups в полностью проверенные ZK Rollups.

Если будущее масштабирование решения Ethereum заключается в преобразовании всех Rollups в ZK Rollups, OP Succinct нацелен на развертывание zkEVM типа 1 (полностью эквивалентного Ethereum) в рамках OP Stack с использованием Rust и SP1.

OP Краткий Заявитель достигает генерации доказательств параллельно с агрегацией и верификацией доказательств.

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

OP Succinct может значительно снизить транзакционные издержки.

1. Последний обзор: обновления OP Mainnet и отношения между OP Stack и OP Labs

Источник изображения: Blockscout

1.1 Ключевые события на главной сети OP

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

Для обеспечения безопасности и доверия к активам пользователей Optimism использует доказательства ошибок для проверки точности и действительности транзакций в цепочке и предотвращения злонамеренных действий. Основные принципы включают в себя:

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

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

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

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

• OP Labs: OP Labs - основной участник проекта Optimism, ответственный за разработку и поддержку решений Optimism Layer 2. Это команда или организация, посвященная созданию и улучшению технических инструментов, связанных с масштабированием Ethereum, таких как Optimistic Rollups. Основная цель OP Labs - снижение нагрузки на основную сеть Ethereum, снижение стоимости транзакций и увеличение скорости их проведения. 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 для быстрого создания различных расширительных сетей. Модульный дизайн позволяет пользователям гибко выбирать различные механизмы верификации (например, Optimistic Rollups или ZK Rollups) для удовлетворения потребностей различных проектов.

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

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

• op-geth: Собирает транзакции от пользователей, генерирует и выполняет блоки на основе этих транзакций.
• op-batcher: Собирает транзакции пользователей и отправляет их на уровень 1.
• op-node: Читает пакетные данные из Layer 1 и запускает op-geth для перехода в состояние в режиме не-последователя.
• оп-предлагающий: периодически публикует корни вывода на Уровне 1, захватывая состояния Уровня 2 и облегчая выводы.

2. Компания Succinct Labs сотрудничает с OP Labs для внедрения элементов ZK в стек OP

Источник изображения: блог Succinct

2.1 OP Краткие компоненты архитектуры

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

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

2.2 Как OP Succinct вписывается в Ethereum Scaling Narrative?

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

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

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

Согласно официальной документации на GitHub, для обновления любого существующего OP Stack rollup до Type-1 zkEVM rollup требуется только установить Rust, Foundry и Docker. Упрощенный процесс включает два шага:

• Разверните контракт ZK L2OutputOracle.sol.
• Запустите сервис кратких предложений OP (см. подробные шаги в ссылке 2 на GitHub расширение).

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

2.3 Создание типа-1 zkEVM с использованием SP1 Reth

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

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

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

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

Image Source: Краткий блог — См. Пояснение в приложении по ссылке 4

3. Может ли OP Succinct стать тузом в рукаве OP Stack против ZK Stack?

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

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

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

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

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

1. Эта статья взята из [YBB Capital]. Все авторские права принадлежат автору оригинала [Ac-Core]. Если есть возражения против этой репродукции, пожалуйста, свяжитесь с Gate Learn команды, и они оперативно с этим справятся.
2. Отказ от ответственности: Взгляды и мнения, выраженные в этой статье, являются исключительно мнением автора и не являются инвестиционным советом.
3. Переводы статьи на другие языки выполняются командой gate Learn. Если не указано иное, копирование, распространение или плагиат переведенных статей запрещено.