Укратка

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

Якщо майбутнє масштабування Ethereum полягає у перетворенні всіх Rollups на ZK Rollups, OP Succinct має на меті розгорнути Type-1 zkEVM (повністю еквівалентний Ethereum) в межах OP Stack, використовуючи Rust і SP1.

OP Короткий пропонувач досягає генерації доказів паралельно, разом з агрегацією та перевіркою доказів.

Існуюча система OP Stack ґрунтується на "вікно 7-денної безпечності від шахрайства", що спричиняє затримки у проведенні транзакцій у разі виникнення суперечок. OP Succinct скорочує час остаточності транзакцій за допомогою ZK-доказів, усуваючи потребу в розширеному вікні безпечності від шахрайства.

OP Коротка може значно зменшити витрати на транзакції.

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 Stack та OP Labs

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 Sucinct, який зосереджений на оптимізації доказів з нульовим розголошенням.

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

• OP Stack: OP Stack - це модульна архітектура або технічний стек, який використовується для побудови та масштабування мереж Ethereum Layer 2. Він складається з кількох налаштовуваних компонентів, що дозволяють розробникам будувати власні ланцюги Layer 2 відповідно до конкретних вимог. Він забезпечує стандартизований підхід для розробників щодо швидкого налаштування мереж розширення Layer 2, призначених для певних умов.

OP Stack, розроблений OP Labs, пропонує модульну структуру, яка забезпечує основну інфраструктуру для побудови мереж другого рівня. Розробники можуть використовувати OP Stack для швидкого створення різних розширювальних мереж. Модульний дизайн дозволяє користувачам гнучко вибирати різні механізми верифікації (наприклад, Оптимістичні Ролапи або ZK Ролапи) для відповідності потребам різних проектів.

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

Перед тим як поглиблюватися в OP Succinct, важливо представити чотири основні компоненти кожного OP Stack:

• op-geth: Збирає транзакції від користувачів і генерує та виконує блоки на основі цих транзакцій.
• op-batcher: пакетирує транзакції користувача та відправляє їх на рівень 1.
• op-node: Зчитує пакетні дані з рівня 1 та приводить op-geth до переходу у стан неконсолідатора.
• op-proposer: Періодично публікує корені виводу на Layer 1, затримуючи стани Layer 2 та сприяючи виводам.

2. Succinct Labs співпрацює з OP Labs для впровадження ZK Elements в OP Stack

Джерело зображення: Короткий блог

2.1 OP Компоненти лаконічної архітектури

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

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

2.2 Як OP Succinct вписується в історію масштабування Ethereum?

Побудова zkEVM Rollups була складною через великий обсяг криптографічних знань, необхідних для цього. Коли OP Labs розробили модульний OP Stack, вони передбачали підтримку різних механізмів підтвердження. Для цього вони опублікували відкритий код розробки Kona (див. розширене посилання 1), щоб реалізувати STF OP Stack Rollups за допомогою Rust, що в кінцевому підсумку дозволяє генерувати докази нульового знання (ZKP) для OP Stack через Kona та програму SP1. Це означає, що в теорії будь-який ланцюжок OP Stack може бути оновлений для використання ZKP.

Мета SP1 (Стислий процесор 1) — дозволити розробникам безперешкодно інтегрувати зведені пакети zkEVM Type-1 за допомогою стандартного коду Rust. За допомогою OP Consinct процес оновлення будь-якого існуючого ланцюга OP Stack до зведення zkEVM типу 1 може бути завершений протягом однієї години, пропонуючи такі переваги:

• Швидке підтвердження ZKP: Зменшує затримки у доведенні до кількох хвилин, замінюючи 7-денне вікно для суперечок з фальсифікацією.
• Вартість ефективності: середні витрати на транзакцію знижуються до всього кількох центів.
• Перемикання стеку OP на ZK: Шляхом розгортання розумного контракту та запуску легкого сервісу OP Succinct пропозиції можна генерувати дзвінками API (включаючи пакетну обробку/послідовник, op-вузол, індексатор та інше).
• Тип-1 zkEVM: Всі інструменти та смарт-контракти, сумісні з OP Stack Rollups, сумісні з OP Succinct Rollups.
• Збільшена масштабованість: настроюваний OP Succinct rollup може додавати нові попередні компіляції та змінювати логіку Rollup за потреби.

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

• Розгорнути контракт ZK L2OutputOracle.sol.
• Запустіть сервіс OP Succinct proposal (див. посилання на розширення GitHub 2 для детальних кроків).

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

2.3 Будуємо Type-1 zkEVM за допомогою SP1 Reth

Лаконічно вважає, що майбутнє EVM Rollups лежить за zkEVM, написаним на мові Rust, що забезпечує кращу ремонтопридатність. Наразі OP Rollups стикаються з трьома основними проблемами: тривале 7-денне вікно захисту від шахрайства, складна сумісність і залежність від механізмів багатогрупових даних у деяких випадках, а не доказів шахрайства. Розробка zkEVM є довгостроковою справою, тому SP1 був створений для вирішення цих проблем.

SP1 — це високопродуктивна, повністю настроювана zkVM, яка на 100% складається з відкритого вихідного коду. Він може перевіряти виконання довільних програм Rust (або LLVM-скомпільованих). Згідно з публічними даними, OP Succinct Stack успішно працює в OP Mainnet, OP Sepolia та Base chain, а витрати на підтвердження транзакцій коливаються від 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 покращує ефективність використання області сліду.

Джерело зображення: Короткий блог - Дивіться пояснення в додатковому посиланні 4

3. Чи може OP Succinct стати трамповою карткою OP Stack проти ZK Stack?

Кредит за зображення: @jtguibas

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

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

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

Увага:

1. Цю статтю перепечатано з [ YBB Capital]. Усі авторські права належать оригінальному автору [Ac-Core]. Якщо є заперечення до цього видруку, будь ласка, зв'яжіться з gate Learnкоманда, і вони оперативно цим займуться.
2. Відповідальність за відмову: Погляди та думки, висловлені в цій статті, є виключно тими, що належать автору і не становлять жодної інвестиційної поради.
3. Переклади статті на інші мови виконуються командою вивчення воріт. Якщо не зазначено, копіювання, поширення або плагіатування перекладених статей заборонене.