Fully qualified path: corelib_imports ::circuit
u384 A 384-bit unsigned integer, used for circuit values.
AddInputResult The result of filling an input in the circuit instance’s data. This enum represents the state of input filling process, indicating whether all inputs have been provided or more are needed.
u96 A 96-bit unsigned integer type used as the basic building block for multi-limb arithmetic.
CircuitDefinition A trait for defining a circuit’s structure and behavior. This trait is used to define the structure of a circuit, including its inputs,… IntoCircuitInputValue Trait for converting a value to a circuit input value.
CircuitData A type representing a circuit instance data with all the inputs added. CircuitInputAccumulator Type for accumulating inputs into the circuit instance’s data. U96Guarantee A value that is guaranteed to fit in a u96. The destructor of the type verifies that the value is indeed within the range of a u96.
add_circuit_input Fill an input in the circuit instance’s data. init_circuit_data Initializes the input data for running an instance of the circuit. into_u96_guarantee Converts ‘T’ into a ‘U96Guarantee’. ‘T’ must be a value that fits inside a u96, for example: u8, u96 or BoundedInt < 0, 12>.