Kzg.Blsmodule Poly = Octez_bls12_381_polynomial.Polynomialmodule Pairing = Bls12_381.Pairingmodule Srs = Octez_bls12_381_polynomial.Srsmodule Evals = Octez_bls12_381_polynomial.Evaluationsmodule Scalar : sig ... endmodule Scalar_map : sig ... endmodule G
(G : Bls12_381.CURVE)
(Srs : Octez_bls12_381_polynomial.Srs_sig with type elt = G.t) :
sig ... endmodule Srs_g1 = Srs.Srs_g1module Srs_g2 = Srs.Srs_g2module G1 : sig ... endmodule G2 : sig ... endmodule type G_sig = sig ... endmodule GT : sig ... endval to_encoding : 'a Repr.t -> 'a Data_encoding.encodingmodule Domain : sig ... endmodule G1_carray : sig ... end