package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val verifier_encoding : verifier Data_encoding.t
type setup_params = int * int
val setup : ?state:Stdlib.Random.State.t -> setup_params -> prover * verifier
val get_d : prover -> int
val import : setup_params -> ((string * string) * (string * string)) -> prover * verifier
val to_bytes : prover -> Stdlib.Bytes.t
OCaml

Innovation. Community. Security.