Struct bellperson::gadgets::uint32::UInt32 [−][src]
pub struct UInt32 { /* fields omitted */ }
Expand description
Represents an interpretation of 32 Boolean
objects as an
unsigned integer.
Implementations
pub fn alloc<E, CS>(cs: CS, value: Option<u32>) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]
pub fn alloc<E, CS>(cs: CS, value: Option<u32>) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]Allocate a UInt32
in the constraint system
Turns this UInt32
into its little-endian byte order representation.
Converts a little-endian byte order representation of bits into a
UInt32
.
pub fn sha256_maj<E, CS>(
cs: CS,
a: &Self,
b: &Self,
c: &Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]
pub fn sha256_maj<E, CS>(
cs: CS,
a: &Self,
b: &Self,
c: &Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]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>,
[src]
pub fn sha256_ch<E, CS>(
cs: CS,
a: &Self,
b: &Self,
c: &Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]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>,
[src]
pub fn xor<E, CS>(&self, cs: CS, other: &Self) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]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>>,
[src]
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>>,
[src]Perform modular addition of several UInt32
objects.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for UInt32
impl UnwindSafe for UInt32
Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = T
Should always be Self
pub fn vzip(self) -> V