Module Kzg_pack_impl.Public_parameters

type prover = {
  1. pp_pc_prover : PC.Public_parameters.prover;
  2. pp_pack_prover : Aggregation.Pack.prover_public_parameters;
}
val prover_t : prover Repr.t
type verifier = {
  1. pp_pc_verifier : PC.Public_parameters.verifier;
  2. pp_pack_verifier : Aggregation.Pack.verifier_public_parameters;
}
val verifier_t : verifier Repr.t
type setup_params = int
val get_commit_parameters : prover -> Commitment.public_parameters