Trait storage_proofs::circuit::apex_commitment::ApexCommitment

pub trait ApexCommitment<E: JubjubEngine> {
    fn new(allocated_nums: &[AllocatedNum<E>]) -> Self;
    fn includes<A, AR, CS: ConstraintSystem<E>>(
        &self, 
        cs: &mut CS, 
        annotation: A, 
        num: &AllocatedNum<E>, 
        path: &[Boolean]
    ) -> Result<(), SynthesisError>
    where
        A: FnOnce() -> AR,
        AR: Into<String>;

    fn commit<CS: ConstraintSystem<E>>(
        cs: &mut CS, 
        allocated_nums: &[AllocatedNum<E>], 
        params: &E::Params
    ) -> Result<(Self, AllocatedNum<E>), SynthesisError>
    where
        Self: Sized,
    { ... }
}

Required methods

fn new(allocated_nums: &[AllocatedNum<E>]) -> Self

fn includes<A, AR, CS: ConstraintSystem<E>>(
    &self,
    cs: &mut CS,
    annotation: A,
    num: &AllocatedNum<E>,
    path: &[Boolean]
) -> Result<(), SynthesisError> where
    A: FnOnce() -> AR,
    AR: Into<String>, 

Loading content...

Provided methods

fn commit<CS: ConstraintSystem<E>>(
    cs: &mut CS,
    allocated_nums: &[AllocatedNum<E>],
    params: &E::Params
) -> Result<(Self, AllocatedNum<E>), SynthesisError> where
    Self: Sized, 

Loading content...

Implementors

impl<E: JubjubEngine> ApexCommitment<E> for BinaryApexCommitment<E>

fn new(allocated_nums: &[AllocatedNum<E>]) -> Self

fn includes<A, AR, CS: ConstraintSystem<E>>(
    &self,
    cs: &mut CS,
    annotation: A,
    num: &AllocatedNum<E>,
    path: &[Boolean]
) -> Result<(), SynthesisError> where
    A: FnOnce() -> AR,
    AR: Into<String>, 

impl<E: JubjubEngine> ApexCommitment<E> for FlatApexCommitment<E>

fn new(allocated_nums: &[AllocatedNum<E>]) -> Self

fn includes<A, AR, CS: ConstraintSystem<E>>(
    &self,
    cs: &mut CS,
    annotation: A,
    num: &AllocatedNum<E>,
    path: &[Boolean]
) -> Result<(), SynthesisError> where
    A: FnOnce() -> AR,
    AR: Into<String>, 

Loading content...