package octez-plonk

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

Parameters

Signature

module Commitment : sig ... end
type commit_to_wires_reply = Commitment.t
val commit_to_wires_reply_t : Commitment.t Repr.t
type worker_inputs = {
  1. inputs : Plonk__Main_protocol.Make_impl(PP).circuit_prover_input list;
  2. shift : int * int;
}
val worker_inputs_t : worker_inputs Repr.t
val split_inputs_map : nb_workers:int -> Plonk__Main_protocol.Make_impl(PP).circuit_prover_input list SMap.t -> worker_inputs SMap.t list
type 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;
}
val commit_to_plook_rc_reply_t : commit_to_plook_rc_reply Repr.t
type 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;
}
type 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;
}
val 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
val commit_to_plook_rc : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> (int * int) Stdlib__Map.Make(Stdlib.String).t -> Stdlib.Bytes.t -> Plonk.Bls.Evaluations.t Plonk.SMap.t list Plonk.SMap.t -> commit_to_plook_rc_reply * commit_to_plook_rc_remember
val batch_evaluated_ids : alpha:Plonk.Bls.Scalar.t -> Plonk.Bls.Evaluations.t SMap.t -> string list -> Plonk.Bls.Evaluations.t
val kzg_eval_at_x : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> Stdlib.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
val 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(Stdlib.String).t
val 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(Stdlib.String).t * Plonk.Bls.Evaluations.t Plonk.SMap.t * (Commitment.t * Commitment.prover_aux)
val 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
val 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
val get_generator : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> Plonk.Bls.Domain.scalar
val get_srs : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> PP.PC.Commitment.prover_public_parameters
val get_gen_n_nbt : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> Plonk.Bls.Domain.scalar * int * int
val get_transcript : Plonk__Main_protocol.Make_impl(PP).Prover.public_parameters -> Stdlib.Bytes.t
val 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