Bls (mavkit-libs.Kzg.Bls)

module Poly = Mavkit_bls12_381_polynomial.Polynomial

module Pairing = Mavryk_bls12_381.Pairing

module Srs = Mavkit_bls12_381_polynomial.Srs

module Evals = Mavkit_bls12_381_polynomial.Evaluations

module Scalar : sig ... end

module Scalar_map : sig ... end

module G
  (G : Mavryk_bls12_381.CURVE)
  (Srs : Mavkit_bls12_381_polynomial.Srs_sig with type elt = G.t) : 
  sig ... end

module Srs_g1 = Srs.Srs_g1

module Srs_g2 = Srs.Srs_g2

module G1 : sig ... end

module G2 : sig ... end

module type G_sig = sig ... end

module GT : sig ... end

val to_encoding : 'a Repr.t -> 'a Data_encoding.encoding

module Domain : sig ... end

module G1_carray : sig ... end