Public_parameters (p.octez-plonk.17.3.doc.octez-plonk.aggregation.Aggregation.Polynomial_commitment.Make_impl.Public

Sourcetype prover = {

pp_pc_prover : PC.Public_parameters.prover;
pp_pack_prover : Pack.prover_public_parameters;

}

Sourceval prover_t : prover Repr.t

Sourcetype verifier = {

pp_pc_verifier : PC.Public_parameters.verifier;
pp_pack_verifier : Pack.verifier_public_parameters;

}

Sourceval verifier_t : verifier Repr.t

Sourcetype setup_params = int

Source

val setup : 
  PC.Public_parameters.setup_params ->
  (Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t
   * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t) ->
  prover * verifier

Sourceval to_bytes : int -> prover -> bytes