Trait bellperson::groth16::ParameterSource

pub trait ParameterSource<E>: Send + Sync
where
    E: MultiMillerLoop,
{
    type G1Builder: SourceBuilder<E::G1Affine>;
    type G2Builder: SourceBuilder<E::G2Affine>;

    // Required methods
    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>;
}

Required Associated Types

type G1Builder: SourceBuilder<E::G1Affine>

type G2Builder: SourceBuilder<E::G2Affine>

Required Methods

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>

Implementors

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

where E: MultiMillerLoop,

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

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

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

where E: MultiMillerLoop,

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

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