Module `Polynomial.Srs`

module Srs_g1 : sig ... end

module Srs_g2 : sig ... end

type t = Srs_g1.t * Srs_g2.t

val generate_insecure : int -> int -> t

val check : t -> unit