据金色财经报道,零知识证明软件开发商 RISC Zero 宣布其首个 RISC Zero proof 已在 Starknet Sepolia 测试网上成功通过验证。开发人员现在可以借助 RISC Zero 的 zkVM,利用 Rust 中的 ZKP,实现可验证的链下执行等功能。