Struct bellperson::groth16::MappedParameters

pub struct MappedParameters<E: Engine> {
    pub param_file_path: PathBuf,
    pub param_file: File,
    pub params: Mmap,
    pub vk: VerifyingKey<E>,
    pub pvk: PreparedVerifyingKey<E>,
    pub h: Vec<Range<usize>>,
    pub l: Vec<Range<usize>>,
    pub a: Vec<Range<usize>>,
    pub b_g1: Vec<Range<usize>>,
    pub b_g2: Vec<Range<usize>>,
    pub checked: bool,
}

Fields

param_file_path: PathBuf

The parameter file we’re reading from.

param_file: File

The file descriptor we have mmaped.

params: Mmap

The actual mmap.

vk: VerifyingKey<E>

This is always loaded (i.e. not lazily loaded).

pvk: PreparedVerifyingKey<E>

h: Vec<Range<usize>>

Elements of the form ((tau^i * t(tau)) / delta) for i between 0 and m-2 inclusive. Never contains points at infinity.

l: Vec<Range<usize>>

Elements of the form (beta * u_i(tau) + alpha v_i(tau) + w_i(tau)) / delta for all auxiliary inputs. Variables can never be unconstrained, so this never contains points at infinity.

a: Vec<Range<usize>>

QAP “A” polynomials evaluated at tau in the Lagrange basis. Never contains points at infinity: polynomials that evaluate to zero are omitted from the CRS and the prover can deterministically skip their evaluation.

b_g1: Vec<Range<usize>>

QAP “B” polynomials evaluated at tau in the Lagrange basis. Needed in G1 and G2 for C/B queries, respectively. Never contains points at infinity for the same reason as the “A” polynomials.

b_g2: Vec<Range<usize>>

checked: bool

Trait Implementations

impl<'a, E: Engine> ParameterSource<E> for &'a MappedParameters<E>

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

type G2Builder = (Arc<Vec<E::G2Affine>>, usize)

fn get_vk(&self, _: usize) -> Result<&VerifyingKey<E>, SynthesisError>

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

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

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

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