Struct bellperson::groth16::aggregate::ProverSRS

pub struct ProverSRS<E: Engine> {
    pub n: usize,
    pub g_alpha_powers_table: MultiscalarPrecompOwned<E::G1Affine>,
    pub h_alpha_powers_table: MultiscalarPrecompOwned<E::G2Affine>,
    pub g_beta_powers_table: MultiscalarPrecompOwned<E::G1Affine>,
    pub h_beta_powers_table: MultiscalarPrecompOwned<E::G2Affine>,
    pub vkey: VKey<E>,
    pub wkey: WKey<E>,
}

ProverSRS is the specialized SRS version for the prover for a specific number of proofs to aggregate. It contains as well the commitment keys for this specific size. Note the size must be a power of two for the moment - if it is not, padding must be applied.

Fields

n: usize

number of proofs to aggregate

g_alpha_powers_table: MultiscalarPrecompOwned<E::G1Affine>

${g^a^i}_{i=0}^{2n-1}$ where n is the number of proofs to be aggregated We take all powers instead of only ones from n -> 2n-1 (w commitment key is formed from these powers) since the prover will create a shifted polynomial of degree 2n-1 when doing the KZG opening proof.

h_alpha_powers_table: MultiscalarPrecompOwned<E::G2Affine>

${h^a^i}_{i=0}^{n-1}$ - here we don’t need to go to 2n-1 since v commitment key only goes up to n-1 exponent.

g_beta_powers_table: MultiscalarPrecompOwned<E::G1Affine>

${g^b^i}_{i=0}^{2n-1}$

h_beta_powers_table: MultiscalarPrecompOwned<E::G2Affine>

${h^b^i}_{i=0}^{n-1}$

vkey: VKey<E>

commitment key using in MIPP and TIPP

wkey: WKey<E>

commitment key using in TIPP

Implementations

impl<E: Engine> ProverSRS<E>

pub fn has_correct_len(&self, n: usize) -> bool

Returns true if commitment keys have the exact required length. It is necessary for the IPP scheme to work that commitment key have the exact same number of arguments as the number of proofs to aggregate.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug + Engine> Debug for ProverSRS<E> where
    E::G1Affine: Debug,
    E::G2Affine: Debug,
    E::G1Affine: Debug,
    E::G2Affine: Debug, 

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.