There are 0 repository under zkvm topic.
Anonymous. Uncensored. Sovereign.
The Nexus zkVM: The zero-knowledge virtual machine
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
A BrainFuck zkVM based on a customised version of PlonkUp
A BrainFuck zkVM implementation on CKB, using Halo2.