Enum storage_proofs::circuit::variables::Root

pub enum Root<E: Engine> {
    Var(AllocatedNum<E>),
    Val(Option<E::Fr>),
}

Root represents a root commitment which may be either a raw value or an already-allocated number. This allows subcomponents to depend on roots which may optionally be shared with their parent or sibling components.

Variants

Var(AllocatedNum<E>)Val(Option<E::Fr>)

Methods

impl<E: Engine> Root<E>

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

pub fn var<CS: ConstraintSystem<E>>(cs: CS, fr: E::Fr) -> Self

pub fn is_some(&self) -> bool

Trait Implementations

impl<E: Clone + Engine> Clone for Root<E> where
    E::Fr: Clone, 

fn clone(&self) -> Root<E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Engine> Debug for Root<E>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.