Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
While integrating AIR constraint evaluation into tasm-lib it would be very convenient if I could just read the number of constraints from Triton VM. Just making these four constants public would suffice: NUM_INITIAL_CONSTRAINTS, NUM_CONSISTENCY_CONSTRAINTS, NUM_TRANSITION_CONSTRAINTS, NUM_TERMINAL_CONSTRAINTS.
While integrating AIR constraint evaluation into
tasm-libit would be very convenient if I could just read the number of constraints from Triton VM. Just making these four constants public would suffice:NUM_INITIAL_CONSTRAINTS,NUM_CONSISTENCY_CONSTRAINTS,NUM_TRANSITION_CONSTRAINTS,NUM_TERMINAL_CONSTRAINTS.