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