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