package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type prover = {
  1. pp_pc_prover : PC.Public_parameters.prover;
  2. pp_pack_prover : Pack.prover_public_parameters;
}
type verifier = {
  1. pp_pc_verifier : PC.Public_parameters.verifier;
  2. pp_pack_verifier : Pack.verifier_public_parameters;
}
val verifier_encoding : verifier Data_encoding.t
type setup_params = int * int
val get_d : prover -> int
val to_bytes : prover -> bytes
OCaml

Innovation. Community. Security.