Zero-knowledge proof software developer RISC Zero has announced that its first RISC Zero proof has been officially validated on the Starknet Sepolia testnet, allowing developers to use ZKP in Rust through RISC Zero's zkVM for verifiable off-chain execution and more.