Trait snarkvm_gadgets::integers::uint::uint_impl::UInt

pub trait UInt: Integer {
    fn negate(&self) -> Self;
    fn rotr(&self, by: usize) -> Self;
    fn addmany<F: PrimeField, CS: ConstraintSystem<F>>(
        cs: CS, 
        operands: &[Self]
    ) -> Result<Self, SynthesisError>;
    fn mul<F: PrimeField, CS: ConstraintSystem<F>>(
        &self, 
        cs: CS, 
        other: &Self
    ) -> Result<Self, UnsignedIntegerError>;
}

Required methods

fn negate(&self) -> Self

Returns the inverse UInt

fn rotr(&self, by: usize) -> Self

Rotate self bits by size

fn addmany<F: PrimeField, CS: ConstraintSystem<F>>(
    cs: CS,
    operands: &[Self]
) -> Result<Self, SynthesisError>

Perform modular addition of several UInt objects.

fn mul<F: PrimeField, CS: ConstraintSystem<F>>(
    &self,
    cs: CS,
    other: &Self
) -> Result<Self, UnsignedIntegerError>

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

Implementors

impl UInt for UInt128

impl UInt for UInt8

impl UInt for UInt16

impl UInt for UInt32

impl UInt for UInt64