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
impl UInt32
[src]
impl UInt32
[src]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
pub fn into_bits_be(self) -> Vec<Boolean>
[src]
pub fn from_bits_be(bits: &[Boolean]) -> Self
[src]
pub fn into_bits(self) -> Vec<Boolean>
[src]
pub fn into_bits(self) -> Vec<Boolean>
[src]Turns this UInt32
into its little-endian byte order representation.
pub fn from_bits(bits: &[Boolean]) -> Self
[src]
pub fn from_bits(bits: &[Boolean]) -> Self
[src]Converts a little-endian byte order representation of bits into a
UInt32
.
pub fn rotr(&self, by: usize) -> Self
[src]
pub fn shr(&self, by: usize) -> Self
[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]
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 Send for UInt32
impl Sync for UInt32
impl Unpin for UInt32
impl UnwindSafe for UInt32
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Same<T> for T
impl<T> Same<T> for T
type Output = T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,