Fenbushi Capital a récemment publié un article de blog complet sur l'évaluation de huit zkVM différents. () Voici un résumé, y compris les résultats clés et les enseignements à tirer.

Qu'est-ce que les zkVMs ? Les zkVMs sont conçus pour vérifier de manière cryptographique l'exactitude de l'exécution des programmes sans divulguer les entrées ou les états de calcul intermédiaires. En ce qui concerne la preuve des blocs Ethereum, les zkVMs synthétisent trois garanties cryptographiques fondamentales pour vérifier toutes les transitions d'état : · Preuves de cohérence de la mémoire en lecture-écriture · Preuves d'encodage des instructions · Preuves d'instructions

Comment les zkVM peuvent-ils faire évoluer Ethereum ? Au lieu de réexécuter chaque transaction, les validateurs pourraient vérifier une preuve cryptographique succincte, ce qui est très efficace, et pourrait augmenter considérablement le débit du L1.

Le blog de Fenbushi présente un cadre de référence standardisé visant à rendre la performance des zkVM plus comparable. Il évalue huit zkVM — SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus et Novanet — sur quatre tâches computationnelles et trois indicateurs de performance (temps de preuve, taille de la preuve et utilisation maximale de la RAM).

Parmi les différents systèmes de preuve, il en existe quelques-uns de prédominants, tels que ceux basés sur FRI-STARK, Nova, Lasso lookup et GKR. Les architectures zkVM peuvent être davantage catégorisées en deux paradigmes prédominants : le style vRAM et le style modulaire.

Matériel et programmes de test utilisés pour le benchmarking : Les benchmarks ont été réalisés sur un système Linux équipé d'Ubuntu 24.04, de 8 CPU virtuels, de 192 Go de RAM et d'un GPU NVIDIA RTX 5090 avec 32 Go de VRAM. Les quatre programmes de test utilisés pour l'évaluation comprenaient : 1. Calcul du 100 000ème nombre de Fibonacci. 2. Calcul du hachage SHA2–2048. 3. Vérification de signature ECDSA utilisant la courbe secp256k1. 4. Simulation de 100 transactions de transfert Ethereum (ETHTransfer).

Temps de preuve pour SHA2–2048 : Pour les opérations cryptographiques comme SHA2, l'accélération basée sur des précompilations est une stratégie d'optimisation courante.

Temps de preuve pour 100 transactions de transfert de 100 ETH : Résumé : RISC Zero est légèrement plus lent que SP1 dans le test de Fibonacci, mais se distingue dans les trois autres programmes de test en tant que gagnant clair.

Efficacité mémoire et utilisation maximale de la mémoire : SP1 (GPU), RISC Zero (GPU) ont démontré une consommation de mémoire relativement constante, indépendamment du programme de test.

Les tailles de preuve (en kB) ont été observées comme suit : RISC Zero et Jolt ont systématiquement produit parmi les tailles de preuve les plus compactes dans les benchmarks évalués.

Résumé des performances : Dans l'ensemble, les performances de RISC Zero montrent une cohérence exceptionnelle, tandis que SP1, OpenVM, Pico et Jolt ont chacun atteint d'excellentes performances dans certaines catégories individuelles.

Conclusions : RISC Zero, OpenVM et SP1 démontrent des performances particulièrement robustes, notamment dans l'exécution des tâches computationnelles liées à l'EVM, ce qui en fait d'excellents candidats pour l'évolutivité d'Ethereum. RISC Zero montre une efficacité exceptionnelle sur des indicateurs clés pertinents pour les applications blockchain, et tout cela avec une utilisation efficace de la mémoire et une taille de preuve compacte. Félicitations à @RiscZero, @openvm_org et @SuccinctLabs !