G1_proof (mavkit-libs.Kzg.Degree_check.G1

module Cm : sig ... end

module Proof : sig ... end

type prover_public_parameters = Pairing_G1.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_G1.Proof.Srs.t ->
  Kzg.Bls.Poly.t ->
  Pairing_G1.Proof.Srs.elt

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

module Commit = Commitment.Commit

module Commitment : sig ... end

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

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