Structs§
- Ace
- Arithmetic circuit evaluation (ACE) chiplet.
- Chiplets
- This module manages the VM’s hasher, bitwise, memory, arithmetic circuit evaluation (ACE) and kernel ROM chiplets and is responsible for building a final execution trace from their stacked execution traces and chiplet selectors.
- Chiplets
Trace - Circuit
Evaluation - Contains the variable and evaluation nodes resulting from the evaluation of a circuit. The output value is checked to be equal to 0.
- Merkle
Root Update - Result of a Merkle tree node update.
- Poseidon2
Permutation Trace
Constants§
- MAX_
EVAL_ CIRCUIT_ INVOCATIONS - Maximum number of
eval_circuitinvocations recorded in an execution witness. - MAX_
EVAL_ CIRCUIT_ WIRES - Maximum combined number of READ and EVAL wires accepted by one
eval_circuitoperation. - MAX_
NUM_ ACE_ WIRES - PTR_
OFFSET_ ELEM - PTR_
OFFSET_ WORD