Vitalik Buterin znacząco przesunął priorytety Ethereum w stronę obrony sieci przed komputerami kwantowymi oraz wykorzystania sztucznej inteligencji do sprawdzania własnego kodu. Buterin przedstawił zmiany w zaktualizowanej „Strawmapie” opublikowanej na X 10 sierpnia 2026 roku, bezpośrednio zestawiając obecny kierunek sieci z mapą drogową opublikowaną w 2023 roku.

„Najbardziej uderzające jest jednak to, że w strawmapie pojawiają się całkowicie nowe rzeczy, których nie ma na tym diagramie, ponieważ w ogóle nie było ich w roadmapie z 2023 roku. Odzwierciedlają one zmieniające się priorytety” — napisał Buterin. To porównanie, opisane przez Decrypt, pokazuje, że bezpieczeństwo postkwantowe, zwiększona prywatność i formalna weryfikacja wspomagana przez AI przesuwają się na szczyt listy.

Odporność na kwanty trafia na początek kolejki

Komputery kwantowe zdolne do łamania dzisiejszej kryptografii z kluczem publicznym według większości szacunków pozostają jeszcze o lata od praktycznego użycia, ale mapa drogowa Ethereum traktuje to zagrożenie jako krótkoterminowy priorytet inżynieryjny, a nie odległy scenariusz awaryjny. Taki kierunek wpisuje się w szerszą zmianę w branży technologicznej: amerykański National Institute of Standards and Technology sfinalizował w sierpniu 2024 roku pierwsze standardy kryptografii postkwantowej, dając organizacjom ramy odniesienia dla migracji. Według Strawmapy Ethereum Foundation powołała już dedykowany zespół postkwantowy i nakreśliła etapowy plan zastąpienia komponentów kryptograficznych, które wystarczająco potężna maszyna kwantowa mogłaby złamać. Wśród nowych elementów wymienionych w aktualizacji znalazły się LeanSPHINCS, postkwantowy schemat podpisu, oraz narzędzia do agregacji podpisów, mające utrzymać wydajność sieci, gdy te cięższe podpisy odporne na kwanty zostaną wdrożone.

„Ethereum będzie bezpieczne wobec zagrożeń kwantowych. Ethereum będzie stawiać prywatność użytkowników na pierwszym miejscu. Ethereum będzie bezpieczne. Ethereum będzie odporne na cenzurę. Ethereum będzie wysoce wydajne i skalowalne, przy zachowaniu powyższych założeń. I Ethereum będzie Lean” — napisał Buterin, podsumowując zasady przewodnie sieci w ramach nowego planu. Unchained podał, że bezpieczeństwo kwantowe zostało wyraźnie przesunięte wyżej w priorytetach względem wcześniejszej roadmapy, co było jednym z kilku przetasowanych elementów wskazanych przez Buterina w jego wpisie.

Drugim wątkiem technicznym w aktualizacji jest formalna weryfikacja wspomagana przez AI, czyli metoda matematycznego dowodzenia, że kod zachowuje się zgodnie z założeniami, zamiast testowania go na ograniczonym zbiorze scenariuszy. Badacze Ethereum korzystają ze STARKs — kryptograficznego systemu dowodowego — aby bezpiecznie weryfikować obliczenia w całej sieci. Buterin połączył te dwa elementy bezpośrednio: „To może być bezpieczne tylko dzięki formalnej weryfikacji, która z kolei jest możliwa wyłącznie przy użyciu nowoczesnych narzędzi AI”. Plan zakłada wykorzystanie dowodów STARK i narzędzi AI do walidacji kodu w warstwach wykonania, konsensusu i danych Ethereum — zakres, który The Block opisał jako stawiający prywatność i odporność na kwanty w centrum nowej roadmapy.

Prywatność i skalowanie też przechodzą przebudowę

Natywna prywatność również awansowała w hierarchii priorytetów. „Ethereum będzie stawiać prywatność użytkowników na pierwszym miejscu wraz z dalszym rozwojem” — napisał Buterin, a Strawmapa przedstawia prywatność jako wymóg projektowy, a nie opcjonalną warstwę budowaną przez zewnętrznych deweloperów. W obszarze skalowania aktualizacja odchodzi od próby maksymalizacji przepustowości dla każdego rodzaju aktywności w jednym, zunifikowanym systemie. Zamiast tego faworyzuje wyspecjalizowane mechanizmy skalowania budowane pod konkretne przypadki użycia, wraz z nowo nazwanymi dodatkami, takimi jak natywne rollupy oraz futures na blob i gaz.

