package tezos-plonk

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

Parameters

Signature

include sig ... end
module Scalar : sig ... end
module Domain : sig ... end
module Poly : sig ... end
module Evaluations : sig ... end
module Perm : sig ... end
module Plook : sig ... end
module Gates : sig ... end
module Commitment : sig ... end
module Fr_generation : sig ... end
module SMap = Plonk.SMap
exception Entry_not_in_table of string
exception Rest_not_null of string
type scalar = Scalar.t
val scalar_t : Scalar.t Repr.t
type circuit_map = (Plonk.Circuit.t * int) SMap.t
type proof = {
  1. perm_and_plook : Super_PP.PC.Commitment.t;
  2. wires_cm : Super_PP.PC.Commitment.t;
  3. pp_proof : Super_PP.proof;
}
val proof_t : proof Repr.t
type circuit_prover_input = {
  1. public : scalar array;
  2. witness : scalar array;
}
val circuit_prover_input_t : circuit_prover_input Repr.t
type prover_inputs = circuit_prover_input list SMap.t
val prover_inputs_t : circuit_prover_input list SMap.t Repr.ty
type circuit_verifier_input = scalar array list
val circuit_verifier_input_t : Scalar.t array list Repr.t
type verifier_inputs = circuit_verifier_input SMap.t
val verifier_inputs_t : Scalar.t array list SMap.t Repr.ty
val to_verifier_inputs : circuit_prover_input list SMap.t -> scalar array list SMap.t
module IntSet : sig ... end
module IntMap : sig ... end
module Partition : sig ... end
val check_circuit_name : 'a SMap.t -> unit
val get_wires_names : int -> string array
val hash_public_inputs : bytes -> Scalar.t array list SMap.t -> bytes
val eval_points : bool -> bool -> Super_PP.eval_point list list
val get_alpha : 'a option -> 'a
module Prover : sig ... end
module Verifier : sig ... end
type prover_public_parameters = Prover.prover_public_parameters
val prover_public_parameters_t : Prover.prover_public_parameters Repr.t
type verifier_public_parameters = {
  1. common_pp : Verifier.verifier_common_pp;
  2. circuits_map : Verifier.verifier_circuit_pp SMap.t;
  3. transcript : Stdlib.Bytes.t;
}
val verifier_public_parameters_t : verifier_public_parameters Repr.t
val degree_evaluations : nb_wires:int -> gates:'a Plonk.SMap.t -> ultra:bool -> int
module Preprocess : sig ... end
val update_transcript : bytes -> bytes -> bytes
val update_prover_public_parameters : bytes -> prover_public_parameters -> Prover.prover_public_parameters
val update_verifier_public_parameters : bytes -> verifier_public_parameters -> verifier_public_parameters
val verify : verifier_public_parameters -> inputs:Gates.PP.PC.Scalar.t array list SMap.t -> proof -> bool
val scalar_encoding : Scalar.t Data_encoding.encoding
val data_encoding_of_repr : 'a Repr.t -> 'a Data_encoding.encoding
val proof_encoding : proof Data_encoding.encoding
val verifier_public_parameters_encoding : verifier_public_parameters Data_encoding.encoding
module Internal_for_tests : sig ... end
module PP = Super_PP
type prover_aux = {
  1. answers : scalar SMap.t SMap.t list;
  2. batch : scalar SMap.t list;
  3. alpha : scalar;
  4. beta : scalar;
  5. gamma : scalar;
  6. delta : scalar;
  7. x : scalar;
  8. r : scalar;
  9. cm_answers : scalar;
  10. cm_pi : scalar;
}
type verifier_aux = {
  1. alpha : scalar;
  2. beta : scalar;
  3. gamma : scalar;
  4. delta : scalar;
  5. x : scalar;
  6. r : scalar;
}
val get_gen_n_t : prover_public_parameters -> Domain.scalar * int * int
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