Struct 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>>

Implementations

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::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<'a, E: Engine> ParameterSource<E> for &'a Parameters<E>

type G1Builder = (Arc<Vec<<E as Engine>::G1Affine>>, usize)

type G2Builder = (Arc<Vec<<E as Engine>::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>

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

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.