Virtual machine whose execution trace can be proven in zero-knowledge, often RISC-V or custom IR based, enabling general-purpose verifiable compute.