Module witness

Structs

Env

This structure represents the environment the virtual machine state will use to transition. This environment will be used by the interpreter. The virtual machine has access to its internal state and some external memory. In addition to that, it has access to the environment of the Keccak interpreter that is used to verify the preimage requested during the execution.

Constants

MAX_ACC

Maximum number of memory or register accesses per instruction

MAX_NB_MEM_ACC

Maximum number of memory accesses per instruction (based on demo)

MAX_NB_REG_ACC

Maximum number of register accesses per instruction (based on demo)

NUM_DECODING_LOOKUP_TERMS

NUM_GLOBAL_LOOKUP_TERMS

NUM_INSTRUCTION_LOOKUP_TERMS

NUM_LOOKUP_TERMS