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

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

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

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

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

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

    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]

Required methods

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

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

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

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

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

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

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)

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

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

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

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

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

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

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)

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

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

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

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

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

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