私は、検証可能なコンピューティング (別名 "ゼロ知識証明/ZKP") のための RISC-V と LLVM の長期的な評価に弱気です。なぜなら、ほとんどの人はすべての健全性のバグを排除することの難しさを非常に過小評価し、そのようなバグが 1 つでも悲惨な結果を非常に過小評価していると思うからです。 ⤵️
18.42K