Trait snarkvm_wasm::prelude::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
F: PrimeField,
CS: ConstraintSystem<F>; fn mul<F, CS>(
&self,
cs: CS,
other: &Self
) -> Result<Self, UnsignedIntegerError>
where
F: PrimeField,
CS: ConstraintSystem<F>; }
Required methods
fn addmany<F, CS>(cs: CS, operands: &[Self]) -> Result<Self, SynthesisError> where
F: PrimeField,
CS: ConstraintSystem<F>,
fn addmany<F, CS>(cs: CS, operands: &[Self]) -> Result<Self, SynthesisError> where
F: PrimeField,
CS: ConstraintSystem<F>,
Perform modular addition of several UInt
objects.
fn mul<F, CS>(&self, cs: CS, other: &Self) -> Result<Self, UnsignedIntegerError> where
F: PrimeField,
CS: ConstraintSystem<F>,
fn mul<F, CS>(&self, cs: CS, other: &Self) -> Result<Self, UnsignedIntegerError> where
F: PrimeField,
CS: ConstraintSystem<F>,
Perform Bitwise multiplication of two UInt
objects.
Reference: https://en.wikipedia.org/wiki/Binary_multiplier