Fenbushi Capital släppte nyligen ett omfattande blogginlägg om benchmarking av åtta olika zkVM:er. () Här är en sammanfattning, inklusive viktiga resultat och slutsatser.

Vad är zkVMs? zkVM:er är utformade för att kryptografiskt verifiera riktigheten av programkörning utan att avslöja indata eller mellanliggande beräkningstillstånd. När det gäller att bevisa Ethereum-block syntetiserar zkVM:er tre grundläggande kryptografiska försäkringar för att verifiera alla tillståndsövergångar: · Konsekvensbevis för läs- och skrivminne · Bevis för instruktionskodning · Bevis på instruktioner

Hur kan zkVMs skala Ethereum? Istället för att utföra varje transaktion på nytt kan validerare verifiera ett kortfattat kryptografiskt bevis, vilket är mycket effektivt och kan öka genomströmningen av L1 avsevärt.

Fenbushis blogg introducerar ett standardiserat benchmarkingramverk som syftar till att göra zkVM-prestanda mer jämförbar. Den utvärderar åtta zkVM:er – SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus och Novanet – över fyra beräkningsuppgifter och tre prestandamått (bevistid, provstorlek och maximal RAM-användning).

Bland de olika bevissystemen finns det några dominerande, till exempel FRI-STARK-baserad, Nova-baserad, Lasso-uppslagsbaserad och GKR. zkVM-arkitekturer kan vidare kategoriseras i två dominerande paradigm: vRAM-stil och modulär stil.

Hårdvara och testprogram som används för benchmarking: Benchmarks utfördes på ett Linux-system utrustat med Ubuntu 24.04, 8 virtuella CPU:er, 192 GB RAM och en NVIDIA RTX 5090 GPU med 32 GB VRAM. De fyra testprogram som användes för utvärdering omfattade: 1. Beräkning av det 100 000:e Fibonacci-talet. 2. SHA2–2048 hash-beräkning. 3. Verifiering av ECDSA-signatur med hjälp av secp256k1-kurvan. 4. Simulering av 100 Ethereum Transfer-transaktioner (ETHTransfer).

Testtid för SHA2–2048: För kryptografiska åtgärder som SHA2 är förkompileringsbaserad acceleration en vanlig optimeringsstrategi.

Bevistider för 100 ETHTransfer-transaktioner: Sammanfattning: RISC Zero är något långsammare än SP1 i Fibonacci-testet, men sticker ut i de andra tre testprogrammen som den klara vinnaren.

Minneseffektivitet och högsta minnesanvändning: SP1 (GPU), RISC Zero (GPU) uppvisade relativt konstant minnesförbrukning oavsett testprogram.

Provstorlekar (i kB) har observerats enligt följande: RISC Zero och Jolt har konsekvent producerat bland de mest kompakta provstorlekarna i de utvärderade prestandatesterna.

Sammanfattning av prestanda: Sammantaget visar RISC Zeros prestanda exceptionell konsistens, medan SP1, OpenVM, Pico och Jolt var och en nådde bra prestanda i några enskilda kategorier.

Slutsatser: RISC Zero, OpenVM och SP1 uppvisar särskilt robust prestanda, särskilt när det gäller att utföra EVM-relaterade beräkningsuppgifter, vilket gör dem till utmärkta kandidater för att skala Ethereum. RISC Zero uppvisar exceptionell effektivitet över viktiga mätvärden som är relevanta för blockkedjeapplikationer, och allt detta med effektiv minnesanvändning och kompakt bevisstorlek. Grattis till @RiscZero, @openvm_org och @SuccinctLabs!