Skip to main content

Module ace

Module ace 

Source

Constantsยง

ACE_CHIPLET_NUM_COLS
Total number of columns making up the ACE chiplet.
ACE_INIT_LABEL
Unique label ACE operation, computed as the chiplet selector with the bits reversed, plus one. selector = [1, 1, 1, 0], flag = rev(selector) + 1 = [0, 1, 1, 1] + 1 = 8
ACE_INSTRUCTION_ID1_OFFSET
Offset of the ID1 wire used when encoding an ACE instruction.
ACE_INSTRUCTION_ID2_OFFSET
Offset of the ID2 wire used when encoding an ACE instruction.
CLK_IDX
The index of the column containing memory clk at which the memory read is performed.
CTX_IDX
The index of the column containing memory context.
EVAL_OP_IDX
The index of the column containing the flag indicating which arithmetic operation to perform.
ID_0_IDX
The index of the column containing ID of the first wire.
ID_1_IDX
The index of the column containing ID of the second wire.
ID_2_IDX
The index of the column containing ID of the third wire.
M_0_IDX
The index of the column containing the multiplicity of the first wire.
M_1_IDX
The index of the column containing the multiplicity of the second wire. This column has the meaning of a multiplicity column only when the rows are READ rows, else it should be interpreted as containing the second base-field element of the value of the third wire.
PTR_IDX
The index of the column containing the pointer from which to read the next two variables or instruction.
READ_NUM_EVAL_IDX
The index of the column containing the index of the first wire being evaluated.
SELECTOR_BLOCK_IDX
The index of the column containing the flag indicating whether the current row performs a READ or EVAL operation.
SELECTOR_START_IDX
The index of the column containing the flag indicating the start of a new circuit evaluation.
V_0_0_IDX
The index of the column containing the first base-field element of the value of the first wire.
V_0_1_IDX
The index of the column containing the second base-field element of the value of the first wire.
V_1_0_IDX
The index of the column containing the first base-field element of the value of the second wire.
V_1_1_IDX
The index of the column containing the second base-field element of the value of the second wire.
V_2_0_IDX
The index of the column containing the first base-field element of the value of the third wire.
V_2_1_IDX
The index of the column containing the second base-field element of the value of the third wire.