Module vm_heap 

VM heap variable definitions and utility functions VM heap type abstractions

Macros

impl_try_from 🔒

Enums

HeapVar

These represent the witness types inside the circuit

Witness

These represent the witness types outside of the circuit

Functions

empty_witnesses

Helper function for verifiers to generate empty witnesses for a given decoded zkas binary