Trait snarkvm_wasm::traits::bits::rca::RippleCarryAdder

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>;
}

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>, 

Implementations on Foreign Types

impl<F> RippleCarryAdder<F, Vec<Boolean, Global>> for Vec<Boolean, Global> where
    F: Field, 

pub fn add_bits<CS>(
    &self,
    cs: CS,
    other: &Vec<Boolean, Global>
) -> Result<Vec<Boolean, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

Implementors

impl<F> RippleCarryAdder<F, Int8> for Int8 where
    F: Field + PrimeField, 

pub fn add_bits<CS>(
    &self,
    cs: CS,
    other: &Int8
) -> Result<Vec<Boolean, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> RippleCarryAdder<F, Int16> for Int16 where
    F: Field + PrimeField, 

pub fn add_bits<CS>(
    &self,
    cs: CS,
    other: &Int16
) -> Result<Vec<Boolean, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> RippleCarryAdder<F, Int32> for Int32 where
    F: Field + PrimeField, 

pub fn add_bits<CS>(
    &self,
    cs: CS,
    other: &Int32
) -> Result<Vec<Boolean, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> RippleCarryAdder<F, Int64> for Int64 where
    F: Field + PrimeField, 

pub fn add_bits<CS>(
    &self,
    cs: CS,
    other: &Int64
) -> Result<Vec<Boolean, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> RippleCarryAdder<F, Int128> for Int128 where
    F: Field + PrimeField, 

pub fn add_bits<CS>(
    &self,
    cs: CS,
    other: &Int128
) -> Result<Vec<Boolean, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,