Up – Package index » tezos-plonk » Library tezos-plonk.aggregation » Aggregation » Polynomial_commitment » Make » Public_parameters

Module `PC.Public_parameters`

type prover

val prover_t : prover Repr.t

type verifier

val verifier_t : verifier Repr.t

type setup_params = int

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

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