Fenbushi Capital ga nylig ut et omfattende blogginnlegg om benchmarking av åtte forskjellige zkVM-er. () Her er et sammendrag, inkludert viktige resultater og take-aways.

Hva er zkVM-er? zkVM-er er designet for kryptografisk å verifisere riktigheten av programkjøring uten å avsløre innganger eller mellomliggende beregningstilstander. Når det gjelder å bevise Ethereum-blokker, syntetiserer zkVM-er tre grunnleggende kryptografiske forsikringer for å verifisere alle tilstandsoverganger: · Korrektur for lese- og skriveminnekonsistens · Instruksjon koding bevis · Instruksjoner bevis

Hvordan kan zkVM-er skalere Ethereum? I stedet for å utføre hver transaksjon på nytt, kan validatorer verifisere et kortfattet kryptografisk bevis, som er svært effektivt, og kan øke gjennomstrømningen til L1 betydelig.

Fenbushis blogg introduserer et standardisert benchmarking-rammeverk som tar sikte på å gjøre zkVM-ytelsen mer sammenlignbar. Den evaluerer åtte zkVM-er – SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus og Novanet – på tvers av fire beregningsoppgaver og tre ytelsesberegninger (bevistid, bevisstørrelse og topp RAM-utnyttelse).

Blant de forskjellige bevissystemene er det noen få dominerende, for eksempel FRI-STARK-basert, Nova-basert, Lasso-oppslagsbasert og GKR. zkVM-arkitekturer kan videre kategoriseres i to dominerende paradigmer: vRAM-stil og modulær stil.

Maskinvare og testprogrammer som brukes til benchmarking: Benchmarks ble utført på et Linux-system utstyrt med Ubuntu 24.04, 8 virtuelle CPUer, 192 GB RAM og en NVIDIA RTX 5090 GPU med 32 GB VRAM. De fire testprogrammene som ble brukt til evaluering besto av: 1. Beregning av Fibonacci-tallet nummer 100 000. 2. SHA2–2048 hash-beregning. 3. ECDSA-signaturverifisering ved hjelp av secp256k1-kurven. 4. Simulering av 100 Ethereum Transfer-transaksjoner (ETHTransfer).

Bevistid for SHA2–2048: For kryptografiske operasjoner som SHA2 er prekompilbasert akselerasjon en vanlig optimaliseringsstrategi.

Bevistider for 100 ETHTransfer-transaksjoner: Sammendrag: RISC Zero er litt tregere enn SP1 i Fibonacci-testen, men skiller seg ut i de tre andre testprogrammene som den klare vinneren.

Minneeffektivitet og topp minnebruk: SP1 (GPU), RISC Zero (GPU) viste relativt konstant minneforbruk uavhengig av testprogram.

Prøvestørrelser (i kB) er observert som følger: RISC Zero og Jolt produserte konsekvent blant de mest kompakte prøvestørrelsene på tvers av de evaluerte referansene.

Oppsummering av ytelsen: Totalt sett viser RISC Zeros ytelse eksepsjonell konsistens, mens SP1, OpenVM, Pico og Jolt hver oppnådde god ytelse i noen individuelle kategorier.

Konklusjoner: RISC Zero, OpenVM og SP1 viser spesielt robust ytelse, spesielt i utførelse av EVM-relaterte beregningsoppgaver, noe som gjør dem til gode kandidater for skalering av Ethereum. RISC Zero viser eksepsjonell effektivitet på tvers av nøkkelberegninger som er relevante for blokkjedeapplikasjoner, og alt dette med effektiv minneutnyttelse og kompakt prøvestørrelse. Gratulerer til @RiscZero, @openvm_org og @SuccinctLabs!