[−][src]Trait bellperson::groth16::ParameterSource

pub trait ParameterSource<E: Engine>: Send + Sync {
    type G1Builder: SourceBuilder<E::G1Affine>;
    type G2Builder: SourceBuilder<E::G2Affine>;
    pub fn get_vk(
        &self, 
        num_ic: usize
    ) -> Result<&VerifyingKey<E>, SynthesisError>;

    pub fn get_h(&self, num_h: usize) -> Result<Self::G1Builder, SynthesisError>;

    pub fn get_l(&self, num_l: usize) -> Result<Self::G1Builder, SynthesisError>;

    pub fn get_a(
        &self, 
        num_inputs: usize, 
        num_aux: usize
    ) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>;

    pub fn get_b_g1(
        &self, 
        num_inputs: usize, 
        num_aux: usize
    ) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>;

    pub fn get_b_g2(
        &self, 
        num_inputs: usize, 
        num_aux: usize
    ) -> Result<(Self::G2Builder, Self::G2Builder), SynthesisError>;
}

Associated Types

type G1Builder: SourceBuilder<E::G1Affine>[src]

type G2Builder: SourceBuilder<E::G2Affine>[src]

Loading content...

Required methods

pub fn get_vk(&self, num_ic: usize) -> Result<&VerifyingKey<E>, SynthesisError>[src]

pub fn get_h(&self, num_h: usize) -> Result<Self::G1Builder, SynthesisError>[src]

pub fn get_l(&self, num_l: usize) -> Result<Self::G1Builder, SynthesisError>[src]

pub fn get_a(
    &self,
    num_inputs: usize,
    num_aux: usize
) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>[src]

pub fn get_b_g1(
    &self,
    num_inputs: usize,
    num_aux: usize
) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>[src]

pub fn get_b_g2(
    &self,
    num_inputs: usize,
    num_aux: usize
) -> Result<(Self::G2Builder, Self::G2Builder), SynthesisError>[src]

Loading content...

Implementors

impl<'a, E: Engine> ParameterSource<E> for &'a MappedParameters<E>[src]

type G1Builder = (Arc<Vec<E::G1Affine>>, usize)

type G2Builder = (Arc<Vec<E::G2Affine>>, usize)

impl<'a, E: Engine> ParameterSource<E> for &'a Parameters<E>[src]

type G1Builder = (Arc<Vec<E::G1Affine>>, usize)

type G2Builder = (Arc<Vec<E::G2Affine>>, usize)

Loading content...