Public_parameters (mavkit-libs.Distribution.Polynomial_protocol.Make.PC.BasePC.Public

type prover

val prover_t : prover Repr.t

type verifier

val verifier_t : verifier Repr.t

type commitment = Commitment.public_parameters

type setup_params = int

val setup : 
  setup_params ->
  (Kzg.Bls.Srs.t * Kzg.Bls.Srs.t) ->
  prover * verifier * Kzg.Utils.Transcript.t

val get_commit_parameters : prover -> commitment