libfunc for adding an input in the circuit instance’s data.
Represents the action of adding two fields elements in the circuits builtin.
Type for add mod builtin.
A type that creates a circuit from a tuple of outputs.
A type representing a circuit instance data with all the inputs added.
A type representing the circuit add and mul tables.
A type whose destruction guarantees that the circuit instance invocation failed.
Verifies the the circuit evaluation has failed.
Describes a circuit in the program.
Circuit input type.
Type for accumulating inputs into the circuit instance’s data.
A type that can be used as a circuit modulus (a u384 that is not zero or one)
A type representing a circuit instance where the outputs is filled.
A type representing a circuit instance where the outputs are partially filled as
the evaluation of one of the inverse gates failed.
Defines an input for a circuit.
Struct the data for a multi pop action.
A zero-input function that returns an handle to the offsets of a circuit.
Describes the offset that define a gate in a circuit.
A zero-input function that returns an handle to the offsets of a circuit.
Libfunc for getting an output of a circuit.
Libfunc for initializing the input data for running an instance of the circuit.
Converts ‘T’ into a ‘U96Guarantee’.
‘T’ must be a value that fits inside a u96, for example: u8, u96 or BoundedInt<0, 12>.
Represents the action of computing the inverse of a fields element in the circuits builtin.
Represents the action of multiplying two fields elements in the circuits builtin.
Type for mul mod builtin.
Libfunc for checking whether the given u384 (given as 4 limbs of u96) is zero.
A value that is guaranteed to fit in a u96.
This value can only be dropped by being written to a 96bit range check.
Libfunc for verifying and dropping a U96Guarantee.
A type whose destruction guarantees that u96-limbs based value is smaller than another.
Verifies that numbers with u96 limbs are one larger than the other.
Verifies that numbers with a single u96 limb are one larger than the other.