Extern functions
| 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>. |