"Go lock hundreds of millions of dollars behind contracts using the zkVM." -@BruestleJeremy

RISC Zero's zkVM: Production-ready. Rigorously tested.

Seriously.