Je suis pessimiste sur RISC-V et LLVM à long terme pour l’informatique vérifiable (alias « zero-knowledge-proving/ZKP »), parce que je pense que la plupart des gens sous-estiment grandement la difficulté d’éliminer tous les bogues de solidité, et sous-estiment grandement les conséquences désastreuses d’un seul bogue. ⤵️
18,42K