INTRODUCING ZKVM 1.0: THE FUTURE OF VERIFIABLE COMPUTATION

Summary from the TLDR Crypto newsletter

RiscZero's zkVM is the first production-ready zkVM. It makes zero-knowledge proofs available and cost-effective for any chain. Any Rust program can be proven and verified across chains, allowing for greater cross-chain compatibility. It claims to beat Succinct's SP1 zkVM in both cost and speed on various hardware setups.