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