Salutare, în ecosistemul actual Ethereum, fie că este vorba de Optimistic Rollup sau ZK Rollup, toate mențin un sistem de validare personalizat, extrem de greoi și riscant pe lanț. Fiecare corectare a bug-ului mașinii virtuale de bază necesită un lung și periculos proces de guvernare descentralizată pentru actualizare.
Recent, pe forumul de cercetare Ethereum (ethresear.ch) a apărut o propunere extrem de disruptivă: susținând generalizarea EIP-8025 și introducerea unui nou EIP, pentru a adăuga un „verificator de dovezi native (Native Proof Verification)” generalizat la baza Ethereum.
Dacă această propunere va fi implementată, viitoarele Rollup nu vor necesita să implementeze contracte inteligente de validare complexe pe lanț, ci vor putea „profita” direct de infrastructura de validare a nivelului de consens Ethereum (CL). Acest lucru nu doar că va reduce semnificativ codul redundant de pe rețeaua principală Ethereum, dar va ridica și securitatea și logica de actualizare a Ethereum L2 la un nivel fără precedent.
Acest articol vă deconstruiește logica centrală a acestei propuneri tehnice, mecanismul de implementare și impactul său profund asupra viitorului traseului de scalare.
Unu, analiza punctelor slabe: actualul sistem de validare Rollup are „călcâiul lui Ahile”
În prezentul model de scalare, fiecare Ethereum L2 este ca un „regat” independent, luptându-se fiecare pe cont propriu, construind o infrastructură de validare extrem de complexă pe L1.
Contracte complexe pe lanț: ZK Rollup trebuie să implementeze contracte de validare pentru un zkVM specific (mașină virtuală cu dovezi zero), adaptoare și planificatoare; Optimistic Rollup necesită implementarea unei mașini virtuale de dovezi de fraudă masive și a logicii de soluționare a disputelor.
Costuri ridicate de întreținere și riscuri de securitate: Aceste contracte sunt întreținute independent de echipele lor respective. Odată ce sistemul de dovezi de bază sau mașina virtuală este descoperită cu un bug, echipa de dezvoltare trebuie să execute actualizarea contractului printr-o semnătură multiplă personalizată (Multi-sig) sau prin votul DAO.
Ineficiența și duplicarea în ecosistem: Există o mulțime de duplicări în ecosistemul Ethereum, proiecte diferite întrețin biblioteci de cod de validare cu funcții similare, consumând nu doar o sumă uriașă de Gas, ci și amplificând de mai multe ori expunerea la riscuri de securitate la nivelul întregii rețele.
Luând ca exemplu un Rollup care utilizează arhitectura „dovezilor multiple (Multi-proof)”, pentru a atinge un nivel extrem de securitate, acesta ar putea necesita implementarea a până la șase contracte pe L1 (inclusiv mai mulți validatori zkVM originali de la diferiți furnizori, adaptoare personalizate, planificatoare de dovezi multiple etc.). Orice actualizare a unei etape este un coșmar care poate afecta întregul sistem.
Doi, soluția centrală: generalizarea EIP-8025, introducerea de primitive de validare generalizate
EIP-8025 a fost inițial conceput pentru a facilita statelessness (fără stare) pe Ethereum L1, introducând infrastructura de validare a dovezilor zkVM la nivelul consensului (CL). Totuși, designul inițial era prea „egoist”, servind doar validării sarcinilor de execuție specifice rețelei principale Ethereum.
Soluția ingenioasă a noii propuneri este: având în vedere că nivelul de consens are deja un motor de dovezi, un protocol de difuzare și o logică de validare, de ce să nu fie deschis pentru utilizarea de către toate contractele inteligente?
Această propunere își propune să atingă acest obiectiv prin două modificări esențiale:
Generalizarea motorului de validare al nivelului de consens (CL)
Propunerea sugerează desprinderea părților legate de logica specifică Ethereum din EIP-8025, făcând astfel infrastructura de validare a dovezilor de bază "independentă de programe (Program-agnostic)".
Noua structură de dovezi este împărțită în două dimensiuni esențiale:
Tipul de backend (Backend Type): Utilizat pentru a indica nivelului de consens ce tip de sistem de dovezi de bază să folosească (de exemplu, un anumit tip de zkVM).
Hash-ul programului (Program Hash): Utilizat pentru a identifica în mod unic programul client care este în execuție.
Astfel, motorul de validare al nivelului de consens devine ca un „priză universală”, orice Rollup sau protocol de confidențialitate, ZK co-procesor, poate să se conecteze la această rețea de validare, atâta timp cât furnizează priza corectă (identificarea backend-ului și hash-ul programului).
2. Un nou tip de „Tranzacție cu Dovezi (Proof-carrying Transaction)"
Pentru ca contractele inteligente de la nivelul aplicațiilor să poată percepe și utiliza rezultatele de validare ale nivelului de consens, propunerea introduce un nou tip de tranzacție și trei opcode-uri noi asociate:
Transformarea la nivel de tranzacție: Noua structură de tranzacție include o listă suplimentară de dovezi (care înregistrează hash-ul programului și tipul de backend) și un hash de ieșire publică.
Reducerea sarcinilor la nivelul contractelor inteligente: Propunerea adaugă trei opcode-uri care nu necesită calcule criptografice complexe (fiecare destinat citirii hash-ului programului, hash-ului de ieșire publică și numărului de dovezi).
Restructurarea fluxului de lucru: Atunci când această tranzacție cu dovezi se răspândește în mempool, nodurile rețelei și constructorii de blocuri vor fi responsabili pentru a efectua verificări matematice grele în fundal. După ce tranzacția este ambalată în bloc, contractul inteligent trebuie doar să apeleze opcode-urile noi menționate, putând confirma „ușor” dacă dovezile sunt valide.
Trei, saltul de paradigmă: „lansarea clientului” înlocuiește „guvernarea pe lanț”
Introducerea acestui mecanism va aduce o schimbare fundamentală în arhitectură.
În trecut, dacă biblioteca de bază zkVM utilizată de Rollup avea o vulnerabilitate de securitate, echipa Rollup trebuia să inițieze cu disperare o propunere și să urmeze procesul de guvernare pe lanț pentru a actualiza contractul de validare pe L1.
În paradigma „verificării native a dovezilor”, toată munca de validare grea este descărcată pe software-ul clientului Ethereum L1 (precum Geth, Nethermind etc.). Când zkVM de bază necesită o corectare, echipa de dezvoltare a clientului Ethereum trebuie doar să publice o nouă versiune a software-ului. După ce nodurile Ethereum actualizează software-ul, bug-ul se repară de la sine.
Este ca și cum sistemul de operare a actualizat patch-ul de securitate de bază, iar toate software-urile de sus vor beneficia automat, fără ca fiecare dezvoltator de software să fie nevoit să rescrie codul său. Rollup a realizat cu adevărat moștenirea mecanismului de actualizare a securității Ethereum L1.
Patru, impactul profund asupra traseului L2
Conform estimărilor brute din propunere, dacă s-ar adopta acest mecanism nativ, principalele Rollup-uri curente (inclusiv cele bazate pe WASM sau MIPS și extinderi de validitate bazate pe diverse zkVM) ar putea elimina între 20% și 50% din logica de bază a codului de pe lanț.
Inițial, stivele de validare complexe de zeci de mii de linii vor putea fi simplificate la un contract minimal „Inbox”. Acest contract trebuie doar să utilizeze opcode-urile noi pentru a verifica dacă numărul de dovezi este suficient și dacă hash-ul programului se află pe lista sa albă pentru a finaliza confirmarea.
În același timp, acest mecanism rezolvă elegant problema orchestratului „dovezilor multiple (Multi-proof)”. Dovezile de diferite backend-uri pot fi ambalate la nivelul tranzacției și validate în paralel de baza, iar contractele inteligente nu mai trebuie să fie scrise în cod de tip „pasta italiană” pentru a coordona mai multe sisteme de dovezi.
Concluzie; de la „contracte personalizate” care se luptă fiecare pe cont propriu, la „primitive native de consens unify”, aceasta este calea inevitabilă pentru maturizarea și modularizarea ecosistemului Ethereum.
Deși propunerea necesită în continuare discuții suplimentare pe teme precum „garantarea stabilității hash-ului programului (adică cum să efectuezi întreținerea regulată a codului de bază fără a schimba identificatorul de pe lanț)”, direcția pe care o indică - de a face Rollup mai ușor, mai sigur și mai strâns legat de consensul de bază Ethereum L1 - fără îndoială oferă o soluție futuristă extrem de promițătoare pentru traseul de scalare care se află într-un impas de guvernare și expansiune a codului.
⚠️ 【Declinare de responsabilitate】 Conținutul acestui articol are scop informativ și educațional în ceea ce privește tehnologia de bază și modelele economice, fără a constitui vreo recomandare de investiție. Tranzacțiile cu derivate cripto au un risc extrem de ridicat, așa că evaluați-vă întotdeauna capacitatea de a suporta riscuri și luați decizii cu precauție.
🌹 Dacă îți place această analiză profundă, te rugăm să dai like, să urmărești, să comentezi și să distribui! Sprijinul tău este cea mai mare motivație pentru noi să continuăm să producem conținut.\u003ct-99/\u003e\u003ct-100/\u003e\u003cc-101/\u003e\u003cc-102/\u003e\u003cc-103/\u003e
