Struct bellperson::gadgets::num::AllocatedNum

pub struct AllocatedNum<E: ScalarEngine> { /* fields omitted */ }

Implementations

impl<E: ScalarEngine> AllocatedNum<E>

pub fn alloc<CS, F>(cs: CS, value: F) -> Result<Self, SynthesisError> where
    CS: ConstraintSystem<E>,
    F: FnOnce() -> Result<E::Fr, SynthesisError>, 

pub fn inputize<CS>(&self, cs: CS) -> Result<(), SynthesisError> where
    CS: ConstraintSystem<E>, 

pub fn to_bits_le_strict<CS>(
    &self,
    cs: CS
) -> Result<Vec<Boolean>, SynthesisError> where
    CS: ConstraintSystem<E>, 

Deconstructs this allocated number into its boolean representation in little-endian bit order, requiring that the representation strictly exists “in the field” (i.e., a congruency is not allowed.)

pub fn to_bits_le<CS>(&self, cs: CS) -> Result<Vec<Boolean>, SynthesisError> where
    CS: ConstraintSystem<E>, 

Convert the allocated number into its little-endian representation. Note that this does not strongly enforce that the commitment is “in the field.”

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

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

pub fn assert_nonzero<CS>(&self, cs: CS) -> Result<(), SynthesisError> where
    CS: ConstraintSystem<E>, 

pub fn conditionally_reverse<CS>(
    cs: CS,
    a: &Self,
    b: &Self,
    condition: &Boolean
) -> Result<(Self, Self), SynthesisError> where
    CS: ConstraintSystem<E>, 

Takes two allocated numbers (a, b) and returns (b, a) if the condition is true, and (a, b) otherwise.

pub fn get_value(&self) -> Option<E::Fr>

pub fn get_variable(&self) -> Variable

Trait Implementations

impl<E: ScalarEngine> Clone for AllocatedNum<E>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: ScalarEngine> From<AllocatedNum<E>> for Num<E>

fn from(num: AllocatedNum<E>) -> Num<E>

Performs the conversion.