binius_m3::gadgets::add

Type Alias U64Incr

Source 
pub type U64Incr = Incr<u64, 64>;

Aliased Type§

struct U64Incr {
    pub input: [Col<BinaryField1b>; 64],
    pub zout: [Col<BinaryField1b>; 64],
    pub final_carry_out: Col<BinaryField1b>,
    /* private fields */
}

Fields§

§input: [Col<BinaryField1b>; 64]

Input column as bits.

§zout: [Col<BinaryField1b>; 64]

Output column as bits.

§final_carry_out: Col<BinaryField1b>

Output carry bit if there is any.