从长期来看，我对 RISC-V 和 LLVM 在可验证计算（即“零知识证明/ZKP”）领域持悲观态度，因为我认为大多数人严重低估了消除所有健全性漏洞的难度，也严重低估了哪怕一个此类漏洞所带来的灾难性后果。⤵️