Module bls12
This module implements pairings for BLS12 bilinear groups.
Specifies the constraints for computing a pairing in a BLS12 bilinear group.