Struct bellperson::gadgets::uint32::UInt32

pub struct UInt32 { /* fields omitted */ }

Represents an interpretation of 32 Boolean objects as an unsigned integer.

Implementations

impl UInt32

pub fn constant(value: u32) -> Self

Construct a constant UInt32 from a u32

pub fn alloc<E, CS>(cs: CS, value: Option<u32>) -> Result<Self, SynthesisError> where
    E: ScalarEngine,
    CS: ConstraintSystem<E>, 

Allocate a UInt32 in the constraint system

pub fn into_bits_be(self) -> Vec<Boolean>

pub fn from_bits_be(bits: &[Boolean]) -> Self

pub fn into_bits(self) -> Vec<Boolean>

Turns this UInt32 into its little-endian byte order representation.

pub fn from_bits(bits: &[Boolean]) -> Self

Converts a little-endian byte order representation of bits into a UInt32.

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

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

pub fn sha256_maj<E, CS>(
    cs: CS,
    a: &Self,
    b: &Self,
    c: &Self
) -> Result<Self, SynthesisError> where
    E: ScalarEngine,
    CS: ConstraintSystem<E>, 

Compute the maj value (a and b) xor (a and c) xor (b and c) during SHA256.

pub fn sha256_ch<E, CS>(
    cs: CS,
    a: &Self,
    b: &Self,
    c: &Self
) -> Result<Self, SynthesisError> where
    E: ScalarEngine,
    CS: ConstraintSystem<E>, 

Compute the ch value (a and b) xor ((not a) and c) during SHA256.

pub fn xor<E, CS>(&self, cs: CS, other: &Self) -> Result<Self, SynthesisError> where
    E: ScalarEngine,
    CS: ConstraintSystem<E>, 

XOR this UInt32 with another UInt32

pub fn addmany<E, CS, M>(
    cs: M,
    operands: &[Self]
) -> Result<Self, SynthesisError> where
    E: ScalarEngine,
    CS: ConstraintSystem<E>,
    M: ConstraintSystem<E, Root = MultiEq<E, CS>>, 

Perform modular addition of several UInt32 objects.

Trait Implementations

impl Clone for UInt32

fn clone(&self) -> UInt32

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.