Public_parameters (mavkit-libs.Aggregation.Main_protocol.PP.PC.Public

type prover = Polynomial_protocol.PC.Public_parameters.prover

val prover_t : prover Repr.t

type verifier = Polynomial_protocol.PC.Public_parameters.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