package octez-libs

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

Module Main_protocol.Make_implSource

Parameters

Signature

Sourcemodule RangeCheck : sig ... end
Sourcemodule Perm : sig ... end
Sourcemodule Plook : sig ... end
Sourcemodule Gates = Custom_gates
Sourcemodule Commitment = PP.PC.Commitment
Sourcemodule Input_commitment : sig ... end
module PP = PP
Sourceexception Entry_not_in_table of string
Sourceexception Rest_not_null of string
Sourcetype circuit_map = (Circuit.t * int) SMap.t
Sourcetype proof = {
  1. perm_and_plook : Commitment.t;
  2. wires_cm : Commitment.t;
  3. pp_proof : PP.proof;
}
Sourceval proof_t : proof Repr.t
Sourcetype circuit_prover_input = {
  1. witness : scalar array;
  2. input_commitments : Input_commitment.t list;
}
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 public_inputs = scalar array list
Sourceval public_inputs_t : Kzg.Bls.Scalar.t array list Repr.t
Sourcetype circuit_verifier_input = {
  1. nb_proofs : int;
  2. public : public_inputs;
  3. commitments : Input_commitment.public list list;
}
Sourceval circuit_verifier_input_t : circuit_verifier_input Repr.t
Sourcetype verifier_inputs = circuit_verifier_input SMap.t
Sourceval check_circuit_name : 'a SMap.t -> unit
Sourceval check_circuits : 'a SMap.t -> 'b SMap.t -> unit
Sourceval wire_names : int -> string list
Sourceval name_wires : 'a array list SMap.t -> 'a SMap.t list SMap.t
Sourcetype gate_randomness = {
  1. beta : scalar;
  2. gamma : scalar;
  3. delta : scalar;
}
Sourceval build_gates_randomness : Kzg__Utils.Transcript.t -> gate_randomness * Kzg__Utils.Transcript.t
Sourcemodule Prover : sig ... end
Sourcemodule Verifier : sig ... end
Sourcetype prover_public_parameters = Prover.public_parameters = {
  1. common_pp : Prover.common_prover_pp;
  2. circuits_map : Prover.circuit_prover_pp SMap.t;
  3. transcript : Kzg.Utils.Transcript.t;
}
Sourceval prover_public_parameters_t : prover_public_parameters Repr.t
Sourcetype verifier_public_parameters = {
  1. common_pp : Verifier.common_verifier_pp;
  2. circuits_map : Verifier.circuit_verifier_pp SMap.t;
  3. transcript : Kzg.Utils.Transcript.t;
}
Sourceval verifier_public_parameters_t : verifier_public_parameters Repr.t
Sourcemodule Preprocess : sig ... end
Sourceval input_commit : ?size:int -> ?shift:int -> prover_public_parameters -> Kzg.Bls.Scalar.t array -> Input_commitment.t
Sourceval update_prover_public_parameters : 'a Repr.ty -> 'a -> prover_public_parameters -> prover_public_parameters
Sourceval update_verifier_public_parameters : 'a Repr.ty -> 'a -> verifier_public_parameters -> verifier_public_parameters
Sourceval filter_prv_pp_circuits : prover_public_parameters -> 'a SMap.t -> prover_public_parameters
Sourceval scalar_encoding : Kzg.Bls.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
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