package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

module Scalar = PP.PC.Scalar
module Domain = PP.PC.Polynomial.Domain
module Fr_generation = PP.PC.Fr_generation
module Evaluations = PP.Evaluations
module Plook : sig ... end
module MP = PP.MP
type secret = Poly.t list
type proof = PP.proof
type transcript = PP.transcript
type input = Scalar.t list list
type lookup = Scalar.t array list
type prover_public_parameters = {
  1. pp_parameters : PP.prover_public_parameters;
  2. size_domain : int;
  3. domain : Domain.t;
  4. generator : Scalar.t;
  5. tables : lookup;
  6. alpha : Scalar.t;
  7. gates : Scalar.t list SMap.t;
  8. evaluations : Evaluations.t SMap.t;
}
type verifier_public_parameters = {
  1. pp_parameters : PP.verifier_public_parameters;
  2. generator : Scalar.t;
  3. alpha : Scalar.t;
}
val setup : ?zero_knowledge:bool -> int -> int -> Plook.PP.PC.Scalar.t array list list -> ?q_table:Scalar.t list -> ((string * string) * (string * string)) -> unit -> prover_public_parameters * verifier_public_parameters
val prove : ?zero_knowledge:bool -> prover_public_parameters -> Plook.PP.PC.Scalar.t list list -> Stdlib.Bytes.t -> (PP.proof * PP.PC.Commitment.t) * PP.transcript
val verify : verifier_public_parameters -> PP.PC.Commitment.t -> PP.proof -> Stdlib.Bytes.t -> bool * PP.transcript
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct