RISC Zero在这里做得非常好，我可能更担心Rust标准库或LLVM的bug，而不是他们电路的健全性。不幸的是，这仍然留下了很多担忧的空间！ 编译器bug很常见，而32位RISC-V是一个相当小众的目标。