package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type common_prover_pp = {
  1. n : int;
  2. domain : Plonk.Bls.Domain.t;
  3. pp_public_parameters : PP.prover_public_parameters;
  4. g_map : Plonk.Bls.Poly.t Plonk.SMap.t;
  5. g_prover_aux : PP.PC.Commitment.prover_aux;
  6. evaluations : Plonk.Bls.Evaluations.t Plonk.SMap.t;
  7. zk : bool;
  8. nb_of_t_chunks : int;
  9. eval_points : Plonk.Identities.eval_point list list;
}
val common_prover_pp_t : common_prover_pp Repr.t
type circuit_prover_pp = {
  1. circuit_size : int;
  2. input_com_sizes : int list;
  3. public_input_size : int;
  4. gates : Plonk.Bls.Scalar.t array Plonk.SMap.t;
  5. tables : Plonk.Bls.Scalar.t array list;
  6. wires : int array array;
  7. permutation : int array;
  8. rc_permutations : int array Plonk.SMap.t;
  9. evaluations : Plonk.Bls.Evaluations.t Plonk.SMap.t;
  10. alpha : Plonk.Bls.Scalar.t option;
  11. ultra : bool;
  12. range_checks : (int * int) list Plonk.SMap.t;
}
val circuit_prover_pp_t : circuit_prover_pp Repr.t
type public_parameters = {
  1. common_pp : common_prover_pp;
  2. circuits_map : circuit_prover_pp Plonk.SMap.t;
  3. transcript : PP.transcript;
}
val public_parameters_t : public_parameters Repr.t
val build_all_wires_keys : public_parameters -> int Plonk.SMap.t -> int -> string list
val build_all_keys_z : public_parameters -> string list
val enforce_wire_values : int array array -> Plonk.Bls.Evaluations.scalar array -> Plonk.Bls.Evaluations.t array
val update_wires_with_rc_1 : ?shifts_map:(int * int) Stdlib__Map.Make(String).t -> public_parameters -> (Plonk.Bls.Poly.t Plonk.SMap.t * Plonk.Bls.Poly.t Stdlib__Map.Make(String).t list Stdlib__Map.Make(String).t * Plonk.Bls.Poly.t Plonk.SMap.t option list Plonk.SMap.t * Plonk.Bls.Evaluations.t Stdlib__Map.Make(String).t list Plonk.SMap.t) -> Plonk.Bls.Poly.t Plonk.SMap.t * Plonk.Bls.Poly.t Stdlib__Map.Make(String).t list Stdlib__Map.Make(String).t * Plonk.Bls.Poly.t Plonk.SMap.t option list Plonk.SMap.t * Plonk.Bls.Evaluations.t Stdlib__Map.Make(String).t list Stdlib__Map.Make(String).t
val commit_to_wires : ?all_keys:string list -> ?shifts_map:(int * int) Stdlib__Map.Make(String).t -> public_parameters -> circuit_prover_input list Plonk.SMap.t -> Plonk.Bls.Evaluations.t Stdlib__Map.Make(String).t list Stdlib__Map.Make(String).t * Plonk.Bls.Poly.t Stdlib__Map.Make(String).t list Stdlib__Map.Make(String).t * Plonk.Bls.Poly.t Plonk.SMap.t option list Plonk.SMap.t * Plonk.Bls.Poly.t Plonk.SMap.t * PP.PC.Commitment.t * PP.PC.Commitment.prover_aux
val build_f_map_perm : public_parameters -> gate_randomness -> Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t -> Plonk.Bls.Poly.t Stdlib__Map.Make(String).t
val build_f_map_plook : ?shifts_map:(int * int) Stdlib__Map.Make(String).t -> public_parameters -> gate_randomness -> Plonk.Bls.Evaluations.t Plonk.SMap.t list Plonk.SMap.t -> Plonk.Bls.Poly.t Stdlib__Map.Make(String).t
val build_f_map_rc_2 : public_parameters -> gate_randomness -> Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t -> Plonk.Bls.Poly.t Stdlib__Map.Make(String).t
val prove_parameters : pp_prove: (PP.prover_public_parameters -> bytes -> n:int -> generator:Plonk.Bls.Domain.scalar -> secrets: (Plonk.Bls.Poly.t Plonk.SMap.t * PP.PC.Commitment.prover_aux) list -> eval_points:Plonk.Identities.eval_point list list -> evaluations:Plonk.Bls.Evaluations.t Plonk.SMap.t -> identities:Plonk.Identities.prover_identities -> nb_of_t_chunks:int -> 'a * 'b) -> public_parameters -> inputs_map:circuit_prover_input Plonk.List.t Plonk.SMap.t -> 'a * (PP.PC.Commitment.t * PP.PC.Commitment.t * gate_randomness)
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