零知识证明软件开发商 RISC Zero 宣布其第一个 RISC Zero proof 已在 Starknet Sepolia 测试网上正式得到验证，开发人员可通过 RISC Zero 的 zkVM 使用 Rust 中的 ZKP，实现可验证的链下执行等。