[−][src]Trait bellperson::groth16::ParameterSource
Associated Types
type G1Builder: SourceBuilder<E::G1Affine>
type G2Builder: SourceBuilder<E::G2Affine>
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>
&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>
&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>
&mut self,
num_inputs: usize,
num_aux: usize
) -> Result<(Self::G2Builder, Self::G2Builder), SynthesisError>
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(&mut self, _: usize) -> Result<VerifyingKey<E>, SynthesisError>
[src]
fn get_h(&mut self, _num_h: usize) -> Result<Self::G1Builder, SynthesisError>
[src]
fn get_l(&mut self, _num_l: usize) -> Result<Self::G1Builder, SynthesisError>
[src]
fn get_a(
&mut self,
num_inputs: usize,
_num_a: usize
) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>
[src]
&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>
[src]
&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>
[src]
&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>
[src]
type G1Builder = (Arc<Vec<E::G1Affine>>, usize)
type G2Builder = (Arc<Vec<E::G2Affine>>, usize)
fn get_vk(&mut self, _: usize) -> Result<VerifyingKey<E>, SynthesisError>
[src]
fn get_h(&mut self, _: usize) -> Result<Self::G1Builder, SynthesisError>
[src]
fn get_l(&mut self, _: usize) -> Result<Self::G1Builder, SynthesisError>
[src]
fn get_a(
&mut self,
num_inputs: usize,
_: usize
) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>
[src]
&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>
[src]
&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>
[src]
&mut self,
num_inputs: usize,
_: usize
) -> Result<(Self::G2Builder, Self::G2Builder), SynthesisError>