Fenbushi Capital ha recentemente pubblicato un post completo sul blog sul benchmarking di otto diverse zkVM. () Ecco un riassunto, compresi i risultati chiave e i take-away.

Cosa sono le zkVM? Le zkVM sono progettate per verificare crittograficamente la correttezza dell'esecuzione del programma senza rivelare input o stati computazionali intermedi. Per quanto riguarda la dimostrazione dei blocchi di Ethereum, le zkVM sintetizzano tre garanzie crittografiche fondamentali per verificare tutte le transizioni di stato: · Verifiche di coerenza della memoria in lettura/scrittura · Prove di codifica delle istruzioni · Prove di istruzioni

In che modo le zkVM possono scalare Ethereum? Invece di rieseguire ogni transazione, i validatori potrebbero verificare una prova crittografica succinta, che è molto efficiente e potrebbe aumentare significativamente il throughput dell'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) in quattro attività computazionali e tre metriche delle prestazioni (tempo di proiezione, dimensione della prova e picco di utilizzo della RAM).

Tra i diversi sistemi di dimostrazione, ce ne sono alcuni predominanti, come FRI-STARK-based, Nova-based, Lasso lookup-based e GKR. Le architetture zkVM possono essere ulteriormente classificate 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 dotato di Ubuntu 24.04, 8 CPU virtuali, 192 GB di RAM e una GPU NVIDIA RTX 5090 con 32 GB di VRAM. I quattro programmi di test utilizzati per la valutazione comprendevano: 1. Calcolo del numero 100.000 di Fibonacci. 2. Calcolo 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 le operazioni crittografiche come SHA2, l'accelerazione basata sulla precompilazione è 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 picco di utilizzo della memoria: SP1 (GPU), RISC Zero (GPU) hanno dimostrato un consumo di memoria relativamente costante indipendentemente dal programma di test.

Le dimensioni della dimostrazione (in kB) sono state osservate come segue: RISC Zero e Jolt hanno prodotto costantemente tra le 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 singole categorie.

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!