Trait bellperson::groth16::ParameterSource

pub trait ParameterSource<E: Engine> {
    type G1Builder: SourceBuilder<E::G1Affine>;
    type G2Builder: SourceBuilder<E::G2Affine>;
    fn get_vk(
        &mut self, 
        num_ic: usize
    ) -> Result<VerifyingKey<E>, SynthesisError>;
    fn get_h(&mut self, num_h: usize) -> Result<Self::G1Builder, SynthesisError>;
    fn get_l(&mut self, num_l: usize) -> Result<Self::G1Builder, SynthesisError>;
    fn get_a(
        &mut self, 
        num_inputs: usize, 
        num_aux: usize
    ) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>;
    fn get_b_g1(
        &mut self, 
        num_inputs: usize, 
        num_aux: usize
    ) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>;
    fn get_b_g2(
        &mut self, 
        num_inputs: usize, 
        num_aux: usize
    ) -> Result<(Self::G2Builder, Self::G2Builder), SynthesisError>;
}

Associated Types

type G1Builder: SourceBuilder<E::G1Affine>

type G2Builder: SourceBuilder<E::G2Affine>

Loading content...

Required methods

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

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

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

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

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

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

Loading content...

Implementors

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Loading content...