Odaily Planet Daily News: Zero-knowledge proof software developer RISC Zero announced on X that its first RISC Zero proof has been officially verified on the Starknet Sepolia test network. Developers can use Rust's ZKP through RISC Zero's zkVM to achieve verifiable off-chain execution, etc.