Trait snarkvm_wasm::integers::uint::uint_impl::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

Returns the inverse UInt

Rotate self bits by size

Perform modular addition of several UInt objects.

Perform Bitwise multiplication of two UInt objects. Reference: https://en.wikipedia.org/wiki/Binary_multiplier

Implementors