package tezos-plonk

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

Module Aggregation.Main_protocolSource

Sourcemodule SMap = Plonk.SMap
Sourcemodule Make_impl (Super_PP : Polynomial_protocol.S with type PC.Scalar.t = Plompiler.S.t) : sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (PP : Polynomial_protocol.S with type PC.Scalar.t = Plompiler.S.t) : S with module PP = PP and type circuit_verifier_input = PP.PC.Scalar.t array list
include sig ... end
Sourcemodule PP : sig ... end
Sourceexception Rest_not_null of string
Sourceexception Entry_not_in_table of string
Sourcemodule Scalar : sig ... end
Sourcetype scalar = Scalar.t
Sourceval scalar_t : scalar Repr.t
Sourceval scalar_encoding : scalar Data_encoding.t
Sourcetype circuit_map = (Plonk.Circuit.t * int) Plonk.SMap.t
Sourceval prover_public_parameters_t : prover_public_parameters Repr.t
Sourceval verifier_public_parameters_t : verifier_public_parameters Repr.t
Sourceval verifier_public_parameters_encoding : verifier_public_parameters Data_encoding.t
Sourceval proof_t : proof Repr.t
Sourceval proof_encoding : proof Data_encoding.t
Sourcetype circuit_prover_input = Make(Polynomial_protocol).circuit_prover_input = {
  1. public : scalar array;
  2. witness : scalar array;
}
Sourcetype prover_inputs = circuit_prover_input list Plonk.SMap.t
Sourcetype circuit_verifier_input = Polynomial_protocol.PC.Scalar.t array list
Sourceval to_verifier_inputs : prover_inputs -> verifier_inputs
Sourceval setup : zero_knowledge:bool -> circuit_map -> srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> prover_public_parameters * verifier_public_parameters
Sourceval update_prover_public_parameters : Bytes.t -> prover_public_parameters -> prover_public_parameters
Sourceval update_verifier_public_parameters : Bytes.t -> verifier_public_parameters -> verifier_public_parameters
Sourceval verify : verifier_public_parameters -> inputs:verifier_inputs -> proof -> bool
Sourcemodule Internal_for_tests : sig ... end
Sourcemodule Gates : sig ... end
Sourcemodule Perm : sig ... end
Sourceval get_gen_n_t : prover_public_parameters -> scalar * int * int
Sourcetype prover_aux = Make(Polynomial_protocol).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 = Make(Polynomial_protocol).verifier_aux = {
  1. alpha : scalar;
  2. beta : scalar;
  3. gamma : scalar;
  4. delta : scalar;
  5. x : scalar;
  6. r : scalar;
}
Sourceval verify_list : verifier_public_parameters -> nb_proofs:int -> (proof * scalar SMap.t list * scalar * scalar) -> bool * verifier_aux
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