Trait snarkvm_gadgets::traits::bits::rca::RippleCarryAdder [−][src]
pub trait RippleCarryAdder<F: Field, Rhs = Self> where
Self: Sized, { fn add_bits<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Vec<Boolean>, SynthesisError>; }
Expand description
Returns the bitwise sum of a n-bit number with carry bit