Les deux versions sont alignées bloc par bloc, dans l’ordre du texte : titre, l’essentiel, puis paragraphe par paragraphe. Quand la traduction a fusionné ou scindé un paragraphe, la case correspondante reste vide — on ne rapproche jamais deux passages au jugé.
A valid Ethereum block can run cleanly on every node and still hit a wall: the machine asked to prove it may crash on an obscure instruction. zkvmBlast, a new differential fuzzer for RISC-V zero-knowledge virtual machines, is designed to find that kind of failure before proving becomes part of Ethereum’s core path.
Un bloc Ethereum valide peut s’exécuter sans problème sur chaque nœud et se heurter malgré tout à un mur : la machine chargée de le prouver peut planter sur une instruction obscure. zkvmBlast, un nouveau fuzzer différentiel pour les machines virtuelles zero-knowledge RISC-V, est conçu pour détecter ce type de défaillance avant que la génération de preuves ne devienne un élément central du fonctionnement d’Ethereum.
The tool takes one program, runs it across multiple zkVMs and a reference simulator, then reports disagreements. It looks for soundness bugs, where a prover could convince a verifier of something false, and completeness bugs, where a valid program cannot be proved. It also checks executor correctness: whether the zkVM actually follows the RISC-V specification, the instruction set it is supposed to implement.
L’outil prend un programme, l’exécute sur plusieurs zkVM et sur un simulateur de référence, puis signale les divergences. Il recherche les bugs de solidité, qui pourraient permettre à un prouveur de convaincre un vérificateur qu’une affirmation fausse est vraie, ainsi que les bugs de complétude, lorsqu’un programme valide ne peut pas être prouvé. Il vérifie également la correction de l’exécuteur : la conformité effective de la zkVM avec la spécification RISC-V, c’est-à-dire le jeu d’instructions qu’elle est censée implémenter.
The first campaigns found seven distinct completeness and correctness bugs across SP1, Pico, and OpenVM. Each was responsibly disclosed. The work also reproduced a known soundness bug in RISC0. The findings were made as Ethereum’s relationship with zkVMs is changing: systems once used mainly by rollups, bridges, or coprocessors are being considered for proving ordinary Ethereum blocks.
Les premières campagnes ont découvert sept bugs distincts de complétude et de correction dans SP1, Pico et OpenVM. Chacun a fait l’objet d’un signalement responsable. Ces travaux ont également reproduit un bug de solidité connu dans RISC0. Ces découvertes interviennent alors que la relation d’Ethereum avec les zkVM évolue : des systèmes autrefois principalement utilisés par les rollups, les bridges ou les coprocesseurs sont désormais envisagés pour prouver les blocs ordinaires d’Ethereum.
That shift raises the cost of a seemingly harmless failure. A completeness bug does not let an attacker forge a balance; it may simply prevent a legitimate execution from producing a proof. But if Ethereum requires blocks to carry validity proofs, an accidental crash—or a transaction deliberately crafted to trigger one—could stop proving and threaten the chain’s liveness. The Ethereum Foundation’s Ethproofs project tracks proof latency and cost for real mainnet blocks, while its zkEVM team also tests worst-case, adversarial blocks.
Ce changement augmente le coût d’une défaillance apparemment anodine. Un bug de complétude ne permet pas à un attaquant de falsifier un solde ; il peut simplement empêcher une exécution légitime de produire une preuve. Mais si Ethereum exige que les blocs soient accompagnés de preuves de validité, un plantage accidentel — ou une transaction conçue délibérément pour le provoquer — pourrait interrompre la génération de preuves et menacer la vivacité de la chaîne. Le projet Ethproofs de la Fondation Ethereum suit la latence et le coût des preuves pour de vrais blocs du réseau principal, tandis que son équipe zkEVM teste également des blocs adverses correspondant aux pires scénarios.
So what changes in practice? zkvmBlast gives developers a way to compare implementations against one another and against a RISC-V reference before those implementations carry protocol-level responsibility. It does not show that Ethereum is already proving every block, nor that the bugs found would halt the network today. It shows where the next engineering pressure point lies: making rare instructions and corner cases as dependable as the headline proving benchmarks.
Qu’est-ce qui change en pratique ? zkvmBlast offre aux développeurs un moyen de comparer les implémentations entre elles et avec une référence RISC-V avant que ces implémentations n’assument une responsabilité au niveau du protocole. Il ne montre pas qu’Ethereum prouve déjà chaque bloc, ni que les bugs découverts pourraient arrêter le réseau aujourd’hui. Il montre où se situe le prochain point de pression technique : rendre les instructions rares et les cas limites aussi fiables que les performances de génération de preuves mises en avant dans les benchmarks.