According to Foresight News, zero-knowledge proof software developer RISC Zero has announced that its first RISC Zero proof has been officially verified on the Starknet Sepolia testnet. This milestone allows developers to utilize RISC Zero's zkVM to implement verifiable off-chain execution using ZKP in Rust.