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

module Super_PP : Polynomial_protocol.S with type PC.Scalar.t = Plompiler.S.t

Signature

include sig ... end
Sourcemodule Scalar : sig ... end
Sourcemodule Domain : sig ... end
Sourcemodule Poly : sig ... end
Sourcemodule Evaluations : sig ... end
Sourcemodule Perm : sig ... end
Sourcemodule Plook : sig ... end
Sourcemodule Gates : sig ... end
Sourcemodule Commitment : sig ... end
Sourcemodule Fr_generation : sig ... end
Sourcemodule SMap = Plonk.SMap
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 = (Plonk.Circuit.t * int) SMap.t
Sourcetype proof = {
  1. perm_and_plook : Super_PP.PC.Commitment.t;
  2. wires_cm : Super_PP.PC.Commitment.t;
  3. pp_proof : Super_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 -> Super_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 : Bytes.t;
}
Sourceval verifier_public_parameters_t : verifier_public_parameters Repr.t
Sourceval degree_evaluations : nb_wires:int -> gates:'a Plonk.SMap.t -> ultra:bool -> int
Sourcemodule Preprocess : sig ... end
Sourceval setup : zero_knowledge:bool -> (Plonk.Circuit.t * int) SMap.t -> srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> prover_public_parameters * verifier_public_parameters
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 scalar_encoding : Scalar.t Data_encoding.encoding
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
Sourcemodule PP = Super_PP
Sourcetype 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;
}
Sourcetype verifier_aux = {
  1. alpha : scalar;
  2. beta : scalar;
  3. gamma : scalar;
  4. delta : scalar;
  5. x : scalar;
  6. r : scalar;
}
Sourceval 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