Module column

Enums§

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

MIPS_BYTE_COUNTER_OFF 🔒: The number of bytes of the preimage that have been read so far in this hash
MIPS_CHUNK_BYTES_LEN 🔒: The maximum size of a chunk (4 bytes)
MIPS_END_OF_PREIMAGE_OFF 🔒: A flag indicating whether the preimage has been read fully or not
MIPS_HASH_COUNTER_OFF 🔒: The number of hashes performed so far in the block
MIPS_HAS_N_BYTES_OFF 🔒: Flags indicating whether at least N bytes have been processed in this step
MIPS_LENGTH_BYTES_OFF 🔒: The at most 4-bytes of the length that are currently being processed
MIPS_NUM_BYTES_READ_OFF 🔒: The number of preimage bytes processed in this step
MIPS_PREIMAGE_BYTES_OFF 🔒: The at most 4-bytes of the preimage that are currently being processed Consists of 4 field elements of at most 1 byte each.
MIPS_PREIMAGE_CHUNK_OFF 🔒: The at most 4-byte chunk of the preimage that has been read in this step. Contains a field element of at most 4 bytes.
MIPS_PREIMAGE_KEY 🔒: The location of the preimage key as a field element of 248bits
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.
SCRATCH_SIZE_WITHOUT_KECCAK 🔒

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