According to Foresight News, software developer RISC Zero has officially launched zkVM 1.0, a production-ready iteration of its general-purpose zkVM. The system can generate proofs for any program written in Rust and is compatible with multiple chains, allowing proof verification on any chain. RISC Zero claims that zkVM 1.0 is more cost-effective than competing proof systems like Plonky 3.
Before the launch of zkVM, RISC Zero held a trusted setup ceremony, underwent a security audit, and released its verifier on several platforms including Ethereum, Base, OP, Arbitrum, World Chain, and Starknet. Developers can now use zkVM to create ZK-driven DApps on any chain.