Struct UInt32

pub struct UInt32 { /* private fields */ }

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: Engine, CS: ConstraintSystem<E>>( cs: &mut CS, value: Option<u32>, ) -> Result<Self, SynthesisError>

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: &mut CS, a: &Self, b: &Self, c: &Self, ) -> Result<Self, SynthesisError>

where E: Engine, 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: &mut CS, a: &Self, b: &Self, c: &Self, ) -> Result<Self, SynthesisError>

where E: Engine, CS: ConstraintSystem<E>,

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

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

XOR this UInt32 with another UInt32

pub fn addmany<E, CS>( cs: &mut CS, operands: &[Self], ) -> Result<Self, SynthesisError>

where E: Engine, CS: ConstraintSystem<E>,

Perform modular addition of several UInt32 objects.

Trait Implementations

impl Clone for UInt32

fn clone(&self) -> UInt32

Returns a copy of the value.

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

Performs copy-assignment from source.