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 Evaluations = PP.Evaluations
module Plook : Plookup_gate.Plookup_gate_sig with module PP = PP
module Gates : sig ... end
module Commitment = PP.PC.Commitment
module Fr_generation : sig ... end
module SMap = SMap
exception Entry_not_in_table of string
exception Rest_not_null of string
exception Wrong_transcript of string
type scalar = Scalar.t
type proof = {
  1. perm_and_plook : PP.PC.Commitment.t;
  2. wires_cm : PP.PC.Commitment.t;
  3. proof : PP.proof;
}
val proof_encoding : proof Data_encoding.t
type transcript = PP.transcript
val transcript_encoding : transcript Data_encoding.t
type prover_inputs = {
  1. public : scalar array;
  2. witness : scalar array;
}
val sep : string
module IntSet : sig ... end
module IntMap : sig ... end
module Partition : sig ... end
val module_list : (module Gates.Gate_base_sig) list
val select_modules : 'a SMap.t -> (module Gates.Gate_base_sig) list
val get_wires_names : int -> string array
val hash_public_inputs : bytes -> scalar array list SMap.t -> bytes
module Prover : sig ... end
module Verifier : sig ... end
type prover_public_parameters = {
  1. common_pp : Prover.prover_common_pp;
  2. circuits_map : Prover.prover_circuit_pp SMap.t;
}
type verifier_public_parameters = {
  1. common_pp : Verifier.verifier_common_pp;
  2. circuits_map : Verifier.verifier_circuit_pp SMap.t;
}
val verifier_public_parameters_encoding : verifier_public_parameters Data_encoding.t
module Preprocess : sig ... end
val check_circuit_name : 'a SMap.t -> unit
val setup_multi_circuits : ?num_additional_domains:int -> zero_knowledge:bool -> (Circuit.t * int) SMap.t -> srs: (Bls12_381_polynomial.Polynomial.Srs.t * Bls12_381_polynomial.Polynomial.Srs.t) -> (prover_public_parameters * verifier_public_parameters) * PP.PC.transcript
val prove_multi_circuits : ?num_additional_domains:int -> (prover_public_parameters * bytes) -> inputs:prover_inputs list SMap.t -> proof * PP.transcript
val verify_multi_circuits : (verifier_public_parameters * bytes) -> public_inputs:Gates.Scalar.t array list SMap.t -> proof -> bool * PP.transcript
val setup : ?num_additional_domains:int -> zero_knowledge:bool -> Circuit.t -> srs: (Bls12_381_polynomial.Polynomial.Srs.t * Bls12_381_polynomial.Polynomial.Srs.t) -> nb_proofs:int -> (prover_public_parameters * verifier_public_parameters) * PP.PC.transcript
val prove : ?num_additional_domains:int -> (prover_public_parameters * bytes) -> inputs:prover_inputs -> proof * PP.transcript
val verify : (verifier_public_parameters * bytes) -> public_inputs:Gates.Scalar.t array -> proof -> 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