Eu sou pessimista em RISC-V e LLVM a longo prazo para computação verificável (também conhecido como "zero-knowledge-proving/ZKP"), porque acho que a maioria das pessoas subestima muito a dificuldade de eliminar todos os bugs de solidez, e subestima muito as consequências desastrosas de até mesmo um desses bugs. ⤵️
18,41K