Struct bellman::groth16::Parameters

pub struct Parameters<E: Engine> {
    pub vk: VerifyingKey<E>,
    pub h: Arc<Vec<E::G1Affine>>,
    pub l: Arc<Vec<E::G1Affine>>,
    pub a: Arc<Vec<E::G1Affine>>,
    pub b_g1: Arc<Vec<E::G1Affine>>,
    pub b_g2: Arc<Vec<E::G2Affine>>,
}

Fields

vk: VerifyingKey<E>

h: Arc<Vec<E::G1Affine>>

l: Arc<Vec<E::G1Affine>>

a: Arc<Vec<E::G1Affine>>

b_g1: Arc<Vec<E::G1Affine>>

b_g2: Arc<Vec<E::G2Affine>>

Methods

impl<E: Engine> Parameters<E>

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

pub fn read<R: Read>(reader: R, checked: bool) -> Result<Self>

Trait Implementations

impl<E: Clone + Engine> Clone for Parameters<E> where
    E::G1Affine: Clone,
    E::G1Affine: Clone,
    E::G1Affine: Clone,
    E::G1Affine: Clone,
    E::G2Affine: Clone, 

fn clone(&self) -> Parameters<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Engine> PartialEq for Parameters<E>

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

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, _: usize) -> Result<VerifyingKey<E>, SynthesisError>

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

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

fn get_a(
    &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>

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