Function bellperson::groth16::aggregate::single_g1[][src]

pub fn single_g1<E: Engine>(
    vkey: &VKey<E>,
    a_vec: &[E::G1Affine]
) -> Result<Output<E>, SynthesisError>
Expand description

Commits to a single vector of G1 elements in the following way: $T = \prod_{i=0}^n e(A_i, v_{1,i})$ $U = \prod_{i=0}^n e(A_i, v_{2,i})$ Output is $(T,U)$