package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type prover = Commitment.prover_public_parameters

val prover_t : prover Repr.t

type verifier = Polynomial_commitment.Public_parameters.verifier

val verifier_t : verifier Repr.t

type setup_params = int

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

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