Fundația Ethereum Trasează Calea Către Dovezile zkEVM Pe Mainnet L1

Fundația Ethereum a publicat un plan pas cu pas pentru a permite lanțului principal Ethereum să valideze blocurile folosind dovezi zkEVM, reducând necesitatea ca validatorii să re-execute ei înșiși fiecare calcul. Propunerea, partajată prin X pe 15 ianuarie de Tomasz K. Stańczak, Co-Director Executiv la Fundația Ethereum, prezintă lucrările de inginerie necesare pentru clienții de execuție și consens ai Ethereum, plus noua infrastructură de dovadă și procesele de securitate.

Ethereum L1 se îndreaptă către validare bazată pe dovezi zk

Încă din iulie anul trecut, Fundația Ethereum și-a anunțat abordarea „zk-first". Astăzi, validatorii Ethereum verifică de obicei un bloc prin re-executarea tranzacțiilor și compararea rezultatelor. Planul propune o alternativă: validatorii ar putea verifica o dovadă criptografică că execuția blocului a fost corectă.

Documentul rezumă pipeline-ul propus în termeni simpli: un client de execuție produce un pachet compact „witness" pentru un bloc, un program zkEVM standardizat folosește acel pachet pentru a genera o dovadă a execuției corecte, iar clienții de consens verifică acea dovadă în timpul validării blocului.

Primul obiectiv este crearea unui „ExecutionWitness", o structură de date per-bloc care conține informațiile necesare pentru a valida execuția fără a o re-rula. Planul solicită un format formal de witness în specificațiile de execuție Ethereum, teste de conformitate și un endpoint RPC standardizat. Acesta remarcă că endpoint-ul actual debug_executionWitness este deja „folosit în producție de Kona a Optimism", sugerând în același timp că ar putea fi necesar un endpoint mai prietenos cu zk.

O dependență cheie este adăugarea unei urmăriri mai bune a părților de stare pe care le atinge un bloc, prin Block Level Access Lists (BALs). Documentul spune că din noiembrie 2025, această lucrare nu a fost tratată ca suficient de urgentă pentru a fi portată înapoi la fork-uri anterioare.

Următorul obiectiv este un „program guest zkEVM", descris ca logică de validare fără stare care verifică dacă un bloc produce o tranziție de stare validă atunci când este combinat cu witness-ul său. Planul subliniază build-uri reproductibile și compilarea către ținte standardizate astfel încât presupunerile să fie explicite și verificabile.

Dincolo de codul specific Ethereum, planul își propune să standardizeze interfața dintre zkVM-uri și programul guest: ținte comune, modalități comune de accesare a precompilărilor și I/O, și presupuneri convenite despre modul în care programele sunt încărcate și executate.

Pe partea de consens, foaia de parcurs solicită modificări astfel încât clienții de consens să poată accepta dovezi zk ca parte a validării blocului beacon, cu specificații însoțitoare, vectori de testare și un plan intern de implementare. Documentul marchează, de asemenea, disponibilitatea payload-ului de execuție ca importantă, incluzând o abordare care ar putea implica „plasarea blocului în blob-uri".

Propunerea tratează generarea dovezilor ca pe o problemă operațională la fel de mult ca pe una de protocol. Aceasta include obiective pentru integrarea zkVM-urilor în instrumentele EF precum Ethproofs și Ere, testarea configurațiilor GPU (inclusiv „zkboost") și urmărirea fiabilității și blocajelor.

Benchmarking-ul este încadrat ca o lucrare continuă, cu obiective explicite precum măsurarea timpului de generare a witness-ului, timpului de creare și verificare a dovezii și impactului în rețea al propagării dovezilor. Aceste măsurători ar putea alimenta viitoarele propuneri de re-tarifare a gazului pentru sarcini intensive în z,

Securitatea este, de asemenea, marcată ca perpetuă, cu planuri pentru specificații formale, monitorizare, controale ale lanțului de aprovizionare precum build-uri reproductibile și semnarea artefactelor, și un model documentat de încredere și amenințări. Documentul propune un „cadru go/no-go" pentru a decide când sistemele de dovadă sunt suficient de mature pentru o utilizare mai largă.

O dependență externă iese în evidență: ePBS, pe care documentul o descrie ca necesară pentru a oferi mai mult timp generatorilor de dovezi. Fără ea, planul spune că generatorul de dovezi are „1-2 secunde" pentru a crea o dovadă; cu ea, „6-9 secunde". Documentul adaugă o încadrare de două propoziții care captează urgența: „Acesta nu este un proiect la care lucrăm. Cu toate acestea, este o optimizare de care avem nevoie." Se așteaptă ca ePBS să fie implementat în „Glamsterdam", țintit pentru mijlocul anului 2026.

Dacă aceste obiective sunt atinse, Ethereum s-ar îndrepta către validarea bazată pe dovezi ca opțiune practică pe L1, în timp ce sincronizarea și complexitatea operațională a dovezilor rămân factorii limitativi.

La momentul publicării, ETH se tranzacționa la 3.300 $.