Pairing-Equipped Elliptic Curve BLS12–381

Might be helpful to list the Michelson instructions you’re proposing and what they do.