ZKsync zaprezentował Airbender Prime, prover Ethereum, który wykazał się prowaniem bloków mainnetu w czasie rzeczywistym na pojedynczym GPU — kamień milowy, który skłonił współzałożyciela Ethereum Vitalika Buterina do wezwania do odnowionego nacisku na bezpieczeństwo w rozwoju zkEVM.

W testach jeden układ NVIDIA RTX PRO 6000 Blackwell udowodnił 99% z 7200 kolejnych bloków głównego ethereum w mniej niż 10 sekund każdy, łącznie z przygotowaniem świadectwa, czyli etapem gromadzenia danych potrzebnych proverowi do wygenerowania dowodu. Każdy blok został ukończony w ciągu 12 sekund. Ethereum tworzy nowy blok mniej więcej co 12 sekund, więc udowodnienie każdego bloku w tym oknie czasowym sprawia, że weryfikacja nadąża za produkcją bloków. ZKsync ogłosił ten kamień milowy w poście na X.

Airbender Prime demonstruje prowanie Ethereum w czasie rzeczywistym

ZkEVM generuje kryptograficzny dowód, że blok został wykonany zgodnie z zasadami Ethereum, co pozwala każdemu zweryfikować wynik bez samodzielnego ponownego uruchamiania obliczeń. Według ZKsync Airbender Prime wykorzystuje hashowe STARKI — konstrukcję dowodów zaprojektowaną z myślą o bezpieczeństwie postkwantowym. Technologia łączy GKR sumcheck, zobowiązania wielomianowe WHIR oraz hashowanie BLAKE2s.

W przypadku dowodów dla warstwy 1 system użyje zobowiązań opartych na Keccak-256 zamiast parowań BN254. Wykorzystuje też otwarty standard RISC-V i zawiera samodzielny weryfikator do niezależnej kontroli dowodów.

ZKsync podaje, że Airender Prime prowadzi w publicznym rankingu ETHproofs — który porównuje provery zkEVM względem bloków głównego ethereum — pod względem zgłaszanego średniego czasu prowania, wydajności GPU i kosztów. Projekt posiada również działające konfiguracje oparte na dwóch i czterech GPU.

Vitalik Buterin wzywa do wzmocnienia bezpieczeństwa zkEVM

Buterin pogratulował zespołowi ZKsync osiągnięcia. Stwierdził, że batalia o szybkość prowania została definitywnie wygrana i argued, że rozwój zkEVM powinien teraz priorytetowo traktować bezpieczeństwo.

Buterin wskazał trzy wymagania dla weryfikacji formalnej: udowodnienie, że arytmetyzacja odpowiada specyfikacji Ethereum, ustalenie sztywnego maksymalnego stosunku kosztów prowania do gazu bloku oraz zweryfikowanie bezpieczeństwa samego systemu dowodowego. Arytmetyzacja to etap, w którym prover koduje reguły wykonania Ethereum w twierdzenia matematyczne, które system dowodowy może sprawdzać. Jego wypowiedzi zwracają uwagę na to, czy systemy dowodowe potrafią wykazać poprawność wykonania, przewidywalne koszty prowania i niezawodne zabezpieczenia kryptograficzne.

ZKsync celuje w niezależnie weryfikowalną infrastrukturę finansową

ZKsync stwierdził, że postęp sztucznej inteligencji mógłby przyspieszyć odkrywanie i wykorzystywanie luk w oprogramowaniu. Zauważono, że instytucje potrzebują mechanizmów, które banki i kontrahenci mogą weryfikować niezależnie.

Wymaganie dowodów o zerowej wiedzy przy aktualizacjach księgi mogłoby zapobiec zatwierdzaniu zmian naruszających zakodowane reguły przez przejęte serwery wykonawcze — zgodnie z przekazem firmy. Niższe wymagania sprzętowe Airbender Prime mogłyby również uczynić generowanie dowodów bardziej dostępnym dla instytucji i niezależnych operatorów.

Projekt ma na celu wspieranie niezależnej weryfikacji w całej infrastrukturze finansowej. ZKsync zapowiedział, że planuje kolejne ogłoszenia dotyczące Airbender Prime, nie podając w prezentacji dodatkowych szczegółów.