ark_curve_constraint_tests::pairing

Function bilinearity_test

Source 
pub fn bilinearity_test<E: Pairing, P: PairingVar<E>>() -> Result<(), SynthesisError>
where
    for<'a> &'a P::G1Var: GroupOpsBounds<'a, E::G1, P::G1Var>,
    for<'a> &'a P::G2Var: GroupOpsBounds<'a, E::G2, P::G2Var>,
    for<'a> &'a P::GTVar: FieldOpsBounds<'a, E::TargetField, P::GTVar>,