Make_impl.Public_parameterstype prover = {pp_pc_prover : PC.Public_parameters.prover;pp_pack_prover : Pack.prover_public_parameters;}val prover_t : prover Repr.ttype verifier = {pp_pc_verifier : PC.Public_parameters.verifier;pp_pack_verifier : Pack.verifier_public_parameters;}val verifier_t : verifier Repr.ttype commitment = Commitment.public_parametersval setup :
PC.Public_parameters.setup_params ->
(Kzg.Bls.Srs.t * Kzg.Bls.Srs.t) ->
prover * verifier * Kzg.Utils.Transcript.tval get_commit_parameters : prover -> Commitment.public_parameters