I’m bearish on RISC-V and LLVM long-term for verifiable computing (aka “zero-knowledge-proving/ZKP”), because I think most people greatly underestimate the difficulty of eliminating all soundness bugs, and greatly underestimate the disastrous consequences of even one such bug.⤵️
18,41K