Module Make.Public_parametersSource

Sourcetype prover = {
  1. pp_pc_prover : PC.Public_parameters.prover;
  2. pp_pack_prover : Pack.prover_public_parameters;
}
Sourceval prover_t : prover Repr.t
Sourcetype verifier = {
  1. pp_pc_verifier : PC.Public_parameters.verifier;
  2. pp_pack_verifier : Pack.verifier_public_parameters;
}
Sourceval verifier_t : verifier Repr.t
Sourcetype setup_params = int
Sourceval setup : PC.Public_parameters.setup_params -> (Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> prover * verifier
Sourceval to_bytes : int -> prover -> bytes