package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module RangeCheck : sig ... end
module Perm : sig ... end
module Plook : sig ... end
module Gates = Plonk.Custom_gates
module Commitment : sig ... end
exception Entry_not_in_table of string
exception Rest_not_null of string
type scalar = Kzg.Bls.Scalar.t
val scalar_t : Kzg.Bls.Scalar.t Repr.t
type proof = {
  1. perm_and_plook : Commitment.t;
  2. wires_cm : Commitment.t;
  3. pp_proof : PP.proof;
}
val proof_t : proof Repr.t
type circuit_prover_input = {
  1. witness : scalar array;
  2. input_commitments : Plonk__Input_commitment.Make(PP.PC.Commitment).t list;
}
val circuit_prover_input_t : circuit_prover_input Repr.t
type public_inputs = scalar array list
val public_inputs_t : Kzg.Bls.Scalar.t array list Repr.t
type circuit_verifier_input = {
  1. nb_proofs : int;
  2. public : public_inputs;
  3. commitments : PP.PC.Commitment.t list list;
}
val circuit_verifier_input_t : circuit_verifier_input Repr.t
val check_circuit_name : 'a Plonk.Main_protocol_intf.SMap.t -> unit
val wire_names : int -> string list
type gate_randomness = {
  1. beta : scalar;
  2. gamma : scalar;
  3. delta : scalar;
}
val build_gates_randomness : Kzg__Utils.Transcript.t -> gate_randomness * Kzg__Utils.Transcript.t
module Prover : sig ... end
module Verifier : sig ... end
val prover_public_parameters_t : prover_public_parameters Repr.t
type verifier_public_parameters = {
  1. common_pp : Verifier.common_verifier_pp;
  2. circuits_map : Verifier.circuit_verifier_pp Plonk.Main_protocol_intf.SMap.t;
  3. transcript : Kzg.Utils.Transcript.t;
}
val verifier_public_parameters_t : verifier_public_parameters Repr.t
module Preprocess : sig ... end
val input_commit : ?size:int -> ?shift:int -> prover_public_parameters -> Kzg.Bls.Scalar.t array -> Plonk__Input_commitment.Make(PP.PC.Commitment).t
val update_prover_public_parameters : 'a Repr.ty -> 'a -> prover_public_parameters -> prover_public_parameters
val update_verifier_public_parameters : 'a Repr.ty -> 'a -> verifier_public_parameters -> verifier_public_parameters
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 Input_commitment : sig ... end
module PP : sig ... end
type prover_aux = {
  1. answers : scalar Kzg.SMap.t Kzg.SMap.t list;
  2. batch : scalar Kzg.SMap.t list;
  3. alpha : scalar;
  4. beta : scalar;
  5. gamma : scalar;
  6. delta : scalar;
  7. x : scalar;
  8. r : scalar;
  9. cms_answers : PP.Answers_commitment.t Kzg.SMap.t;
  10. cms_pi : PP.Answers_commitment.t Kzg.SMap.t;
  11. ids_batch : (scalar * int) Kzg.SMap.t;
  12. t_answers : scalar list;
}
type verifier_aux = {
  1. alpha : scalar;
  2. beta : scalar;
  3. gamma : scalar;
  4. delta : scalar;
  5. x : scalar;
  6. r : scalar;
}
type input_commit_funcs = {
  1. pi : scalar array -> PP.Answers_commitment.t;
  2. answers : Kzg.Bls.Scalar.t Kzg.SMap.t Kzg.SMap.t list -> PP.Answers_commitment.t;
}
val get_gen_n_prover : prover_public_parameters -> Kzg.Bls.Domain.scalar * int
val get_gen_n_verifier : verifier_public_parameters -> Kzg.Bls.Scalar.t * 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