Module vm 

Halo2 zkas virtual machine

Re-exports

pub use super::vm_heap::HeapVar;

pub use super::vm_heap::Witness;

Structs

VmConfig

zkvm configuration

ZkCircuit

ZkParams

Configuration parameters for the circuit. Defines which chips we need to initialize and configure.

Enums

VmChip 🔒

Available chips/gadgets in the zkvm