Fenbushi Capital ha recentemente pubblicato un post sul blog completo sul benchmarking di otto diversi zkVM. () Ecco un riepilogo, inclusi i risultati chiave e le conclusioni.

Cosa sono gli zkVM? Gli zkVM sono progettati per verificare in modo crittografico la correttezza dell'esecuzione dei programmi senza rivelare input o stati computazionali intermedi. Per quanto riguarda la prova dei blocchi di Ethereum, gli zkVM sintetizzano tre fondamentali garanzie crittografiche per verificare tutte le transizioni di stato: · Prove di coerenza della memoria di lettura-scrittura · Prove di codifica delle istruzioni · Prove delle istruzioni

Come possono gli zkVM scalare Ethereum? Invece di rieseguire ogni transazione, i validatori potrebbero verificare una prova crittografica succinta, che è molto efficiente e potrebbe aumentare significativamente il throughput del L1.

Il blog di Fenbushi introduce un framework di benchmarking standardizzato volto a rendere le prestazioni di zkVM più comparabili. Valuta otto zkVM — SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus e Novanet — su quattro compiti computazionali e tre metriche di prestazione (tempo del provatore, dimensione della prova e utilizzo massimo della RAM).

Tra i diversi sistemi di prova, ce ne sono alcuni predominanti, come quelli basati su FRI-STARK, Nova, Lasso lookup e GKR. Le architetture zkVM possono essere ulteriormente suddivise in due paradigmi predominanti: stile vRAM e stile modulare.

Hardware e programmi di test utilizzati per il benchmarking: I benchmark sono stati condotti su un sistema Linux equipaggiato con Ubuntu 24.04, 8 CPU virtuali, 192GB di RAM e una GPU NVIDIA RTX 5090 con 32GB di VRAM. I quattro programmi di test utilizzati per la valutazione comprendevano: 1. Calcolo del 100.000° numero di Fibonacci. 2. Computazione dell'hash SHA2–2048. 3. Verifica della firma ECDSA utilizzando la curva secp256k1. 4. Simulazione di 100 transazioni di trasferimento Ethereum (ETHTransfer).

Tempo di prova per SHA2–2048: Per operazioni crittografiche come SHA2, l'accelerazione basata su precompilati è una strategia di ottimizzazione comune.

Tempi di prova per 100 transazioni di trasferimento ETH: Riepilogo: RISC Zero è leggermente più lento di SP1 nel test di Fibonacci, ma si distingue negli altri tre programmi di test come il chiaro vincitore.

Efficienza della memoria e utilizzo massimo della memoria: SP1 (GPU) e RISC Zero (GPU) hanno dimostrato un consumo di memoria relativamente costante indipendentemente dal programma di test.

Le dimensioni delle prove (in kB) sono state osservate come segue: RISC Zero e Jolt hanno costantemente prodotto alcune delle dimensioni di prova più compatte tra i benchmark valutati.

Riepilogo delle prestazioni: Nel complesso, le prestazioni di RISC Zero dimostrano un'eccezionale coerenza, mentre SP1, OpenVM, Pico e Jolt hanno raggiunto ottime prestazioni in alcune categorie individuali.

Conclusions: RISC Zero, OpenVM, and SP1 demonstrate particularly robust performance, especially in executing EVM-related computational tasks, which makes them great candidates for scaling Ethereum. RISC Zero shows exceptional efficiency across key metrics that are relevant to blockchain applications, and all this with efficient memory utilization and compact proof size. Congrats to @RiscZero, @openvm_org and @SuccinctLabs!