binius_m3::gadgets::indexed_lookup::incr

Function carry_in_circuit

Source 
pub fn carry_in_circuit(i: usize) -> ArithExpr<B128>
Expand description

Returns a circuit that describes the carry-in for the i_th bit of incrementing an 8-bit number by a carry-in bit. The circuit is a product of the lower bits.