Module column
Source - ColumnAlias
- Abstract columns (or variables of our multi-variate polynomials) that will
be used to describe our constraints.
- 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.
NOTE: The +1 is coming from the NoOp instruction.
- SCRATCH_SIZE
- SCRATCH_SIZE_INVERSE
- Number of columns used by the MIPS interpreter to keep values to be
inverted.
- MIPSWitness
- Represents one line of the execution trace of the virtual machine
It contains