Trait snarkvm_wasm::integers::UInt [−][src]
pub trait UInt: Integer { fn negate(&self) -> Self; fn rotr(&self, by: usize) -> Self; fn addmany<F, CS>(cs: CS, operands: &[Self]) -> Result<Self, SynthesisError>
where
CS: ConstraintSystem<F>,
F: PrimeField; fn mul<F, CS>(
&self,
cs: CS,
other: &Self
) -> Result<Self, UnsignedIntegerError>
where
CS: ConstraintSystem<F>,
F: PrimeField; }
Required methods
fn addmany<F, CS>(cs: CS, operands: &[Self]) -> Result<Self, SynthesisError> where
CS: ConstraintSystem<F>,
F: PrimeField,
fn addmany<F, CS>(cs: CS, operands: &[Self]) -> Result<Self, SynthesisError> where
CS: ConstraintSystem<F>,
F: PrimeField,
Perform modular addition of several UInt
objects.
fn mul<F, CS>(&self, cs: CS, other: &Self) -> Result<Self, UnsignedIntegerError> where
CS: ConstraintSystem<F>,
F: PrimeField,
fn mul<F, CS>(&self, cs: CS, other: &Self) -> Result<Self, UnsignedIntegerError> where
CS: ConstraintSystem<F>,
F: PrimeField,
Perform Bitwise multiplication of two UInt
objects.
Reference: https://en.wikipedia.org/wiki/Binary_multiplier