Srs (mavkit-libs.Mavkit_bls12_381

module Srs_g1 : 
  Srs.S
    with type polynomial = Polynomial.t
     and type elt = Mavryk_bls12_381.G1.t

module Srs_g2 : 
  Srs.S
    with type polynomial = Polynomial.t
     and type elt = Mavryk_bls12_381.G2.t

type t = Srs_g1.t * Srs_g2.t

val generate_insecure : int -> int -> t

val check : t -> unit