Degree_check (mavkit-libs.Kzg.Degree

module Pairing_G1 : sig ... end

module Pairing_G2 : sig ... end

module type Paring_G = sig ... end

module Make (Pairing : Paring_G) : sig ... end

include sig ... end

module Cm : sig ... end

module Proof : sig ... end

type prover_public_parameters = Pairing_G2.Proof.Srs.t

type verifier_public_parameters = Bls.G2.t

type secret = Kzg.Bls.Poly.t

val prove : 
  max_commit:int ->
  max_degree:int ->
  Pairing_G2.Proof.Srs.t ->
  Kzg.Bls.Poly.t ->
  Pairing_G2.Proof.Srs.elt

val verify : Bls.G2.t -> Bls.G1.t -> Pairing_G2.Proof.t -> bool

module Commit = Commitment.Commit

module Commitment : sig ... end

val prove_multi : 
  max_commit:int ->
  max_degree:int ->
  Pairing_G2.Proof.Srs.t ->
  Utils.Transcript.t ->
  Bls.G1.t SMap.t ->
  Kzg.Bls.Poly.t SMap.t ->
  Pairing_G2.Proof.Srs.elt * Kzg__Utils.Transcript.t

val verify_multi : 
  Bls.G2.t ->
  Utils.Transcript.t ->
  Commitment.t ->
  Pairing_G2.Proof.t ->
  bool * Kzg__Utils.Transcript.t

module G1_proof : sig ... end