Module o1vm::mips::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.
• SyscallEnv

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
• SCRATCH_SIZE