作者：YBB Capital Researcher Ac-Core
TL;DR
Funcția principală oferită de OP Succinct este de a integra ZKP în arhitectura modulară a OP Stack pentru a finaliza conversia OP Stack Rollup într-un ZK Rollup complet verificat;
Dacă finalul expansiunii viitoare a Ethereum este de a converti fiecare Rollup într-un Rollup ZK, scopul OP Succinct este de a combina Rust și SP1 pentru a implementa OP Stack zkEVM (echivalent complet Ethereum) de tip 1;
OP Succinct Proposer finalizează în principal generarea paralelă de dovezi și agregarea și verificarea probelor;
Sistemul existent al OP Stack se bazează pe o „fereastră antifraudă de 7 zile”, în cazul în care apare o dispută, verificarea tranzacției va fi amânată pentru o săptămână, OP Succinct utilizează dovada ZK pentru a scurta timpul necesar pentru finalizarea tranzacției. fereastra antifrauda extinsa;
OP Succinct poate reduce semnificativ costurile de tranzacție.
1. Revizuire recentă: situația actuală a OP Mainnet și OP Stack și OP Labs
Sursa: Blockscout
1.1 Principalele dezvoltări recente ale OP Mainnet
Potrivit știrilor din 30 martie 2024, OP Labs a lansat o „dovadă a erorilor” pe rețeaua de testare OP Sepoila și a lansat oficial o dovadă a erorilor pe OP Mainnet pe 11 iunie 2024, avansând astfel descentralizarea la prima etapă permite retragerea jetoanelor ETH și ERC-20 din OP Mainnet, permițând utilizatorilor să conteste și să șteargă retragerile nevalide (inclusiv Base, Metal, Mode și Zora) fără a fi nevoie de o terță parte de încredere.
Pentru a asigura securitatea și încrederea activelor utilizatorilor, Optimism folosește dovezile de eșec pentru a îmbunătăți acuratețea și eficacitatea tranzacțiilor în lanț și pentru a preveni acțiunile rele.
Disponibilitatea datelor: proba de eșec asigură mai întâi că toate datele de pe Layer-2 sunt accesibile și pot fi verificate de Layer-1;
Perioada de provocare: într-o anumită perioadă de provocare, oricine poate ridica obiecții la datele de pe Stratul-2.
Dacă cineva constată că datele Layer-2 sunt incompatibile cu datele Layer-1, le poate contesta. Prezentarea certificării: Dacă există obiecții, operatorul Layer-2 trebuie să depună o certificare pentru a respinge aceste obiecții și a dovedi corectitudinea datelor sale Finalitate: Dacă nu există obiecții valide în perioada de contestare, sau operatorul Layer-2 cu succes; respinge obiecția, tranzacția va fi finalizată și considerată valabilă.
1.2.Relația și diferența dintre OP Stack și OP Labs
OP Labs este o echipă sau organizație care dezvoltă soluții Optimism, în timp ce OP Stack este un cadru tehnic pentru construirea și extinderea rețelei Ethereum Layer 2. Relația dintre OP Labs și OP Stack poate fi înțeleasă ca relația dintre dezvoltatori și instrumentele lor de dezvoltare.
OP Labs:
OP Labs este un contributor principal la proiectul Optimism și este responsabil pentru dezvoltarea și menținerea soluțiilor de nivel al doilea Optimism. Este o echipă sau organizație concentrată pe construirea și îmbunătățirea instrumentelor tehnice legate de scalarea Ethereum, cum ar fi Optimistic Rollups. Scopul principal al OP Labs este de a reduce sarcina pe rețeaua principală Ethereum, de a reduce costurile de tranzacție și de a crește viteza tranzacțiilor prin soluții de scalare de nivel 2. OP Labs colaborează și cu alte proiecte, cum ar fi Succinct Labs, pentru a avansa în continuare tehnologia de scalare Ethereum, cum ar fi OP Succinct, care se concentrează pe optimizarea dovezilor cu cunoștințe zero.
OP Labs este echipa sau organizația principală care dezvoltă și întreține Optimism Network. Scopul lor este de a construi o soluție eficientă pentru scalarea Ethereum, concentrându-se pe reducerea taxelor de tranzacție și creșterea vitezei tranzacțiilor. Nu numai că sunt responsabili pentru dezvoltarea Optimistic Rollups, ci și promovează în mod activ noile tehnologii legate de dovezile zero-knowledge, cum ar fi OP Succiinc în parteneriat cu Succinct Labs.
Stiva OP:
OP Stack este o arhitectură modulară sau o stivă tehnologică utilizată pentru a construi și extinde rețeaua Ethereum Layer 2. Este format din mai multe componente personalizabile care permit dezvoltatorilor să-și construiască propriul Layer 2 Chain în funcție de nevoile specifice. Oferă o metodă standardizată care permite dezvoltatorilor să construiască rapid o rețea de extensie Layer 2 care îndeplinește condiții specifice.
OP Stack este un cadru modular dezvoltat de OP Labs. Acest cadru oferă infrastructura pentru construirea unei rețele de al doilea nivel. Dezvoltatorii pot folosi OP Stack pentru a construi rapid diferite rețele extinse. Datorită designului modular al OP Stack, acesta permite utilizatorilor să aleagă în mod flexibil diferite mecanisme de verificare (cum ar fi Optimistic Rollups sau ZK Rollups) pentru a răspunde nevoilor diferitelor proiecte.
OP Labs poate fi înțeles ca dezvoltatorii OP Stack OP Stack este un instrument tehnic oferit de OP Labs pentru a ajuta dezvoltatorii să construiască și să extindă rețeaua de al doilea nivel a Ethereum.
Înainte de a înțelege OP Succinct, trebuie să înțelegeți în plus cele patru componente principale ale fiecărei stive OP: 1. op-geth: obțineți tranzacții de la utilizatori și utilizați aceste tranzacții pentru a genera blocuri și a executa blocuri 2. op-batcher: convertiți-le utilizatorului; Tranzacțiile sunt grupate și trimise la L1 3. op-node: citește datele batch din L1 și conduce op-geth pentru tranziția de stare în modul non-sequencer 4. op-proposer: publică în mod regulat rezultatul la L1 pentru a captura starea L2; procesare ușoară a retragerilor.
2. Succinct Labs și OP Labs lucrează împreună pentru a injecta elemente ZK în OP Stack
Sursa: Succint Blog
2.1 OP Compoziție succintă a arhitecturii
Combinat cu „Patru componente principale ale stivei OP” de la sfârșitul capitolului 1.2 de mai sus, OP Succinct este o actualizare ușoară a stivei OP, permițând lanțului să folosească numai blocuri verificate de ZK, păstrând în același timp celelalte trei componente neschimbate (op -geth , op-batcher și op-node), OP Succinct constă în principal din următoarele patru:
Program Range: Acesta este un program care execută bucăți de lot. Acest program este scris în Rust și proiectat pentru a fi executat în zkVM;
Program de agregare.: Un program de dovadă a intervalului de agregare pentru a reduce costurile de verificare în lanț. Acest program este, de asemenea, scris în Rust și este conceput pentru a fi executat în zkVM;
OP Succinct L2 Output Oracle.: Un contract inteligent Solidity care conține o serie de ieșiri de stare L2, în care fiecare ieșire este un commit pentru starea lanțului L2. Acest contract exista deja în sistemul original al Optimism, dar a fost modificat pentru a utiliza dovada de verificare ca mecanism de autentificare;
OP Succinct Proposer: Observă loturile de tranzacții publicate pe L1 și controlează dovezile programului scope și programului de agregare.
2.2 Ce fel de narațiune de expansiune Ethereum spune OP Succinct?
zkEVM Rollup este foarte dificil de construit din cauza expertizei profunde în criptare. Când construiește stiva modulară OP, echipa OP Labs a luat în considerare sprijinirea dovezii diferitelor mecanisme de valabilitate și a dezvoltat Kona (vezi linkul extins 1) ca o sursă deschisă pentru a trece Rust. Pentru a implementa funcția de tranziție a stării STF (logica funcției de tranziție a stării tranzacției) în OP Stack Rollup și, în cele din urmă, utilizați programele Kona și SP1 pentru a genera dovada de cunoștințe zero a OP Stack (ZKP), adică, teoretic, toate lanțurile de OP Stack pot fi actualizat Și poate folosi ZKP.
Scopul SP1 (Succinct Processor 1) este de a permite oricărui dezvoltator să integreze perfect tipul 1 zkEVM rollup folosind codul Rust standard și să actualizeze fără probleme orice lanț OP Stack existent în doar 1 oră prin OP Succinct. Este un pachet zkEVM de tip 1 și oferă performanța ridicată cerută de aplicație. Aceasta oferă următoarele avantaje:
Confirmarea rapidă a ZKP: scurtați întârzierea de certificare la zeci de minute pentru a „înlocui” perioada de provocare a certificării fraudelor de 7 zile;
Reduceți costurile și creșteți eficiența: costul mediu al fiecărei tranzacții este de doar câțiva cenți;
Comutați OP Stack la ZK: Doar implementați un contract inteligent și începeți un serviciu ușor de propunere OP Succinct (vezi mai jos) pentru a genera dovezi prin apeluri API (inclusiv procesor/sequencer batch, op-node, indexator etc.);
Type-1 zkEVM: Toate instrumentele și contractele inteligente compatibile cu OP Stack Rollup sunt potrivite pentru OP Succinct Rollup;
Îmbunătățiți scalabilitatea: Folosind pachetul personalizabil OP Succinct, poate fi adăugată o nouă precompilare și logica Rollup poate fi modificată.
Conform GitHub-ului oficial, procesul necesită doar instalarea Rust, Foundry și Docker, iar orice pachet OP Stack existent poate fi actualizat la un pachet zkEVM de tip 1, iar procesul este simplificat la doar doi pași: 1. Implementați Contractul ZK L2OutputOracle.sol 2. Porniți serviciul de propunere OP Succinct (consultați linkul de extensie GitHub 2 pentru proces);
Actualizați OP Stack Rollup la ZK proof, sursa: blogul Succinct
2.3 Construiți zkEVM de tip 1 utilizând SP1 Reth
Succinct consideră că viitorul EVM Rollup va fi un zkEVM care poate fi întreținut, scris în limbajul Rust. În prezent, OP Rollup se confruntă în principal cu trei probleme: o fereastră prea lungă de 7 zile, interoperabilitate complexă și, în unele cazuri, dependența de mai multe grupuri. nu mecanisme rezistente la fraudă. În plus, crearea zkEVM este un proces îndelungat, astfel încât SP1 a fost dezvoltat pentru a rezolva aceste probleme.
SP1 este un zkVM personalizat de înaltă performanță, 100% open source și complet open source, care poate verifica execuția oricărui program Rust (sau limbaj compilat LVM) Conform datelor publice, OP Succinct Stack a rulat cu succes pe OP Mainnet, OP Sepolia și. Lanțuri de bază și a atins un cost proba de 0,01-0,02 USD în tranzacții cu Ethereum (a se vedea linkul extins 3). Și se speră ca în viitor toată infrastructura blockchain (inclusiv Rollup, bridge-uri, co-procesoare etc.) să fie scrisă în Rust (sau alte limbaje compilate LLVM) și să utilizeze ZKP.
Conform unui rezumat al blogului Succinct și al conținutului GitHub open source, diferența de performanță dintre SP1 și alte zkVM-uri este cauzată în principal de mai mulți factori cheie:
Arhitectură centrată pe precompilare: SP1 acceptă un sistem flexibil de precompilare care poate accelera semnificativ multe operațiuni (cum ar fi verificarea semnăturii secp256k1 și ed25519, funcțiile hash sha256 și keccak256), reducând timpii ciclului RISC-V cu 5 pentru multe programe - de 10 ori. Scopul său de proiectare este de a oferi performanțe comparabile cu circuitele ZK, menținând în același timp flexibilitatea și experiența bună de dezvoltator a zkVM;
Sursă complet deschisă: SP1 este 100% sursă deschisă, permițând echipelor precum Argument și Scroll să implementeze precompilarea personalizată, reducând semnificativ numărul de cicluri și accelerând timpul de generare a dovezilor;
Standard industrial: De la introducerea sa, ideea de precompilare în cadrul zkVM a devenit un standard industrial, încorporat în proiecte precum RISC0, Valida, Nexus și Jolt. SP1 este singurul zkVM pregătit pentru producție cu suport extins de precompilare pentru operațiuni criptografice critice;
Citirea și scrierea eficientă a memoriei: SP1 adoptă o metodă inovatoare de verificare a memoriei, folosind o singură provocare pentru a obține o memorie consistentă pentru dovezi multiple, evitând suprasarcina cauzată de memoria Merkleized;
Optimizarea eficienței de bază: Utilizarea îmbunătățită a zonelor de urmărire cu factori de explozie mai mici și parametrii de căutare de nouă generație (cum ar fi LogUp bazat pe derivate logaritmice), precum și variantele FRI în Plonky3.
Sursă imagine: blog succint, vezi descrierea anexă a linkului extins 4
3. Poate OP Succinct să devină atuul lui OP Stack împotriva ZK Stack?
Autor sursa imaginii: @jtguibas
Dacă planul de expansiune al lui Ethereum privește OP pe termen scurt și ZK pe termen lung, presupunând că OP Succinct poate reuși, va fi privit ca o piatră de hotar importantă în calea de dezvoltare a Ethereum. OP Succinct oferă o cale de actualizare pentru ETH Rollups pentru a se converti de la verificarea optimistă la o dovadă de cunoștințe zero. Acest lucru nu numai că reduce costurile de tranzacție, dar crește și viteza tranzacției . Focarele aduc noi posibilități.
Printre cei patru regi recunoscuți ai stratului 2, OP Stack este deja puțin mai bun decât ZK Stack în ceea ce privește dezvoltarea ecologică a proiectului, în această etapă, Efectul Matthew poate apărea și mai mult în viitor Stack într-o anumită măsură Traficul și potențialul, dacă OP Succinct poate fi realizat în viitor, pot avea, de asemenea, un anumit impact asupra rollup-ului tradițional al zkEVM.
Cu toate acestea, conform celor declarate public în această etapă, nu este dificil să aflăm din logica de operare a OP Succinct cum să ne asigurăm că dezvoltatorii descoperă cu promptitudine riscurile sistemice cauzate de vulnerabilități necunoscute atunci când modifică funcțiile STF sau adaugă noi funcții precompilate. Acest lucru necesită Păstrăm o concentrare pe termen lung.
Link de extensie:
（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/
