Ethereum Foundation uruchomiła better.codes — platformę badawczą opartą na współpracy, która wykorzystuje sztuczną inteligencję do wzmacniania bezpieczeństwa SNARK-ów opartych na funkcjach haszujących. Inicjatywa stanowi część szerszych działań Ethereum zmierzających do przygotowania infrastruktury kryptograficznej na potencjalne zagrożenia ze strony przyszłych komputerów kwantowych.

Platforma koncentruje się na koalaIRS12 — problemie bliskości Reeda-Solomona, który odgrywa istotną rolę we współczesnych kryptograficznych systemach dowodowych. Za pośrednictwem better.codes badacze mogą wykorzystywać agentów AI do poprawy ograniczeń poprawności (soundness) dowodów koalaIRS12, a wyniki są następnie poddawane weryfikacji przez jądro Lean. Lean — open-source'owy system dowodzenia twierdzeń i język programowania, pierwotnie opracowany w Microsoft Research — sprawdza każdy krok dowodu względem niewielkiego, zaufanego jądra, dzięki czemu zaakceptowane wyniki niosą gwarancje weryfikowane maszynowo, a nie opierają się wyłącznie na ręcznej recenzji naukowej.

Inicjatywa ma na celu ustanowienie weryfikowanych maszynowo gwarancji bezpieczeństwa dla koalaIRS12, jednocześnie dążąc do celu bezpieczeństwa na poziomie 128 bitów, który mógłby wzmocnić obronę Ethereum przed przyszłymi zagrożeniami kwantowymi. Projekt został opracowany wspólnie z Yukon i zkSecurity i opiera się na przyrostowych wkładach. Zaakceptowane rozwiązania są przypisywane zarówno badaczom lub osobom rozwiązującym, jak i modelom AI zaangażowanym w ich powstanie — podejście mające zachęcać do przejrzystej współpracy i jednocześnie tworzyć weryfikowalny zapis postępu w badaniach kryptograficznych.

Ethereum przygotowuje się na zagrożenia związane z komputerami kwantowymi

Przejście Ethereum na kryptografię postkwantową wynika z obaw dotyczących długoterminowego bezpieczeństwa systemów kryptograficznych obecnie wykorzystywanych w całym blockchainie. Technologie oparte na krzywych eliptycznych stanowią podstawę obszarów takich jak podpisy transakcji, infrastruktura konsensusu i dowody z wiedzą zerową.

Wystarczająco wydajny komputer kwantowy mógłby potencjalnie podważyć niektóre z tych prymitywów kryptograficznych za pomocą algorytmu Shora, opracowanego przez matematyka Petera Shora w 1994 r., który wymierza w problemy faktoryzacji i logarytmu dyskretnego stanowiące podstawę znacznej części dzisiejszej kryptografii klucza publicznego. Choć takie maszyny nie są obecnie w stanie złamać powszechnie stosowanej kryptografii Ethereum w praktycznej skali — a główni producenci sprzętu, tacy jak IBM i Google, opublikowali mapy drogowe zakładające komputery kwantowe odporne na błędy dopiero pod koniec obecnej dekady — potencjalne przyszłe zagrożenie skłoniło twórców blockchainów do wcześniejszego poszukiwania alternatyw.

Ethereum bada zatem podejścia kryptograficzne oparte na funkcjach haszujących, a nie na logarytmach dyskretnych krzywych eliptycznych. Wśród technologii rozważanych w ramach tej transformacji są SNARK-i i STARK-i oparte na funkcjach haszujących. Kierunek ten wpisuje się w prace standaryzacyjne wykraczające poza blockchain: w 2024 r. amerykański Narodowy Instytut Standardów i Technologii (NIST) sfinalizował swoje pierwsze standardy kryptografii postkwantowej, w tym SLH-DSA — oparty na funkcjach haszujących schemat podpisu cyfrowego — wprowadzając kryptografię haszową do zatwierdzonego przez rząd użytku produkcyjnego. Inicjatywa better.codes odpowiada na jedno z wyzwań związanych z tym wysiłkiem, dążąc do silniejszych i formalnie zweryfikowanych gwarancji bezpieczeństwa dla kodów bliskości Reeda-Solomona — kodów, które stanowią podstawę kilku systemów dowodowych i są istotne dla rozwoju skalowalnych technologii wiedzy zerowej.

