Module 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. 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.

Type Aliases§

MIPSWitness
Represents one line of the execution trace of the virtual machine It contains