Use additive notation on GT (update on ocaml-bls12-381)
Synchronization with update on ocaml-bls12-381 for unified notation in all three groups G1, G2, GT.
Synchronization with update on ocaml-bls12-381 for unified notation in all three groups G1, G2, GT.