Module o1vm::interpreters::mips::column

source ·

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.

Type Definitions

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