package octez-plonk

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

Module Main_protocol.MakeSuperSource

Parameters

Signature

module PP = PP
Sourcemodule MP : sig ... end
include module type of MP with module PP := PP
Sourcemodule RangeCheck : sig ... end
Sourcemodule Perm : sig ... end
Sourcemodule Plook : sig ... end
Sourceexception Entry_not_in_table of string
Sourceexception Rest_not_null of string
Sourcetype scalar = Plonk.Bls.Scalar.t
Sourceval scalar_t : Plonk.Bls.Scalar.t Repr.t
Sourcetype circuit_map = (Plonk.Circuit.t * int) Plonk.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. witness : scalar array;
  2. input_commitments : Plonk__Input_commitment.Make(PP.PC.Commitment).t list;
}
Sourceval circuit_prover_input_t : circuit_prover_input Repr.t
Sourcetype prover_inputs = circuit_prover_input list Plonk.SMap.t
Sourcetype public_inputs = scalar array list
Sourceval public_inputs_t : Plonk.Bls.Scalar.t array list Repr.t
Sourcetype verifier_inputs = (public_inputs * PP.PC.Commitment.t list list) Plonk.SMap.t
Sourceval verifier_inputs_t : (Plonk.Bls.Scalar.t array list * PP.PC.Commitment.t list list) Plonk.SMap.t Repr.ty
Sourceval check_circuit_name : 'a Plonk.SMap.t -> unit
Sourceval check_circuits : 'a Plonk.SMap.t -> 'b Plonk.SMap.t -> unit
Sourceval wire_names : int -> string list
Sourceval name_wires : 'a array list Plonk.SMap.t -> 'a Plonk.SMap.t list Plonk.SMap.t
Sourceval hash_verifier_inputs : (Plonk.Bls.Scalar.t array list * PP.PC.Commitment.t list list) Plonk.SMap.t -> bytes
Sourcetype gate_randomness = {
  1. beta_perm : scalar;
  2. gamma_perm : scalar;
  3. beta_plook : scalar;
  4. gamma_plook : scalar;
  5. beta_rc : scalar;
  6. gamma_rc : scalar;
  7. delta : scalar;
}
Sourceval build_gates_randomness : Bytes.t -> gate_randomness * Bytes.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 Plonk.SMap.t;
  3. transcript : Bytes.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 Plonk.SMap.t;
  3. transcript : Bytes.t;
}
Sourceval verifier_public_parameters_t : verifier_public_parameters Repr.t
Sourcemodule Preprocess : sig ... end
Sourceval expand_transcript_with_verifier_inputs : bytes -> (Plonk.Bls.Scalar.t array list * PP.PC.Commitment.t list list) Plonk.SMap.t -> bytes
Sourceval input_commit : ?size:int -> ?shift:int -> prover_public_parameters -> Plonk.Bls.Scalar.t array -> Plonk__Input_commitment.Make(PP.PC.Commitment).t
Sourceval update_prover_public_parameters : bytes -> prover_public_parameters -> prover_public_parameters
Sourceval update_verifier_public_parameters : bytes -> verifier_public_parameters -> verifier_public_parameters
Sourceval setup : zero_knowledge:bool -> (Plonk.Circuit.t * int) Plonk.SMap.t -> srs: (Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t) -> prover_public_parameters * verifier_public_parameters
Sourceval scalar_encoding : Plonk.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
Sourcemodule Input_commitment : sig ... end
Sourcetype prover_aux = {
  1. answers : scalar Plonk.SMap.t Plonk.SMap.t list;
  2. batch : scalar Plonk.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 Plonk.SMap.t;
  10. cms_pi : PP.Answers_commitment.t Plonk.SMap.t;
  11. ids_batch : (scalar * int) Plonk.SMap.t;
  12. t_answers : scalar list;
}
Sourcetype verifier_aux = {
  1. alpha : scalar;
  2. beta : scalar;
  3. gamma : scalar;
  4. delta : scalar;
  5. x : scalar;
  6. r : scalar;
}
Sourcetype input_commit_info = {
  1. nb_max_answers : int;
  2. nb_max_pi : int;
  3. func : ?size:int -> ?shift:int -> scalar array -> PP.Answers_commitment.t;
}
Sourceval compute_ids_batch : prover_public_parameters -> gate_randomness -> Plonk.Bls.Scalar.t -> Plonk.Bls.Scalar.t -> Plonk.Bls.Scalar.t array Plonk.List.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list -> 'a Plonk.SMap.t -> (Plonk.Bls.Scalar.t * int) Plonk.SMap.t
Sourceval update_transcript_with_pi : bytes -> PP.Answers_commitment.public Plonk.SMap.t -> bytes
Sourceval verify_list : verifier_public_parameters -> (proof * Plonk.Bls.Scalar.t Plonk.SMap.t list * PP.Answers_commitment.public Plonk.SMap.t * PP.Answers_commitment.public Plonk.SMap.t * Plonk.Bls.Scalar.t list * (Plonk.Bls.Scalar.t * int) Plonk.SMap.t) -> bool * verifier_aux
Sourceval get_gen_n_prover : prover_public_parameters -> Plonk.Bls.Domain.scalar * int
Sourceval get_gen_n_verifier : verifier_public_parameters -> Plonk.Bls.Scalar.t * int
include sig ... end
Sourcemodule Commitment : sig ... end
Sourcetype commit_to_wires_reply = Commitment.t
Sourceval commit_to_wires_reply_t : Commitment.t Repr.t
Sourcetype worker_inputs = Common(PP).worker_inputs = {
  1. inputs : Plonk__Main_protocol.Make_impl(PP).circuit_prover_input list;
  2. shift : int * int;
}
Sourceval worker_inputs_t : worker_inputs Repr.t
Sourceval split_inputs_map : nb_workers:int -> Plonk__Main_protocol.Make_impl(PP).circuit_prover_input list SMap.t -> worker_inputs SMap.t list
Sourcetype commit_to_plook_rc_reply = Common(PP).commit_to_plook_rc_reply = {
  1. batched_wires_map : Plonk.Bls.Evaluations.t SMap.t SMap.t;
  2. cmt : Commitment.t;
  3. f_map : Plonk.Bls.Poly.t SMap.t;
  4. prover_aux : Commitment.prover_aux;
}
Sourceval commit_to_plook_rc_reply_t : commit_to_plook_rc_reply Repr.t
Sourcetype commit_to_plook_rc_remember = Common(PP).commit_to_plook_rc_remember = {
  1. beta_plook : Plonk.Bls.Scalar.t;
  2. gamma_plook : Plonk.Bls.Scalar.t;
  3. beta_rc : Plonk.Bls.Scalar.t;
  4. gamma_rc : Plonk.Bls.Scalar.t;
}
Sourcetype commit_to_wires_remember = Common(PP).commit_to_wires_remember = {
  1. all_f_wires : Plonk.Bls.Poly.t SMap.t;
  2. wires_list_map : Plonk.Bls.Evaluations.t SMap.t list SMap.t;
  3. inputs_map : Plonk__Main_protocol.Make_impl(PP).circuit_prover_input list SMap.t;
  4. shifts_map : (int * int) SMap.t;
  5. f_wires : Plonk.Bls.Poly.t SMap.t list SMap.t;
  6. cm_aux_wires : Commitment.prover_aux;
}
Sourceval worker_commit_to_wires : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> worker_inputs SMap.t -> PP.PC.Commitment.t * commit_to_wires_remember
Sourceval commit_to_plook_rc : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> (int * int) Stdlib__Map.Make(String).t -> Bytes.t -> Plonk.Bls.Evaluations.t Plonk.SMap.t list Plonk.SMap.t -> commit_to_plook_rc_reply * commit_to_plook_rc_remember
Sourceval batch_evaluated_ids : alpha:Plonk.Bls.Scalar.t -> Plonk.Bls.Evaluations.t SMap.t -> string list -> Plonk.Bls.Evaluations.t
Sourceval kzg_eval_at_x : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> Bytes.t -> (Plonk.Bls.Poly.t Plonk.SMap.t * 'a) list -> Plonk.Bls.Scalar.t -> Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list
Sourceval build_batched_witness_polys_bis : (bool * int * Plonk.Bls.Domain.t) -> Plonk.Bls.Evaluations.t Plonk.SMap.t SMap.t -> Plonk.Bls.Poly.t Stdlib__Map.Make(String).t
Sourceval shared_perm_argument : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> int -> Plonk__Main_protocol.Make_impl(PP).gate_randomness -> 'a list SMap.t -> commit_to_plook_rc_reply list -> Plonk.Bls.Poly.t Stdlib__Map.Make(String).t * Plonk.Bls.Evaluations.t Plonk.SMap.t * (Commitment.t * Commitment.prover_aux)
Sourceval make_secret : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> (Plonk.Bls.Poly.t Plonk.SMap.t * PP.PC.Commitment.prover_aux) -> (Plonk.Bls.Poly.t Plonk.SMap.t * PP.PC.Commitment.prover_aux) list
Sourceval make_eval_points : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> Plonk.Identities.eval_point list list * Plonk.Identities.eval_point list Plonk.List.t
Sourceval get_generator : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> Plonk.Bls.Domain.scalar
Sourceval get_srs : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> PP.PC.Commitment.prover_public_parameters
Sourceval get_gen_n_nbt : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> Plonk.Bls.Domain.scalar * int * int
Sourceval get_transcript : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> Bytes.t
Sourceval check_no_zk : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> unit
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