zkVMs are open-source & free, generating value through a prover marketplace where reliable provers will become essential as demand grows. Risc Zero's Zeth enables proofs for L2s and represents a step toward long-awaited light client implementations.