Bls12_381
module Fr : sig ... end
module type CURVE = sig ... end
module Fq12 : sig ... end
Represents the field extension constructed as described here. The interface does not provide the full requirements to be a field (like the addition).
module G1 : sig ... end
Elliptic curve built over the field Fq
and the equation y^2 = x^3 + 4
module G2 : sig ... end
Elliptic curve built over the field Fq^2
and the equation y^2 = x^3 + 4(u
+ 1)
module Pairing : sig ... end
Provides routines to compute the pairing over G1 x G2 -> GT