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