Fenbushi Capital a récemment publié un article de blog complet sur l’analyse comparative de huit zkVM différentes. () En voici un résumé, y compris les principaux résultats et points à retenir.

Que sont les zkVM ? Les zkVM sont conçues pour vérifier cryptographiquement l’exactitude de l’exécution du programme sans divulguer d’entrées ou d’états de calcul intermédiaires. En ce qui concerne la preuve des blocs Ethereum, les zkVM 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 d’instructions · Épreuves d’instructions

Comment les zkVMs 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 d’analyse comparative standardisé visant à rendre les performances de zkVM plus comparables. Il évalue huit zkVM (SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus et Novanet) sur quatre tâches de calcul et trois indicateurs de performance (temps de démonstration, taille de preuve et utilisation maximale de la RAM).

Parmi les différents systèmes de preuve, il y en a quelques-uns prédominants, tels que FRI-STARK, Nova, Lasso lookup et GKR. Les architectures zkVM peuvent être classées en deux paradigmes prédominants : le style vRAM et le style modulaire.

Matériel et programmes de test utilisés pour l’analyse comparative : Les benchmarks ont été effectués sur un système Linux équipé d’Ubuntu 24.04, de 8 processeurs virtuels, de 192 Go de RAM et d’un GPU NVIDIA RTX 5090 avec 32 Go de VRAM. Les quatre programmes d’essai utilisés pour l’évaluation comprenaient : 1. Calcul du 100 000e nombre de Fibonacci. 2. Calcul du hachage SHA2-2048. 3. Vérification de la signature ECDSA à l’aide de la courbe secp256k1. 4. Simulation de 100 transactions Ethereum Transfer (ETHTransfer).

Temps d’essai pour SHA2-2048 : Pour les opérations cryptographiques telles que SHA2, l’accélération basée sur la précompilation 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é de la mémoire et utilisation maximale de la mémoire : SP1 (GPU), RISC Zero (GPU) ont démontré une consommation de mémoire relativement constante, quel que soit le programme de test.

Les tailles d’épreuve (en kB) ont été observées comme suit : RISC Zero et Jolt ont constamment produit parmi les tailles d’épreuve les plus compactes sur les benchmarks évalués.

Résumé des performances : Dans l’ensemble, les performances de RISC Zero font preuve d’une régularité 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, en particulier dans l’exécution de tâches de calcul liées à l’EVM, ce qui en fait d’excellents candidats pour la mise à l’échelle d’Ethereum. RISC Zero fait preuve d’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 d’épreuve compacte. Félicitations à @RiscZero, @openvm_org et @SuccinctLabs !