Constantsยง
- ADDR_
COL_ IDX - Index of the column holding code block IDs (which are row addresses from the hasher table).
- DECODER_
OP_ BITS_ OFFSET - DECODER_
USER_ OP_ HELPERS_ OFFSET - GROUP_
COUNT_ COL_ IDX - Index of the operation group count column in the decoder trace.
- HASHER_
STATE_ OFFSET - Index at which hasher state columns start in the decoder trace.
- HASHER_
STATE_ RANGE - Location of hasher columns in the decoder trace.
- IN_
SPAN_ COL_ IDX - Index of the in_span column in the decoder trace.
- IS_
CALL_ FLAG_ COL_ IDX - Index of a flag column which indicates whether an ending block is a CALL or DYNCALL block.
- IS_
LOOP_ BODY_ FLAG_ COL_ IDX - Index of a flag column which indicates whether an ending block is a body of a loop.
- IS_
LOOP_ FLAG_ COL_ IDX - Index of a flag column which indicates whether an ending block is a LOOP block.
- IS_
SYSCALL_ FLAG_ COL_ IDX - Index of a flag column which indicates whether an ending block is a SYSCALL block.
- NUM_
HASHER_ COLUMNS - Number of hasher columns in the decoder trace.
- NUM_
OP_ BATCH_ FLAGS - Number of operation batch flag columns.
- NUM_
OP_ BITS - Number of columns needed to hold a binary representation of opcodes.
- NUM_
OP_ BITS_ EXTRA_ COLS - Number of columns needed for degree reduction of the operation flags.
- NUM_
USER_ OP_ HELPERS - Number of helper registers available to user ops.
- OP_
BATCH_ 1_ GROUPS - Operation batch consists of 1 operation group.
- OP_
BATCH_ 2_ GROUPS - Operation batch consists of 2 operation groups.
- OP_
BATCH_ 4_ GROUPS - Operation batch consists of 4 operation groups.
- OP_
BATCH_ 8_ GROUPS - Operation batch consists of 8 operation groups.
- OP_
BATCH_ FLAGS_ OFFSET - Index at which operation batch flag columns start in the decoder trace.
- OP_
BATCH_ FLAGS_ RANGE - Location of operation batch flag columns in the decoder trace.
- OP_
BITS_ EXTRA_ COLS_ OFFSET - Index at which the op bits extra columns start in the decoder trace.
- OP_
BITS_ EXTRA_ COLS_ RANGE - Location of the operation bits extra columns (for degree reduction) in the decoder trace.
- OP_
BITS_ OFFSET - Index at which operation bit columns start in the decoder trace.
- OP_
BITS_ RANGE - Location of operation bits columns in the decoder trace.
- OP_
INDEX_ COL_ IDX - Index of the operation index column in the decoder trace.
- P1_
COL_ IDX - Running product column representing block stack table.
- P2_
COL_ IDX - Running product column representing block hash table
- P3_
COL_ IDX - Running product column representing op group table.
- USER_
OP_ HELPERS_ OFFSET - Index at which helper registers available to user ops start. The first two helper registers are used by the decoder itself.