У декількох словах

• OP Succinct’s key feature is its ability to incorporate zero-knowledge proofs (ZKP) into the modular design of OP Stack, transforming OP Stack Rollup into a fully verified ZK Rollup.
• Якщо майбутня мета розширення Ethereum - перетворити всі Rollups у ZK Rollups, місія OP Succinct полягає в злитті Rust та SP1 для розгортання OP Stack Type-1 zkEVM, який повністю сумісний з Ethereum.
• OP Конкретний Пропонувач відповідає за генерацію доказів паралельно та їх агрегацію та перевірку.
• Поточна OP Stack система використовує "7-денне вікно запобігання шахрайству", яке затримує підтвердження транзакцій на тиждень у разі виникнення суперечок. OP Succinct використовує ZK-докази для скорочення часу, необхідного для завершення транзакцій, усуваючи вимогу до продовженого періоду запобігання шахрайству.
• OP Succinct має потенціал значно знизити витрати на транзакції.

1. Останній огляд: Поточний статус Основної мережі OP та ролі OP Stack та OP Labs

Джерело: Blockscout

1.1 Останні події на головній мережі OP

З 30 березня 2024 року OP Labs оголосили про випуск «непомилкового» на тестовій мережі OP Sepoila з офіційним запуском на головній мережі OP 11 червня 2024 року. Це є значним кроком на шляху до децентралізації, що дозволяє користувачам знімати ETH та токени ERC-20 з головної мережі OP без залежності від довіреної третьої сторони. Тепер користувачі можуть оскаржувати й недійсними робити неправильні зняття (включаючи ті з Base, Metal, Mode та Zora).

Для підвищення безпеки та довіри до активів користувачів, Оптимізм використовує доказ вади, щоб покращити точність та ефективність транзакцій на ланцюжку та запобігти зловмисної діяльності. Основні принципи:

• Доступність даних: Надійність забезпечує доступність всіх даних на рівні 2 і може бути перевірена на рівні 1.
• Період випробування: протягом визначеного періоду випробувань будь-хто може оскаржити дані рівня 2. Якщо будуть виявлені розбіжності між даними рівня 2 і рівня 1, може виникнути проблема.

Якщо виникає суперечка, оператор другого рівня повинен надати докази для відповіді на виклик і підтвердити точність своїх даних.

Завершення: Якщо під час періоду викликів не виникає жодних дійсних суперечок, або якщо оператор 2-го рівня успішно вирішує виклики, транзакція завершується і вважається дійсною.

1.2 Взаємозв'язок та відмінності між OP Stack та OP Labs

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

● OP Labs:

OP Labs - це основний учасник проекту Optimism, відповідальний за розробку та підтримку рішення Optimism Layer 2. Це команда або організація, що спрямована на створення та вдосконалення технічних інструментів, пов'язаних з масштабуванням Ethereum, таких як Optimistic Rollups. Основною метою OP Labs є зменшення навантаження на основну мережу Ethereum за допомогою рішень масштабування Layer 2, зменшення витрат на транзакції та збільшення швидкості транзакцій.

OP Labs також співпрацює з іншими проектами, такими як Succinct Labs, щоб подальшувати розвиток технології масштабування Ethereum, зосереджуючись на оптимізації доказів нуль-знань з ініціативами, такими як OP Succinct.

OP Labs - головна команда або організація, відповідальна за розробку та підтримку мережі Optimism. Їхня мета полягає в створенні ефективного рішення для масштабування Ethereum, зосереджуючись на зниженні комісій за транзакції та збільшенні швидкості транзакцій. Вони не тільки відповідають за розробку Optimistic Rollups, але також активно просувають нові технології, пов'язані з доказами відсутності інформації, такі як OP Succinct у співпраці з Succinct Labs.

● OP Stack:

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-пропозиція: Регулярно публікує вихідні корені на Layer 1 для захоплення станів Layer 2 (L2), що сприяє процесу виведення.

2. Співпраця між Succinct Labs та OP Labs для інтеграції ZK Elements у стек OP

Джерело: Короткий блог

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

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

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

2.2 Яку наративну модель OP стисло представляє для масштабування Ethereum?

Створення zkEVM Rollup є серйозною проблемою через необхідні широкі криптографічні знання. Команда OP Labs врахувала це при створенні модульного OP Stack, переконавшись, що він підтримує різні механізми валідності. Вони розробили проект з відкритим вихідним кодом під назвою Kona (див. розширене посилання 1), який реалізує функцію переходу стану (STF) для OP Stack Rollup за допомогою 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 (як описано нижче), докази можуть бути згенеровані через виклики API (включаючи компоненти, такі як пакувальники/сортувальники, вузли OP, індексатори тощо).
• Сумісність zkEVM першого типу: Всі інструменти та розумні контракти, сумісні з OP Stack Rollup, також працюватимуть з OP Succinct Rollup.
• Покращена масштабованість: Налаштований OP Succinct rollup дозволяє додавати нові попередні компіляції та змінювати логіку Rollup.

Згідно з офіційною документацією GitHub, оновлення будь-якого існуючого OP Stack Rollup до Type-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. Стандарт промисловості: З моменту свого запровадження концепція внутрішніх попередніх компіляцій у межах zkVMs стала стандартом промисловості, була прийнята в проектах, таких як RISC0, Valida, Nexus та Jolt. SP1 виділяється як єдиний готовий до виробництва zkVM, який широко підтримує основні криптографічні операції за допомогою попередніх компіляцій.
4. Ефективні операції пам'яті: SP1 використовує інноваційну техніку підтвердження пам'яті, яка використовує одне викликання, щоб забезпечити однорідність пам'яті в кількох підтвердженнях, що усуває накладні витрати, пов'язані з пам'яттю Мерклізованої.
5. Основні оптимізації ефективності: вона включає менший фактор розширення та параметри наступного покоління пошуку (наприклад, LogUp на основі логарифмічних похідних), разом з варіантом FRI в Plonky3, що покращує ефективність відстеження областей.

Джерело зображення: Підсумковий блог, див. розширене посилання 4 опису додатка

3. Чи може OP Succinct стати ключовою перевагою стеку OP у порівнянні зі стеком ZK?

Автор зображення: @jtguibas

Якщо розглядати рішення для масштабування Ethereum як такі, що схиляються до OP у короткостроковій перспективі та ZK у довгостроковій, то, за умови, що OP Succinct буде успішним, це ознаменує значну віху в розвитку Ethereum. OP Succinct забезпечує шлях для ETH Rollups до переходу від оптимістичної перевірки до доказів з нульовим розголошенням. Цей перехід не тільки знижує транзакційні витрати, але й підвищує швидкість транзакцій, зберігаючи при цьому функції безпеки та анонімності ZK-ролапів, прокладаючи шлях до потенційного сплеску заявок у майбутньому.

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

Однак, виходячи з інформації, доступної на цьому етапі, з операційної логіки OP Стисло зрозуміло, що забезпечення розробниками можливості швидкого виявлення невідомих вразливостей, які можуть виникнути через зміни функції STF або додавання нових функцій попередньої компіляції, має вирішальне значення. Це питання, яке потребує постійної уваги.

Disclaimer：

1. Цей статтю перепрошито з[blockbeat],Forward the Original Title OP Stack’s path to advancement: OP Succinct unlocks the potential of ZK Rollup, All copyrights belong to the original author [Ac-Core，YBB Capital Researcher]. If there are objections to this reprint, please contact the Gate Learnкоманда, і вони оперативно цим займуться.

2. Відмова відповідальності: Думки і погляди, висловлені в цій статті, є виключно думками автора і не становлять жодної інвестиційної поради.

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