RISC Zero 正在构建第一个经过形式验证的 RISC-V zkVM。 使用 @VeridiseInc 的 Picus 工具，我们在数学上证明了电路的确定性。 我们的目标：一个既快又安全的 zkVM，让开发者无需妥协。