Representation of BLS12-381

The types and operations on BLS12-381 scalars and group elements are currently axiomatized.

There is a Coq implementation of BLS12-381 in Hacspec. We could probably rely on this.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information