Fundacja Ethereum wyznacza ścieżkę do dowodów zkEVM na głównej sieci L1

Fundacja Ethereum opublikowała szczegółowy plan umożliwiający głównej sieci Ethereum walidację bloków przy użyciu dowodów zkEVM, zmniejszając potrzebę ponownego wykonywania wszystkich obliczeń przez walidatorów. Propozycja, udostępniona za pośrednictwem X 15 stycznia przez Tomasza K. Stańczaka, współdyrektora wykonawczego Fundacji Ethereum, przedstawia prace inżynieryjne potrzebne w klientach wykonawczych i konsensusu Ethereum, a także nową infrastrukturę dowodową i procesy bezpieczeństwa.

Ethereum L1 zmierza w kierunku walidacji opartej na dowodach zk

Już w lipcu ubiegłego roku Fundacja Ethereum ogłosiła swoje podejście „zk-first". Obecnie walidatorzy Ethereum zazwyczaj sprawdzają blok poprzez ponowne wykonanie transakcji i porównanie wyników. Plan proponuje alternatywę: walidatorzy mogliby weryfikować kryptograficzny dowód, że wykonanie bloku było prawidłowe.

Dokument podsumowuje zamierzony proces w prostych słowach: klient wykonawczy tworzy kompaktowy pakiet „świadka" dla bloku, ustandaryzowany program zkEVM wykorzystuje ten pakiet do wygenerowania dowodu poprawnego wykonania, a klienci konsensusu weryfikują ten dowód podczas walidacji bloku.

Pierwszym kamieniem milowym jest stworzenie „ExecutionWitness", struktury danych dla każdego bloku zawierającej informacje potrzebne do walidacji wykonania bez jego ponownego uruchamiania. Plan przewiduje formalny format świadka w specyfikacjach wykonawczych Ethereum, testy zgodności oraz ustandaryzowany punkt końcowy RPC. Zauważa, że obecny punkt końcowy debug_executionWitness jest już „używany produkcyjnie przez Kona Optimism", jednocześnie sugerując, że może być potrzebny bardziej przyjazny dla zk punkt końcowy.

Kluczową zależnością jest dodanie lepszego śledzenia, których części stanu dotyka blok, poprzez Block Level Access Lists (BALs). Dokument stwierdza, że od listopada 2025 roku ta praca nie była traktowana jako wystarczająco pilna, aby przenieść ją do wcześniejszych forków.

Kolejnym kamieniem milowym jest „program gościnny zkEVM", opisany jako bezstanowa logika walidacji sprawdzająca, czy blok w połączeniu ze swoim świadkiem tworzy prawidłowe przejście stanu. Plan kładzie nacisk na powtarzalne kompilacje i kompilowanie do ustandaryzowanych celów, aby założenia były wyraźne i weryfikowalne.

Poza kodem specyficznym dla Ethereum, plan ma na celu standaryzację interfejsu między zkVM a programem gościnnym: wspólne cele, wspólne sposoby dostępu do prekompilacji i I/O oraz uzgodnione założenia dotyczące sposobu ładowania i wykonywania programów.

Po stronie konsensusu, plan działania przewiduje zmiany umożliwiające klientom konsensusu akceptowanie dowodów zk w ramach walidacji bloku beacon, wraz z towarzyszącymi specyfikacjami, wektorami testowymi i wewnętrznym planem wdrożenia. Dokument wskazuje również na dostępność ładunku wykonawczego jako ważną kwestię, w tym podejście, które mogłoby obejmować „umieszczanie bloku w blobach".

Propozycja traktuje generowanie dowodów jako problem operacyjny w takim samym stopniu jak protokołowy. Obejmuje kamienie milowe dotyczące integracji zkVM z narzędziami EF, takimi jak Ethproofs i Ere, testowania konfiguracji GPU (w tym „zkboost") oraz śledzenia niezawodności i wąskich gardeł.

Testy porównawcze są przedstawiane jako ciągła praca, z wyraźnymi celami, takimi jak pomiar czasu generowania świadka, czasu tworzenia i weryfikacji dowodu oraz wpływu propagacji dowodów na sieć. Te pomiary mogą zasilić przyszłe propozycje zmiany cen gazu dla obciążeń intensywnie wykorzystujących zk.

Bezpieczeństwo jest również oznaczone jako perpetualne, z planami dotyczącymi formalnych specyfikacji, monitorowania, kontroli łańcucha dostaw, takich jak powtarzalne kompilacje i podpisywanie artefaktów, oraz udokumentowanego modelu zaufania i zagrożeń. Dokument proponuje „ramy go/no-go" do decydowania, kiedy systemy dowodowe są wystarczająco dojrzałe do szerszego użycia.

Jedna zewnętrzna zależność się wyróżnia: ePBS, którą dokument opisuje jako niezbędną do zapewnienia dowodzącym więcej czasu. Bez niej, jak stwierdza plan, dowodzący ma „1–2 sekundy" na stworzenie dowodu; z nią „6–9 sekund". Dokument dodaje dwuzdaniowe ujęcie oddające pilność: „To nie jest projekt, nad którym pracujemy. Jednak jest to optymalizacja, której potrzebujemy". Oczekuje się wdrożenia ePBS w „Glamsterdam", planowanym na połowę 2026 roku.

Jeśli te kamienie milowe zostaną osiągnięte, Ethereum będzie zmierzać w kierunku walidacji opartej na dowodach jako praktycznej opcji na L1, podczas gdy czas i złożoność operacyjna dowodzenia pozostaną czynnikami ograniczającymi.

W momencie publikacji ETH był notowany po 3 300 USD.