Function bellperson::groth16::aggregate::single_g1

source ยท 
pub fn single_g1<E>(
    vkey: &VKey<E>,
    a_vec: &[E::G1Affine],
) -> Result<Output<E>, SynthesisError>
where
    E: MultiMillerLoop,
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)$