Struct bellman::groth16::Parameters

pub struct Parameters<E: Engine> {
    pub vk: VerifyingKey<E>,
    // some fields omitted
}

Fields

vk: VerifyingKey<E>

Methods

impl<E: Engine> Parameters<E>

fn write<W: Write>(&self, writer: &mut W) -> Result<(), Error>

Trait Implementations

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, num_ic: usize) -> Result<VerifyingKey<E>, Error>

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

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

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

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

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