Module o1vm::interpreters::mips::column

Enums

• ColumnAlias
  Abstract columns (or variables of our multi-variate polynomials) that will be used to describe our constraints.

Constants

• N_MIPS_COLS
  All the witness columns used in MIPS
• N_MIPS_REL_COLS
  The number of columns used for relation witness in the MIPS circuit
• N_MIPS_SEL_COLS
  The number of witness columns used to store the instruction selectors.
• SCRATCH_SIZE
• SCRATCH_SIZE_INVERSE
  Number of columns used by the MIPS interpreter to keep values to be inverted.

Type Definitions

• MIPSWitness
  Represents one line of the execution trace of the virtual machine It contain