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

Co to są zkVMs? Maszyny zkVM są przeznaczone do kryptograficznej weryfikacji poprawności wykonania programu bez ujawniania danych wejściowych lub pośrednich stanów obliczeniowych. Jeśli chodzi o udowadnianie bloków Ethereum, zkVM syntetyzują trzy podstawowe gwarancje kryptograficzne w celu weryfikacji wszystkich przejść stanu: · Dowody spójności pamięci do odczytu i zapisu · Instrukcje kodowania dowodów · Dowody instruktażowe

W jaki sposób zkVM mogą skalować Ethereum? Zamiast ponownie wykonywać każdą transakcję, walidatorzy mogliby zweryfikować zwięzły dowód kryptograficzny, który jest bardzo wydajny i może znacznie zwiększyć przepustowość L1.

Blog Fenbushi przedstawia ustandaryzowaną strukturę testów porównawczych, której celem jest 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 wskaźnikach wydajności (czas przetwarzania, rozmiar dowodu i szczytowe wykorzystanie pamięci RAM).

Wśród różnych systemów dowodowych istnieje kilka dominujących, takich jak oparty na FRI-STARK, oparty na Nova, oparty na wyszukiwaniu Lasso i 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 testów porównawczych: Testy zostały przeprowadzone na systemie Linux wyposażonym w Ubuntu 24.04, 8 wirtualnych procesorów, 192 GB pamięci RAM oraz procesor graficzny NVIDIA RTX 5090 z 32 GB pamięci VRAM. Cztery programy testowe wykorzystane do oceny obejmowały: 1. Obliczanie 100 000. liczby Fibonacciego. 2. Obliczanie skrótu SHA2–2048. 3. Weryfikacja podpisu ECDSA przy użyciu krzywej secp256k1. 4. Symulacja 100 transakcji Ethereum Transfer (ETHTransfer).

Czas na próbę dla SHA2–2048: W przypadku operacji kryptograficznych, takich jak SHA2, akceleracja oparta na prekompilacji jest typową 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 użycie pamięci: SP1 (GPU), RISC Zero (GPU) wykazywały względnie stałe zużycie pamięci niezależnie od programu testowego.

Rozmiary dowodu (w kB) zaobserwowano w następujący sposób: RISC Zero i Jolt konsekwentnie produkowały jedne z najbardziej kompaktowych rozmiarów próbnych we wszystkich ocenianych testach porównawczych.

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 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 świetnymi kandydatami do skalowania Ethereum. RISC Zero wykazuje wyjątkową wydajność w kluczowych wskaźnikach, które są istotne dla aplikacji blockchain, a wszystko to przy efektywnym wykorzystaniu pamięci i kompaktowym rozmiarze dowodu. Gratulacje dla @RiscZero, @openvm_org i @SuccinctLabs!