Function bellperson::groth16::aggregate::pair
source ยท pub fn pair<E>(
vkey: &VKey<E>,
wkey: &WKey<E>,
a: &[E::G1Affine],
b: &[E::G2Affine],
) -> Result<Output<E>, SynthesisError>where
E: MultiMillerLoop,
Expand description
Commits to a tuple of G1 vector and G2 vector in the following way: $T = \prod_{i=0}^n e(A_i, v_{1,i})e(B_i,w_{1,i})$ $U = \prod_{i=0}^n e(A_i, v_{2,i})e(B_i,w_{2,i})$ Output is $(T,U)$