Estou pessimista com RISC-V e LLVM a longo prazo para computação verificável (também conhecido como "prova de conhecimento zero / 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