Programista, który założył się z Vitalikiem Buterinem, że jedna osoba może przy użyciu podejścia agentic wygenerować kod klienta Ethereum (ETH) zgodnego z roadmapą na 2030 rok, zbudował ETH2030 w dwa tygodnie – 702 000 linii kodu w Go, obejmujących 65 punktów z roadmapy, synchronizującego się z mainnetem Ethereum.
Buterin skomentował rezultat w piątek, nazywając go „dość imponującym eksperymentem”, jednocześnie wymieniając istotne zastrzeżenia i sugerując, że AI może przyspieszyć realizację roadmapy Ethereum bardziej, niż obecnie oczekuje społeczność.
Buterin jasno wskazał, czym ten projekt nie jest: zbudowany bez formalnych Ethereum Improvement Proposals, niemal na pewno zawiera krytyczne błędy i prawdopodobnie obejmuje „puste” (stub) wersje funkcji, w których AI nie podjęła próby pełnej implementacji.
Jego zdaniem kluczowa jest tu trajektoria, a nie sam wynik. Sześć miesięcy temu – napisał – nawet prototyp o takiej skali był „daleko poza sferą możliwości”.
Szybkość vs. bezpieczeństwo
Buterin przedstawił właściwe podejście do rozwoju przyspieszanego przez AI jako podział zysków między szybkość a bezpieczeństwo, zamiast wydawania ich wyłącznie na tempo prac.
Jego preferowany model: używać AI do generowania większych zestawów testów, formalnej weryfikacji implementacji oraz tworzenia wielu niezależnych wersji tego samego komponentu w celu ich wzajemnego sprawdzania.
Współpracownik projektu LeanEthereum – którego celem jest formalne zweryfikowanie całego kodu Ethereum – niedawno użył AI do wygenerowania maszynowo weryfikowalnego dowodu jednego z najbardziej złożonych twierdzeń leżących u podstaw bezpieczeństwa STARK.
W ujęciu Buterina to właśnie jest przypadek użycia o wyższej wartości: nie szybsze wydawanie kodu, lecz dostarczanie kodu bardziej weryfikowalnie poprawnego.
Read also: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
Co uważa za możliwe
Buterin ostrożnie przedstawiał swój optymizm jako możliwość, a nie prognozę. Powiedział, że ludzie powinni być otwarci na to, że roadmapa Ethereum może zakończyć się szybciej, niż sugerują obecne harmonogramy – i przy wyższym standardzie bezpieczeństwa.
W kwestii bezpieczeństwa wyraził osobiste podekscytowanie potencjałem przejścia od „idealistycznego złudzenia” kodu wolnego od błędów do przyjęcia go jako podstawowego oczekiwania wobec krytycznej infrastruktury.
Przyznał, że całkowite bezpieczeństwo w sensie absolutnym pozostaje niemożliwe – wymagałoby dokładnej zgodności między kodem a zawartością umysłu programisty – ale argumentował, że formalna weryfikacja wspierana przez AI może już teraz wyeliminować ponad 99% negatywnych konsekwencji, które mogłyby wynikać z konkretnych, dobrze zdefiniowanych awarii kodu.
Repozytorium ETH2030 pozostaje publicznie dostępne na github.com/jiayaoqijia/eth2030.