Cel bezpieczeństwa na poziomie 128 bitów

Wyzwanie better.codes koncentruje się na osiągnięciu progu bezpieczeństwa 128 bitów dla koalaIRS12 — celu zgodnego z długoterminowym zamierzeniem Ethereum, jakim jest rozwijanie systemów kryptograficznych zdolnych zachować bezpieczeństwo w środowisku postkwantowym. O inicjatywie Ethereum Foundation poinformowała na X:

Learn more in the announcement ↓

— Ethereum Foundation (@ethereumfndn) August 20, 2026

Pełny wpis: https://x.com/ethereumfndn/status/2090485717273043227?ref_src=twsrc%5Etfw

Prace te kontynuują inicjatywę Proximity Prize, uruchomioną wcześniej w 2026 r. z funduszem badawczym o wartości 1 mln dolarów, przeznaczonym na nierozwiązane problemy dotyczące dekodowania listowego (list decoding) i zgodności skorelowanej (correlated agreement). Wyrażając te problemy kryptograficzne w Lean 4, Ethereum Foundation dąży do tego, by wyniki badań można było łatwiej weryfikować mechanicznie, oraz potencjalnie przyspieszyć postęp w kierunku bardziej niezawodnych konstrukcji kryptograficznych. Łączenie uczenia maszynowego z formalnym sprawdzaniem dowodów odzwierciedla także szerszy trend badawczy — AlphaProof od Google DeepMind, który osiągnął wynik na poziomie srebrnego medalu na Międzynarodowej Olimpiadzie Matematycznej 2024, tworząc dowody weryfikowane w Lean, pokazał, jak systemy AI mogą współtworzyć formalnie sprawdzaną matematykę.

Silniejsza weryfikacja tych założeń kryptograficznych może przynieść korzyści programistom tworzącym rollupy, maszyny wirtualne z wiedzą zerową i inne systemy skalowania, które coraz bardziej zależą od technologii opartych na SNARK-ach.

Bezpieczeństwo długoterminowe zamiast krótkoterminowego wpływu na rynek

Nie oczekuje się, aby inicjatywa miała bezpośredni, krótkoterminowy wpływ na cenę ETH. Jej znaczenie tkwi natomiast w długoterminowym bezpieczeństwie protokołu Ethereum oraz w przygotowaniach na ryzyka technologiczne, które mogą pojawić się wraz z rozwojem obliczeń kwantowych.

Ostatnie działania w ekosystemie Ethereum również kładą większy nacisk na bezpieczeństwo postkwantowe, w tym propozycje dotyczące rekurencyjnych dowodów STARK oraz powołanie dedykowanego zespołu bezpieczeństwa skupionego na zagrożeniach związanych z komputerami kwantowymi. Dla programistów i dostawców infrastruktury te wydarzenia wskazują, że odporność kryptograficzna staje się coraz ważniejszym czynnikiem w miarę rozprzestrzeniania się technologii wiedzy zerowej w branży blockchain.

Oczekuje się, że platforma better.codes rozwinie się poza swoje początkowe wyzwanie — Ethereum Foundation planuje dodatkowe problemy badawcze zgodnie z zasadami programu obejmującymi kwalifikowalność, ocenę i nagrody. Badacze mogą wziąć udział, logując się przez GitHub, uzyskując dostęp do odpowiedniego repozytorium i zgłaszając rozwiązania do wyzwania koalaIRS12.

Zgodnie z doniesieniami inicjatywa stanowi próbę przeniesienia badań postkwantowych poza dyskusje teoretyczne — ku niezależnie weryfikowalnej implementacji. Łącząc badania wspierane przez AI z formalną weryfikacją w Lean, better.codes może zapewnić Ethereum bardziej ustrukturyzowaną ścieżkę prowadzącą ku systemom kryptograficznym zaprojektowanym tak, aby przetrwały zagrożenia przyszłej ery kwantowej.

Źródło: CoinTrust