package tezos-plonk

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

Module Main_protocol.Make_implSource

Parameters

Signature

Sourcemodule Scalar = PP.PC.Scalar
Sourcemodule Evaluations = PP.Evaluations
Sourcemodule Perm : Permutation_gate.S with module PP = PP
Sourcemodule Plook : Plookup_gate.S with module PP = PP
Sourcemodule Commitment = PP.PC.Commitment
Sourcemodule Fr_generation : sig ... end
Sourcemodule SMap = SMap
Sourcemodule PP = PP
Sourceexception Entry_not_in_table of string
Sourceexception Rest_not_null of string
Sourcetype scalar = Scalar.t
Sourceval scalar_t : Scalar.t Repr.t
Sourcetype circuit_map = (Circuit.t * int) SMap.t
Sourcetype proof = {
  1. perm_and_plook : PP.PC.Commitment.t;
  2. wires_cm : PP.PC.Commitment.t;
  3. pp_proof : PP.proof;
}
Sourceval proof_t : proof Repr.t
Sourcetype circuit_prover_input = {
  1. public : scalar array;
  2. witness : scalar array;
}
Sourceval circuit_prover_input_t : circuit_prover_input Repr.t
Sourcetype prover_inputs = circuit_prover_input list SMap.t
Sourceval prover_inputs_t : circuit_prover_input list SMap.t Repr.ty
Sourcetype circuit_verifier_input = scalar array list
Sourceval circuit_verifier_input_t : Scalar.t array list Repr.t
Sourcetype verifier_inputs = circuit_verifier_input SMap.t
Sourceval verifier_inputs_t : Scalar.t array list SMap.t Repr.ty
Sourceval to_verifier_inputs : circuit_prover_input list SMap.t -> scalar array list SMap.t
Sourcemodule IntSet : sig ... end
Sourcemodule IntMap : sig ... end
Sourcemodule Partition : sig ... end
Sourceval check_circuit_name : 'a SMap.t -> unit
Sourceval get_wires_names : int -> string array
Sourceval hash_public_inputs : bytes -> Scalar.t array list SMap.t -> bytes
Sourceval eval_points : bool -> bool -> PP.eval_point list list
Sourceval get_alpha : 'a option -> 'a
Sourcemodule Prover : sig ... end
Sourcemodule Verifier : sig ... end
Sourcetype prover_public_parameters = Prover.prover_public_parameters
Sourceval prover_public_parameters_t : Prover.prover_public_parameters Repr.t
Sourcetype verifier_public_parameters = {
  1. common_pp : Verifier.verifier_common_pp;
  2. circuits_map : Verifier.verifier_circuit_pp SMap.t;
  3. transcript : PP.transcript;
}
Sourceval verifier_public_parameters_t : verifier_public_parameters Repr.t
Sourceval degree_evaluations : nb_wires:int -> gates:'a SMap.t -> ultra:bool -> int
Sourcemodule Preprocess : sig ... end
Sourceval update_transcript : bytes -> bytes -> bytes
Sourceval update_prover_public_parameters : bytes -> prover_public_parameters -> Prover.prover_public_parameters
Sourceval update_verifier_public_parameters : bytes -> verifier_public_parameters -> verifier_public_parameters
Sourceval verify : verifier_public_parameters -> inputs:Gates.PP.PC.Scalar.t array list SMap.t -> proof -> bool
Sourceval data_encoding_of_repr : 'a Repr.t -> 'a Data_encoding.encoding
Sourceval proof_encoding : proof Data_encoding.encoding
Sourceval verifier_public_parameters_encoding : verifier_public_parameters Data_encoding.encoding
Sourcemodule Internal_for_tests : sig ... end
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