Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
RISC Zero fait un si bon travail ici, que je suis probablement plus préoccupé par une bibliothèque Rust std ou un bogue LLVM que par la solidité de leur circuit. Malheureusement, cela laisse encore beaucoup de place à l’inquiétude !
Les bogues du compilateur sont courants, et RISC-V 32 bits est une cible assez niche.
22 avr. 2025
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.
1,51K
Meilleurs
Classement
Favoris