# Functions
Pair compute the optimal Ate pairing between a G1 and G2 element.
PairingCheck computes the following relation: ∏ᵢ e(Pᵢ, Qᵢ) =? 1
To explain why gnark returns a (bool, error):
- If the function `e` does not return a result then internally an error is returned.