Niektóre wcześniejsze priorytety zostały całkowicie usunięte lub zastąpione. Wpis Buterina wymienił verifiable delay functions oraz wiele planowanych ulepszeń EVM jako zdepriorytetyzowane, podczas gdy wcześniejsze plany dotyczące struktur danych, takie jak Verkle trees, ustąpiły miejsca nowszym konstrukcjom opisanym jako ścieżka od unified binary tries do tego, co nazwał PBT, a state expiry zostało zastąpione nowymi typami stanu. Tego rodzaju zastępowanie, a nie jedynie dodawanie, przewija się przez aktualizację: Ethereum nie tylko dodaje funkcje, ale też rezygnuje z tych, które już nie pasują.

Prostszą specyfikację za pięć lat

Buterin przedstawił Strawmapę jako plan koordynacyjny obejmujący okres do 2029 roku, a cel uproszczenia jest równie ważny jak każda pojedyncza funkcja. Protokół Ethereum narastał pod względem złożoności w warstwach wykonania, konsensusu i danych od czasu The Merge, a formalna weryfikacja połączona z narzędziami AI ma sprawić, że ta złożoność będzie możliwa do audytu, a nie jedynie opisana w dokumentacji. Żadne z mediów opisujących tę historię nie wskazało, jak podejście Ethereum wypada na tle prac nad odpornością na kwanty prowadzonych przez konkurencyjne sieci warstwy 1, przez co porównawcza oś czasu migracji postkwantowej w branży pozostaje na razie nieomówiona.

Samo ETH nie zareagowało na ogłoszenie, notując kurs blisko 1,875 USD, około 2,6% niżej w ciągu 24 godzin w momencie publikacji wpisu. Taka różnica między pięcioletnią mapą techniczną a brakiem natychmiastowej reakcji cenowej jest sama w sobie znacząca: rynek traktuje to jako długoterminową pracę nad infrastrukturą, a nie katalizator krótkoterminowy. Tego samego dnia The Defiant również opisywał aktywność ekosystemu Ethereum, choć jego raport o wolumenie transakcji Robinhood Chain był osobną historią od wpisu Buterina o roadmapie.

To, co wydarzy się dalej, zależy od tego, jak szybko zespół postkwantowy Ethereum Foundation zdoła przekuć LeanSPHINCS i agregację podpisów z propozycji w dostarczony kod, oraz od tego, czy formalna weryfikacja oparta na STARK okaże się praktyczna we wszystkich trzech kluczowych warstwach Ethereum. Wpis Buterina wyznaczył cel do 2029 roku. Trudniejsza praca budowania do niego zaczyna się teraz.

Zobacz oryginalne dowody roadmapy

Oryginalny wątek jest bardziej precyzyjny niż traktowanie każdego elementu jako obiecanej aktualizacji. Buterin nazywa go „strawmapą”: dokumentem planistyczno-koordynacyjnym, który porównuje obecne priorytety z roadmapą z 2023 roku. Wskazuje formalną weryfikację w całym protokole i mówi, że bezpieczeństwo kwantowe awansowało znacznie wyżej, ale nie jest to harmonogram wydania, ukończona specyfikacja ani dowód, że migracja odporna na kwanty jest gotowa dla mainnetu.

Czytelnicy mogą też prześledzić rozwijający się zarys na strawmap.org. Każdy element roadmapy nadal musi przejść przez badania, specyfikację, implementację, testy oraz proces społeczno-zarządczy Ethereum. Różne komponenty mogą postępować w różnym tempie, a umieszczenie na mapie nie gwarantuje konkretnej daty hard forka.

Dlaczego bezpieczeństwo kwantowe i formalna weryfikacja są ze sobą powiązane

Podpisy postkwantowe są zazwyczaj większe i bardziej wymagające obliczeniowo niż podpisy używane dziś przez Ethereum. Zastąpienie założeń kryptograficznych bez uczynienia klientów lub portfeli nieużytecznymi wymaga starannego projektu protokołu. Formalna weryfikacja może ograniczyć ryzyko implementacyjne poprzez dowodzenie wybranych właściwości kodu i specyfikacji, a narzędzia AI mogą pomóc inżynierom pisać lub sprawdzać te dowody. Wynik AI sam w sobie nie jest dowodem bezpieczeństwa i nadal wymaga rygorystycznej kontroli.

W roadmapie nie ma dowodów, że dzisiejsze komputery kwantowe mogą łamać konta Ethereum. Ryzyko ma charakter przyszłościowy: migracje protokołów trwają latami, a zaszyfrowane lub podpisane dane zebrane dziś mogą mieć wartość także później. Prowadzenie tych prac naprzód jest przygotowaniem, a nie twierdzeniem, że atak jest nieuchronny.

Ten tekst po raz pierwszy ukazał się na Cryptsy jako „Buterin’s Ethereum Strawmap Puts Quantum Defences Ahead of Scaling” i został napisany przez Ethana Blackburna.