Deweloper, który założył się z Vitalikiem Buterinem, że jedna osoba może agentycznie napisać klienta Ethereum (ETH) zgodnego z roadmapą 2030, zbudował ETH2030 w dwa tygodnie – 702 000 linii kodu w Go, obejmujących 65 elementów roadmapy i synchronizujących się z siecią główną Ethereum.
Buterin skomentował rezultat w piątek, nazywając go „dość imponującym eksperymentem”, jednocześnie wskazując istotne zastrzeżenia i podnosząc możliwość, że AI może przyspieszyć realizację roadmapy Ethereum bardziej, niż obecnie zakłada społeczność.
Buterin jasno wskazał, czym projekt nie jest: powstał bez formalnych Ethereum Improvement Proposals, więc niemal na pewno zawiera krytyczne błędy i prawdopodobnie obejmuje „szkieletowe” wersje funkcji, w których AI nie podjęła próby pełnej implementacji.
Jego zdaniem najważniejsza jest trajektoria, a nie sam wynik. Jak napisał, jeszcze sześć miesięcy temu nawet prototyp o takiej skali był „daleko poza zakresem możliwości”.
Szybkość kontra bezpieczeństwo
Buterin określił właściwe podejście do rozwoju przyspieszanego przez AI jako podział zysków między szybkość i bezpieczeństwo, zamiast przejadania ich wyłącznie na prędkość.
Preferowany przez niego model to: używać AI do generowania większych zestawów testów, formalnego weryfikowania implementacji oraz tworzenia wielu niezależnych wersji tych samych komponentów do wzajemnego sprawdzania.
Współpracownik projektu LeanEthereum – którego celem jest formalne zweryfikowanie całego kodu Ethereum – niedawno użył AI do stworzenia maszynowo weryfikowalnego dowodu jednego z najbardziej złożonych twierdzeń leżących u podstaw bezpieczeństwa STARK.
W tej ramie myślenia Buterina jest to cenniejszy przypadek użycia: nie szybsze wdrażanie, 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 jego zdaniem jest możliwe
Buterin ostrożnie przedstawiał swój optymizm jako możliwość, a nie prognozę. Powiedział, że ludzie powinni być otwarci na to, iż roadmapa Ethereum może zostać zrealizowana szybciej, niż sugerują obecne harmonogramy – i przy wyższym standardzie bezpieczeństwa.
W kwestii bezpieczeństwa wyraził osobiste podekscytowanie potencjałem, by bezbłędny kod przeszedł od statusu „idealistycznego złudzenia” do podstawowego oczekiwania wobec krytycznej infrastruktury.
Przyznał, że całkowite bezpieczeństwo pozostaje niemożliwe w sensie absolutnym – wymagałoby idealnej zgodności między kodem a zawartością umysłu dewelopera – ale argumentował, że formalna weryfikacja AI może już teraz wyeliminować ponad 99% negatywnych konsekwencji wynikających z konkretnych, dobrze zdefiniowanych błędów w kodzie.
Repozytorium ETH2030 pozostaje publicznie dostępne pod adresem github.com/jiayaoqijia/eth2030.