A curated list of awesome zero-knowledge virtual machine.
Here is the list of zkVMs in the markets (let me know if there are any omissions)：
- Jolt by a16zcrypto
- Nexus by NexusLabsHQ
- Risc0 by RiscZero
- Sp1 by SuccinctLabs
- Valida by lita_xyz
- zkOS by the matter labs
- Miden by Oxpolygon
- Ola by ola_zkzkvm
- TritonVM by seagodcrypto
- CarioVM by StarkWareLtd