Współzałożyciel Ethereum Vitalik Buterin twierdzi, że sztuczna inteligencja skutecznie kupiła sieci kilka dekad czasu rozwoju. Mówiąc podczas Network State Conference 2026 w Singapurze, stwierdził, że AI dramatycznie przyspiesza prace nad aktualizacjami protokołu Ethereum — bez niej, jak zasugerował, osiągnięcie niektórych celów mapy drogowej mogłoby wymagać czasu do 2040, a nawet 2050 roku.

Co powiedział Buterin

Wypowiedzi padły w wywiadzie przeprowadzonym 9 października 2026 roku, o którym poinformowano następnego dnia. Buterin skupił się na Lean Roadmap — planie przebudowy rdzenia protokołu Ethereum. Jego główna teza: AI obsługuje obecnie znaczną część badań i kodowania wymaganych przez mapę drogową, w tym niektóre z najtrudniejszych punktów na liście.

Najlepszym przykładem jest formalna weryfikacja pisana w Lean 4 — języku programowania i asystencie dowodowym służącym do tworzenia dowodów matematycznych, które komputer może sprawdzać linijka po linijce. Według podsumowania badań wkład AI w Lean 4 zmniejsza potrzebę ręcznego audytu ogromnych ilości kodu, przenosząc to obciążenie z ludzi na dowody weryfikowalne maszynowo.

Architektura, która się kształtuje

Nic z tego, co Buterin nakreślił, nie przypomina drobnych poprawek. Ethereum zmierza w kierunku projektu skoncentrowanego na rekurencyjnych STARK-ach, zautomatyzowanej weryfikacji formalnej i silniejszej odporności kwantowej.

Terminologia przedstawia się następująco: STARK-i to dowody kryptograficzne, które pozwalają jednej stronie wykazać, że obliczenie zostało wykonane poprawnie, bez konieczności powtarzania go przez wszystkich, natomiast rekurencyjne STARK-i to dowody zdolne do weryfikowania innych dowodów. Odporność kwantowa odnosi się do ochrony sieci przed przyszłymi komputerami kwantowymi, które mogłyby złamać dzisiejszą kryptografię. Ten aspekt wykracza poza środowiska badawcze, ponieważ wszystko w Ethereum — od sald kont po inteligentne kontrakty — ostatecznie zależy od kryptografii, której sieć używa dziś.

I właśnie tu wchodzi AI, według Buterina. Podsumowanie badań opisuje ją jako kluczowy katalizator, gdy Ethereum zmierza ku tej bardziej zaawansowanej architekturze.

Hegota: ostatni „normalny” fork

Kolejnym kamieniem milowym w kalendarzu jest aktualizacja Hegota, oczekiwana około 2027 roku iisywana jako ostatni „normalny” fork w historii Ethereum. Forki to skoordynowane aktualizacje, które zmieniają zasady działania sieci i wymagają od operatorów węzłów równoczesnego zaktualizowania oprogramowania — dlatego etykieta „normalny” oznacza punkt zwrotny. Po tym punkcie prace mają skłonić się ku zaawansowanym metodom kryptograficznym i weryfikacji formalnej, z integracją AI w roli centralnej.

Dowody na to, że AI potrafi wykonywać istotną pracę nad protokołem, już istnieją. Na początku 2026 roku eksperymenty doprowadziły do powstania prototypowego klienta Ethereum — oprogramowania węzła przetwarzającego bloki i utrzymującego synchronizację łańcucha — obejmującego około 65 punktów mapy drogowej, a prototyp ten z powodzeniem zsynchronizował się z mainnetem Ethereum.

Ostrożność Buterina wobec AI

Nie są to pierwsze wypowiedzi Buterina na ten temat w tym roku. Wcześniej w 2026 roku mówił o tym, co podsumowanie badań nazywa podwójną rolą AI w rozwoju krypto: technologia może przyspieszać prace techniczne, ale budzi też obawy bezpieczeństwa dotyczące podatności — w tym możliwość, że te same narzędzia mogłyby pomóc atakującym szybciej znajdować słabości.

To napięcie sprawia, że aspekt weryfikacji formalnej jest szczególnie istotny. Jeśli AI potrafi szybko generować kod, matematyczne udowodnienie jego poprawności staje się naturalną ochroną przed samym ryzykiem, jakie wnosi AI.

Konsekwencje dla deweloperów i sieci

Dla deweloperów najjaśniejszym wnioskiem jest zmiana opisu stanowiska pracy. Gdy AI przejmuje więcej pisania dowodów i audytu kodu, kluczowi badacze mogą poświęcać więcej czasu decyzjom projektowym, a mniej ręcznej weryfikacji. Ramy 2040–2050 użyte przez Buterina sugerują, że widzi on w AI różnicę między „kiedyś” a tą dekadą.

Kwestia bezpieczeństwa też nie zniknęła. Poleganie na AI przy kodzie infrastruktury krytycznej podnosi stawkę w kwestii poprawności weryfikacji, ponieważ subtelny błąd w powszechnie używanym blockchainie może okazać się niezwykle kosztowny.

Na co zwracać uwagę dalej: postępy prac nad Hegotą, kolejne wyniki eksperymentów z klientami budowanymi przez AI oraz to, jaka część weryfikacji formalnej w Lean Roadmap okaże się w ostateczności wygenerowana maszynowo.

Źródło: CryptoBriefing