Původní název: (Cesta OP Stack k postupu: OP Succinct odemyká potenciál ZK Rollup)

Původní autor: Ac-Core, YBB Capital Researcher

TL;DR

● Hlavní funkcí poskytovanou OP Succinct je integrace ZKP do modulární architektury OP Stack za účelem dokončení konverze OP Stack Rollup na plně ověřený ZK Rollup;

● Pokud má budoucí rozšíření Etherea převést každý Rollup na ZK Rollup, účelem OP Succinct je zkombinovat Rust a SP1 za účelem realizace nasazení OP Stack Type-1 zkEVM (plný ekvivalent Etherea);

● OP Succinct Proposer dokončuje především paralelní generování důkazů a agregaci a ověřování důkazů;

● Stávající systém OP Stack se opírá o „7denní anti-fraud window“ Pokud dojde ke sporu, OP Succinct používá ZK proof ke zkrácení času potřebného pro dokončení transakce a eliminaci potřeba rozšířit okno proti podvodům;

● OP Succinct může výrazně snížit transakční náklady.

1. Nedávná revize: Aktuální stav OP Mainnet a OP Stack a OP Labs

Zdroj: Blockscout

1.1 Nejdůležitější momenty posledního vývoje OP Mainnet

Podle zpráv z 30. března 2024 OP Labs vydalo „chybový důkaz“ na testovací síti OP Sepoila a 11. června 2024 oficiálně vydalo důkaz o závadě na OP Mainnet, čímž postoupilo decentralizaci do první fáze umožňuje výběr tokenů ETH a ERC-20 z OP Mainnet, což uživatelům umožňuje zpochybnit a odstranit neplatné výběry (včetně Base, Metal, Mode a Zora) bez potřeby důvěryhodné třetí strany.

Aby byla zajištěna bezpečnost a důvěryhodnost uživatelských aktiv, Optimism používá důkaz o selhání ke zlepšení přesnosti a efektivity transakcí v řetězci a k ​​zamezení nekalého jednání.

● Dostupnost dat: Důkaz selhání nejprve zajistí, že všechna data na vrstvě 2 jsou přístupná a lze je ověřit na vrstvě 1;

● Období výzvy: Během určitého období výzvy může kdokoli vznést námitky k údajům na vrstvě 2.

Pokud někdo zjistí, že data vrstvy 2 nejsou konzistentní s daty vrstvy 1, může to napadnout. Podání certifikace: Pokud existují námitky, musí provozovatel vrstvy 2 předložit certifikaci, aby tyto námitky vyvrátil a prokázal správnost svých údajů Finalita: Pokud ve lhůtě výzvy nejsou žádné platné námitky, nebo operátor vrstvy 2 úspěšně; odmítne její námitku, transakce bude dokončena a považována za platnou.

1.2.Vztah a rozdíl mezi OP Stack a OP Labs

OP Labs je tým nebo organizace, která vyvíjí řešení Optimism, zatímco OP Stack je technický rámec pro budování a škálování sítě Ethereum Layer 2. Vztah mezi OP Labs a OP Stack lze chápat jako vztah mezi vývojáři a jejich vývojovými nástroji.

●      OP Labs:

OP Labs je hlavním přispěvatelem do projektu Optimism a je zodpovědná za vývoj a údržbu sekundárních řešení Optimism. Je to tým nebo organizace zaměřená na budování a zlepšování technických nástrojů souvisejících se škálováním Etherea, jako jsou Optimistic Rollups. Hlavním cílem OP Labs je snížit zátěž mainnetu Ethereum, snížit transakční náklady a zvýšit rychlost transakcí prostřednictvím škálovacích řešení vrstvy 2. OP Labs také spolupracuje s dalšími projekty, jako je Succinct Labs, na dalším rozvoji technologie škálování Ethereum, jako je OP Succinct, který se zaměřuje na optimalizaci důkazů s nulovými znalostmi.

OP Labs je primární tým nebo organizace, která vyvíjí a udržuje síť optimismu. Jejich cílem je vybudovat efektivní řešení pro škálování Etherea se zaměřením na snížení transakčních poplatků a zvýšení transakční rychlosti. Nejen, že jsou zodpovědní za vývoj Optimistic Rollups, ale také aktivně propagují nové technologie související s důkazy s nulovými znalostmi, jako je OP Succiinc ve spolupráci se Succinct Labs.

●      Sada OP:

OP Stack je modulární architektura nebo technologický stack používaný k vybudování a rozšíření sítě Ethereum Layer 2. Skládá se z několika přizpůsobitelných komponent, které umožňují vývojářům sestavit si svůj vlastní Layer 2 Chain podle specifických potřeb. Poskytuje standardizovanou metodu, která umožňuje vývojářům rychle vybudovat rozšiřující síť vrstvy 2 splňující specifické podmínky.

