Module program

Structs

• ProgramChip
  A chip that implements addition for the opcodes ADD and ADDI.
• ProgramMultiplicityCols
  The column layout for the chip.
• ProgramPreprocessedCols
  The column layout for the chip.

Constants

• NUM_PROGRAM_MULT_COLS
  The number of columns for the program multiplicities.
• NUM_PROGRAM_PREPROCESSED_COLS
  The number of preprocessed program columns.