Trait bellperson::groth16::ParameterSource [−][src]
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]
&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>
[src]
&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>
[src]
&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(&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]
&self,
num_inputs: usize,
_num_a: usize
) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>
fn get_b_g1(
&self,
num_inputs: usize,
_num_b_g1: usize
) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>
[src]
&self,
num_inputs: usize,
_num_b_g1: usize
) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>
fn get_b_g2(
&self,
num_inputs: usize,
_num_b_g2: usize
) -> Result<(Self::G2Builder, Self::G2Builder), SynthesisError>
[src]
&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(&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]
&self,
num_inputs: usize,
_: usize
) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>
fn get_b_g1(
&self,
num_inputs: usize,
_: usize
) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>
[src]
&self,
num_inputs: usize,
_: usize
) -> Result<(Self::G1Builder, Self::G1Builder), SynthesisError>
fn get_b_g2(
&self,
num_inputs: usize,
_: usize
) -> Result<(Self::G2Builder, Self::G2Builder), SynthesisError>
[src]
&self,
num_inputs: usize,
_: usize
) -> Result<(Self::G2Builder, Self::G2Builder), SynthesisError>