package tezos-plonk

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

Module Plook.PPSource

Sourcemodule PC : sig ... end
Sourcemodule MP : sig ... end
Sourcemodule Evaluations : sig ... end
Sourceexception Wrong_transcript of string
Sourcetype prover_public_parameters = PP.prover_public_parameters = {
  1. pc_public_parameters : PC.Public_parameters.prover;
  2. subgroup_size : int;
  3. g_map : PC.Polynomial.Polynomial.t SMap.t;
  4. g_prover_aux : PC.Commitment.prover_aux;
}
Sourcetype verifier_public_parameters = PP.verifier_public_parameters = {
  1. pc_public_parameters : PC.Public_parameters.verifier;
  2. subgroup_size : int;
  3. cm_g_map : PC.Commitment.t;
}
Sourceval verifier_public_parameters_encoding : verifier_public_parameters Data_encoding.t
Sourcetype prover_query = PP.prover_query = {
  1. v_map : (string * PC.Polynomial.Polynomial.t) SMap.t;
  2. precomputed_polys : Evaluations.t SMap.t;
}
Sourcetype not_committed = PP.not_committed = ..
Sourcetype verifier_query = PP.verifier_query = {
  1. v_map : (string * PC.Polynomial.Polynomial.t) SMap.t;
  2. identities : PC.Scalar.t MP.MonomialMap.t SMap.t;
  3. not_committed : not_committed SMap.t;
}
Sourceval verifier_query_encoding : verifier_query Data_encoding.t
Sourceval register_nc_eval_and_encoding : (not_committed -> (PC.Scalar.t array -> PC.Scalar.t) option) -> title:string -> tag:int -> 'b Data_encoding.t -> (not_committed -> 'b option) -> ('b -> not_committed) -> unit
Sourcetype aggregation_infos = PP.aggregation_infos = {
  1. nb_proofs : int SMap.t;
  2. common_keys : string list;
}
Sourcetype proof_type = PP.proof_type =
  1. | Single
  2. | Aggregated of aggregation_infos
Sourceval empty_prover_query : prover_query
Sourceval empty_verifier_query : verifier_query
Sourceval merge_prover_queries : prover_query list -> prover_query
Sourceval merge_verifier_queries : ?common_keys:string list -> verifier_query list -> verifier_query
Sourceval sum_prover_queries : prover_query -> prover_query -> prover_query
Sourceval sum_verifier_queries : verifier_query -> verifier_query -> verifier_query
Sourceval update_common_keys_with_v_map : ?extra_prefix:string -> string list -> v_map:(string * PC.Polynomial.Polynomial.t) SMap.t -> string list
Sourceval merge_equal_set_of_keys_prover_queries : ?extra_prefix:string -> len_prefix:int -> common_keys:string list -> prover_query list -> prover_query
Sourceval merge_equal_set_of_keys_verifier_queries : ?extra_prefix:string -> len_prefix:int -> common_keys:string list -> verifier_query list -> verifier_query
Sourcetype transcript = PC.transcript
Sourceval transcript_encoding : transcript Data_encoding.t
Sourcetype proof = PP.proof = {
  1. cm_t_map : PC.Commitment.t;
  2. pc_proof : PC.proof;
  3. pc_answers : PC.answer list;
}
Sourceval proof_encoding : proof Data_encoding.t
Sourceval verify : proof_type:proof_type -> verifier_public_parameters -> transcript -> PC.Commitment.t list -> ?not_committed_online:MP.Polynomial.t SMap.t -> proof -> verifier_query -> bool * 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