pub fn incr_circuit() -> ArithCircuit<B128>Expand description
Returns a circuit that describes the increment operation for an 8-bit addition. The circuit encodes input, output, carry-in, and carry-out into a single value.
pub fn incr_circuit() -> ArithCircuit<B128>Returns a circuit that describes the increment operation for an 8-bit addition. The circuit encodes input, output, carry-in, and carry-out into a single value.