Module Octez_bls12_381_polynomial.Srs

module Srs_g1 : Srs.S with type polynomial = Polynomial.t and type elt = Bls12_381.G1.t
module Srs_g2 : Srs.S with type polynomial = Polynomial.t and type elt = Bls12_381.G2.t
type t = Srs_g1.t * Srs_g2.t
val generate_insecure : int -> int -> t
val check : t -> unit