Trait bellman::groth16::ParameterSource
[−]
[src]
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
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>