Fenbushi Capital niedawno opublikowało obszerny wpis na blogu dotyczący porównania ośmiu różnych zkVM. () Oto podsumowanie, w tym kluczowe wyniki i wnioski.

Czym są zkVM? zkVM są zaprojektowane do kryptograficznego weryfikowania poprawności wykonania programów bez ujawniania danych wejściowych ani pośrednich stanów obliczeniowych. Jeśli chodzi o udowadnianie bloków Ethereum, zkVM syntetyzują trzy podstawowe zapewnienia kryptograficzne, aby zweryfikować wszystkie przejścia stanów: · Dowody spójności pamięci do odczytu i zapisu · Dowody kodowania instrukcji · Dowody instrukcji

Jak zkVM mogą skalować Ethereum? Zamiast ponownie wykonywać każdą transakcję, walidatorzy mogliby zweryfikować zwięzły dowód kryptograficzny, co jest bardzo wydajne i mogłoby znacznie zwiększyć przepustowość L1.

Blog Fenbushi wprowadza ustandaryzowany framework benchmarkowy mający na celu uczynienie wydajności zkVM bardziej porównywalną. Ocenia osiem zkVM — SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus i Novanet — w czterech zadaniach obliczeniowych i trzech metrykach wydajności (czas dowodzenia, rozmiar dowodu i maksymalne wykorzystanie RAM).

Wśród różnych systemów dowodowych istnieje kilka dominujących, takich jak oparte na FRI-STARK, oparte na Nova, oparte na Lasso lookup oraz GKR. Architektury zkVM można dalej podzielić na dwa dominujące paradygmaty: styl vRAM i styl modułowy.

Sprzęt i programy testowe używane do benchmarków: Benchmarki przeprowadzono na systemie Linux wyposażonym w Ubuntu 24.04, 8 wirtualnych procesorów, 192 GB pamięci RAM oraz kartę graficzną NVIDIA RTX 5090 z 32 GB VRAM. Cztery programy testowe wykorzystane do oceny obejmowały: 1. Obliczenie 100 000. liczby Fibonacciego. 2. Obliczenie hasha SHA2–2048. 3. Weryfikacja podpisu ECDSA z użyciem krzywej secp256k1. 4. Symulacja 100 transakcji transferu Ethereum (ETHTransfer).

Czas dowodzenia dla SHA2–2048: W przypadku operacji kryptograficznych, takich jak SHA2, przyspieszenie oparte na prekompilacji jest powszechną strategią optymalizacji.

Czasy dowodzenia dla 100 transakcji transferu ETH: Podsumowanie: RISC Zero jest nieco wolniejszy niż SP1 w teście Fibonacciego, ale wyróżnia się w pozostałych trzech programach testowych jako wyraźny zwycięzca.

Wydajność pamięci i szczytowe zużycie pamięci: SP1 (GPU), RISC Zero (GPU) wykazały stosunkowo stałe zużycie pamięci, niezależnie od programu testowego.

Rozmiary dowodów (w kB) zaobserwowano następująco: RISC Zero i Jolt konsekwentnie generowały jedne z najbardziej kompaktowych rozmiarów dowodów wśród ocenianych benchmarków.

Podsumowanie wydajności: Ogólnie rzecz biorąc, wydajność RISC Zero wykazuje wyjątkową spójność, podczas gdy SP1, OpenVM, Pico i Jolt osiągnęły świetne wyniki w niektórych indywidualnych kategoriach.

Wnioski: RISC Zero, OpenVM i SP1 wykazują szczególnie solidną wydajność, zwłaszcza w wykonywaniu zadań obliczeniowych związanych z EVM, co czyni je doskonałymi kandydatami do skalowania Ethereum. RISC Zero pokazuje wyjątkową efektywność w kluczowych metrykach istotnych dla aplikacji blockchain, a wszystko to przy efektywnym wykorzystaniu pamięci i kompaktowym rozmiarze dowodu. Gratulacje dla @RiscZero, @openvm_org i @SuccinctLabs!