Est-ce difficile ? Oui Nos bugs de solidité dévastateurs ? Oui Sommes-nous plus proches que vous ne le pensez ? Oui Dès le premier jour, oui, le jour même où nous avons publié notre système de preuve, @RiscZero avons commencé le long processus de vérification formelle de notre zkVM. Récemment, nous avons lancé « Picus » qui prouve mathématiquement le déterminisme dans nos circuits pendant l’IC ! C’est la cause de 96 % des bugs de solidité dans les systèmes ZK (Per ZK-Security). Cet effort, ainsi que d’autres sur lesquels nous travaillons, montrent que nous pouvons obtenir un RISC-V zkVM dont la qualité a été prouvée plus rapidement que vous ne le pensez.