package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val prover_t : prover Repr.t
val verifier_t : verifier Repr.t
type setup_params = int
val setup : Distribution.Kzg.Kzg_impl.Public_parameters.setup_params -> (Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> prover * verifier
val to_bytes : int -> prover -> bytes
OCaml

Innovation. Community. Security.