Structs§
- AddCircuit
Input LibFunc Wrapped - libfunc for adding an input in the circuit instance’s data.
- AddMod
Gate - Represents the action of adding two fields elements in the circuits builtin.
- AddMod
Type - Type for add mod builtin.
- Circuit
- A type that creates a circuit from a tuple of outputs.
- Circuit
Data - A type representing a circuit instance data with all the inputs added.
- Circuit
Descriptor - A type representing the circuit add and mul tables.
- Circuit
Failure Guarantee - A type whose destruction guarantees that the circuit instance invocation failed.
- Circuit
Failure Guarantee Verify LibFunc - Verifies the circuit evaluation has failed.
- Circuit
Info - Describes a circuit in the program.
- Circuit
Input - Circuit input type.
- Circuit
Input Accumulator - Type for accumulating inputs into the circuit instance’s data.
- Circuit
Modulus - A type that can be used as a circuit modulus (a u384 that is not zero or one)
- Circuit
Outputs - A type representing a circuit instance where the outputs is filled.
- Circuit
Partial Outputs - A type representing a circuit instance where the outputs are partially filled as the evaluation of one of the inverse gates failed.
- Concrete
Circuit - Concrete
Circuit Input - Defines an input for a circuit.
- Concrete
GetOutput LibFunc - Struct the data for a multi pop action.
- Concrete
U96Limbs Less Than Guarantee - Concrete
U96Limbs Less Than Guarantee Verify Libfunc - Eval
Circuit LibFunc Wrapped - A zero-input function that returns an handle to the offsets of a circuit.
- Gate
Offsets - Describes the offset that define a gate in a circuit.
- GetCircuit
Descriptor LibFunc Wrapped - A zero-input function that returns an handle to the offsets of a circuit.
- GetOutput
LibFunc - Libfunc for getting an output of a circuit.
- Init
Circuit Data LibFunc Wrapped - Libfunc for initializing the input data for running an instance of the circuit.
- Into
U96Guarantee LibFunc Wrapped - Converts ‘T’ into a ‘U96Guarantee’. ‘T’ must be a value that fits inside a u96, for example: u8, u96 or BoundedInt<0, 12>.
- Inverse
Gate - Represents the action of computing the inverse of a fields element in the circuits builtin.
- MulMod
Gate - Represents the action of multiplying two fields elements in the circuits builtin.
- MulMod
Type - Type for mul mod builtin.
- SubMod
Gate - TryInto
Circuit Modulus LibFunc - Libfunc for checking whether the given
u384(given as 4 limbs ofu96) is zero. - U96Guarantee
- A value that is guaranteed to fit in a u96. This value can only be dropped by being written to a 96bit range check.
- U96Guarantee
Verify LibFunc - Libfunc for verifying and dropping a
U96Guarantee. - U96Limbs
Less Than Guarantee - A type whose destruction guarantees that u96-limbs based value is smaller than another.
- U96Limbs
Less Than Guarantee Verify Libfunc - Verifies that numbers with u96 limbs are one larger than the other.
- U96Single
Limb Less Than Guarantee Verify Libfunc - Verifies that numbers with a single u96 limb are one larger than the other.
Enums§
Constants§
- MOD_
BUILTIN_ INSTANCE_ SIZE - The size of the AddMod and MulMod builtin instances.
- OFFSETS_
PER_ GATE - A gate is defined by 3 offsets, the first two are the inputs and the third is the output.
- ONE_
OFFSET - The offset of the values in the values array.
- VALUE_
SIZE - The number of limbs used to represent a single value in the circuit.