Up – Package index » octez-plonk » Library octez-plonk.aggregation » Aggregation » Polynomial_protocol » PC » Public_parameters

Module `PC.Public_parameters`Source

Sourcetype prover = Commitment.prover_public_parameters

Sourceval prover_t : prover Repr.t

Sourcetype verifier = Polynomial_commitment.Public_parameters.verifier

Sourceval verifier_t : verifier Repr.t

Sourcetype setup_params = int

Source

val setup : 
  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.t