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

Module `PC.Public_parameters`Source

Sourcetype prover = Polynomial_commitment.Public_parameters.prover

Sourceval prover_t : prover Repr.t

Sourcetype verifier = Polynomial_commitment.Public_parameters.verifier

Sourceval verifier_t : verifier Repr.t

Sourcetype setup_params = int

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

Sourceval to_bytes : int -> prover -> Bytes.t