PC.Public_parameterstype prover = Polynomial_commitment.Public_parameters.proverval prover_t : prover Repr.ttype verifier = Polynomial_commitment.Public_parameters.verifierval verifier_t : verifier Repr.ttype commitment = Commitment.public_parametersval setup :
setup_params ->
(Kzg.Bls.Srs.t * Kzg.Bls.Srs.t) ->
prover * verifier * Kzg.Utils.Transcript.tval get_commit_parameters : prover -> commitment