OP Stack je modulární rámec vyvinutý společností OP Labs. Tento rámec poskytuje infrastrukturu pro budování sítě druhé vrstvy Vývojáři mohou používat OP Stack k rychlému budování různých rozšířených sítí. Díky modulárnímu designu OP Stack umožňuje uživatelům flexibilně volit různé ověřovací mechanismy (jako Optimistic Rollups nebo ZK Rollups), aby vyhovovaly potřebám různých projektů.

OP Labs lze chápat jako vývojáře OP Stack OP Stack je technický nástroj poskytovaný OP Labs, který pomáhá vývojářům budovat a rozšiřovat síť druhé vrstvy Ethereum.

Než pochopíte OP Succinct, musíte dodatečně porozumět čtyřem hlavním komponentám každého zásobníku OP: 1. op-geth: získávání transakcí od uživatelů a pomocí těchto transakcí generuje bloky a spouští bloky 2. op-batcher: převádí uživatele Transakce jsou dávkovány a předávány L1 3. op-node: čte dávková data z L1 a řídí op-geth pro přechod do stavu v režimu bez sekvenceru 4. op-proposer: pravidelně publikuje výstup do L1 pro zachycení stavu L2; snadné zpracování výběrů.

2. Succinct Labs a OP Labs spolupracují na vložení prvků ZK do OP Stack

Zdroj: Succinct Blog

2.1OP Stručná kompozice architektury

V kombinaci s obsahem na konci kapitoly 1.2 výše „Čtyři hlavní komponenty OP Stack“ je OP Succinct odlehčenou aktualizací OP Stack, která umožňuje řetězci používat pouze bloky ověřené ZK, zatímco ostatní tři komponenty zůstávají nezměněny (op -geth, op-batcher a op-node), OP Succinct se skládá hlavně z následujících čtyř:

● Range Program: Toto je program, který provádí dávkové bloky. Tento program je napsán v Rustu a je navržen tak, aby byl spouštěn v zkVM;

● Agregační program.: Program Proof of agregation range pro snížení nákladů na ověření v řetězci Tento program je také napsán v Rustu a je navržen pro spuštění v zkVM;

● OP Succinct L2 Output Oracle.: Inteligentní smlouva Solidity, která obsahuje pole výstupů stavu L2, kde každý výstup je potvrzením stavu řetězce L2. Tato smlouva již existovala v původním systému Optimism, ale byla upravena tak, aby jako ověřovací mechanismus používala proof-of-verification;

● OP Succinct Proposer: Sledujte transakční dávky zveřejněné na L1 a kontrolujte důkaz programu rozsahu a programu agregace.

2.2 Jaký druh příběhu o expanzi Etherea OP Succinct vypráví?

zkEVM Rollup je velmi obtížné vytvořit kvůli hlubokým znalostem v oblasti kryptografie Při vytváření modulárního OP Stack zvažoval tým OP Labs podporu důkazu různých mechanismů platnosti a vyvinul Kona (viz rozšířený odkaz 1) jako open source, aby prošel Rustem. Implementovat funkci stavového přechodu STF (funkční logika přechodu stavu transakce) v rámci OP Stack Rollup a nakonec pomocí programů Kona a SP1 vygenerovat důkaz nulových znalostí OP Stack (ZKP), to znamená, že teoreticky mohou být všechny řetězce OP Stack upgradováno A může používat ZKP.

Cílem SP1 (Succinct Processor 1) je umožnit jakémukoli vývojáři bezproblémově integrovat Rollup Type-1 zkEVM pomocí standardního kódu Rust a hladce upgradovat jakýkoli stávající řetězec OP Stack za pouhou 1 hodinu prostřednictvím OP Succinct Je to Rollup Type-1 zkEVM a poskytuje vysoký výkon požadovaný aplikací. To poskytuje následující výhody:

● Rychlé potvrzení ZKP: zkraťte prodlevu certifikace na desítky minut, abyste „nahradili“ 7denní období výzvy k certifikaci podvodu;

● Snížení nákladů a zlepšení efektivity: průměrné náklady na každou transakci jsou jen několik centů;

● Přepněte OP Stack na ZK: Stačí nasadit chytrou smlouvu a spustit odlehčenou službu OP Succinct (viz níže) pro generování důkazů (včetně dávkového procesoru/sekvenátoru, op-node, indexu) prostřednictvím zařízení pro volání API atd.);

● Typ-1 zkEVM: Všechny nástroje a smart kontrakty kompatibilní s OP Stack Rollup jsou vhodné pro OP Succinct Rollup;

● Zlepšení škálovatelnosti: Pomocí přizpůsobitelného souhrnu OP Succinct lze přidat novou předkompilaci a upravit logiku souhrnu.

Podle oficiálního GitHubu proces vyžaduje pouze instalaci Rust, Foundry a Docker a jakýkoli existující OP Stack rollup může být upgradován na Type-1 zkEVM rollup a proces je zjednodušen pouze na dva kroky: 1. Nasazení ZK smlouva L2OutputOracle.sol 2. Spusťte službu návrhu OP Succinct (proces viz odkaz na rozšíření GitHub 2).

