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.