A Brainfuck zkVM with Circom.
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Benchmarks of popular zkVMs including Jolt