Upgrade OP Stack Rollup na ZK proof, zdroj: Stručný blog

2.3 Budova typu 1 zkEVM s použitím SP1 Reth

Succinct věří, že budoucností EVM Rollup bude udržovatelný zkEVM napsaný v jazyce Rust. V současné době OP Rollup čelí především třem problémům: příliš dlouhé 7denní období ochrany proti podvodům, složitá interoperabilita a v některých případech spoléhání na více skupin. nikoli mechanismy odolné proti podvodům. Vytváření zkEVM je navíc zdlouhavý proces, proto byl vyvinut SP1, který tyto problémy řeší.

SP1 je vysoce výkonný 100% open source a plně open source přizpůsobený zkVM, který dokáže ověřit spuštění jakéhokoli programu Rust (nebo kompilovaného jazyka LVM) Podle veřejných údajů OP Succinct Stack úspěšně běžel na OP Mainnet, OP Sepolia a Base chains , a dosáhla důkazní náklady 0,01-0,02 $ v transakcích Ethereum (viz rozšířený odkaz 3). A doufat, že v budoucnu bude veškerá infrastruktura blockchainu (včetně Rollupů, mostů, koprocesorů atd.) napsána v Rustu (nebo jiných jazycích kompilovaných LLVM) a bude využívat ZKP.

Podle shrnutí blogu Succinct a obsahu open source GitHubu je rozdíl ve výkonu mezi SP1 a ostatními zkVM způsoben hlavně několika klíčovými faktory:

1. Architektura zaměřená na předkompilaci: SP1 podporuje flexibilní systém předkompilace, který může výrazně urychlit různé operace (jako je ověření podpisu secp256k1 a ed25519, hašovací funkce sha256 a keccak256), čímž se u mnoha programů zrychlují časy cyklu RISC-V Snížit 5- 10krát. Jeho konstrukčním cílem je poskytovat výkon srovnatelný s obvody ZK při zachování flexibility a dobrých vývojářských zkušeností zkVM;

2. Zcela open source: SP1 je 100% open source, což umožňuje týmům, jako je Argument a Scroll, implementovat vlastní předkompilaci, což výrazně snižuje počet cyklů a zrychluje dobu generování důkazů;

3. Průmyslový standard: Od svého zavedení se koncept předkompilace v rámci zkVM stal průmyslovým standardem integrovaným do projektů jako RISC0, Valida, Nexus a Jolt. SP1 je jediný zkVM připravený na produkci s rozsáhlou podporou předkompilace pro kritické kryptografické operace;

4. Efektivní čtení a zápis do paměti: SP1 využívá inovativní metodu ověření paměti pomocí jediné výzvy k dosažení konzistentní paměti pro vícenásobné ověření, čímž se vyhne režii způsobené pamětí Merkleized;

5. Základní optimalizace efektivity: Použitím nižších zvětšovacích faktorů a nové generace vyhledávacích parametrů (jako je LogUp na základě logaritmických derivací), stejně jako varianta FRI v Plonky3, se zlepšila efektivita využití oblasti sledování.

Zdroj obrázků: Stručný blog, viz rozšířený odkaz 4 popis přílohy

3. Může být OP Succinct trumfem OP Stacku proti ZK Stacku?

Autor obrázku: @jtguibas

Pokud se plán expanze Etherea podívá na OP v krátkodobém horizontu a ZK v dlouhodobém horizontu, bude to považováno za důležitý milník na cestě rozvoje Etherea, za předpokladu, že OP Succinct může uspět. OP Succinct poskytuje upgradovatelnou cestu pro ETH Rollups pro převod z optimistického ověření na důkaz s nulovými znalostmi. To nejen snižuje transakční náklady, ale také zvyšuje rychlost transakcí a také zachovává vlastnosti zabezpečení a anonymity ZK rollups, což poskytuje budoucí řešení aplikační vrstvy Ohniska přinášejí nové možnosti.

Mezi uznávanými čtyřmi králi Layer 2 je OP Stack o něco lepší než ZK Stack, pokud jde o ekologický vývoj projektu, v budoucnu se může dále objevit Matthewův efekt do určité míry návštěvnosti a potenciálu, pokud se podaří OP Succinct v budoucnu realizovat, může mít určitý dopad i na tradiční rollup zkEVM.

Podle toho, co se v této fázi veřejně uvádí, však není těžké z provozní logiky OP Succinct zjistit, jak zajistit, aby vývojáři při úpravách funkcí STF nebo přidávání nových předkompilovaných funkcí rychle odhalili systémová rizika způsobená neznámými zranitelnostmi. To vyžaduje, abychom se dlouhodobě soustředili.

Odkaz na rozšíření:

（1）https://github.com/anton-rs/kona?ref=blog.succinct.xyz

(2) https://github.com/succinctlabs/op-succinct

（3）https://blog.succinct.xyz/sp1-reth/

（4）https://blog.succinct.xyz/introducing-sp1/

Tento článek pochází z příspěvku a nereprezentuje názory BlockBeats.