package tezos-plonk

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

Module Circuit.CircuitSource

Sourcetype t = private {
  1. wires : int list SMap.t;
  2. gates : Scalar.t list SMap.t;
  3. tables : Scalar.t array list list;
  4. public_input_size : int;
  5. circuit_size : int;
  6. nb_wires : int;
  7. table_size : int;
  8. nb_lookups : int;
  9. ultra : bool;
}
Sourceval make_wires : a:int list -> b:int list -> c:int list -> ?d:int list -> ?e:int list -> ?f:int list -> ?g:int list -> ?h:int list -> unit -> int list SMap.t
Sourceval make_gates : ?qc:Scalar.t list -> ?ql:Scalar.t list -> ?qr:Scalar.t list -> ?qo:Scalar.t list -> ?qlg:Scalar.t list -> ?qrg:Scalar.t list -> ?qog:Scalar.t list -> ?qm:Scalar.t list -> ?qx5:Scalar.t list -> ?qecc_ws_add:Scalar.t list -> ?qecc_ed_add:Scalar.t list -> ?q_plookup:Scalar.t list -> ?q_table:Scalar.t list -> unit -> Scalar.t list SMap.t
Sourceval make : wires:int list SMap.t -> gates:Scalar.t list SMap.t -> ?tables:Scalar.t array list list -> public_input_size:int -> unit -> t
Sourceval get_nb_of_constraints : t -> int
Sourcetype raw_constraint = {
  1. a : int;
  2. b : int;
  3. c : int;
  4. sels : (string * Scalar.t) list;
  5. label : string;
}
Sourceval new_constraint : a:int -> b:int -> c:int -> ?qc:Scalar.t -> ?ql:Scalar.t -> ?qr:Scalar.t -> ?qo:Scalar.t -> ?qlg:Scalar.t -> ?qrg:Scalar.t -> ?qog:Scalar.t -> ?qm:Scalar.t -> ?qx5:Scalar.t -> ?qecc_ws_add:Scalar.t -> ?qecc_ed_add:Scalar.t -> ?q_plookup:Scalar.t -> ?q_table:Scalar.t -> string -> raw_constraint
Sourcetype cs = gate list
Sourceval sat : cs -> Table.t list -> Scalar.t array -> bool
Sourceval get_sel : (string * Scalar.t) list -> string -> Scalar.t
Sourceval to_string : cs -> string
Sourceval to_plonk : public_input_size:int -> ?tables:Table.t list -> cs -> t
Sourceval raw_constraint_equal : raw_constraint -> raw_constraint -> bool
Sourceval cs_pub_size_encoding : (cs * int) Data_encoding.encoding
Sourceval is_linear_raw_constr : raw_constraint -> bool
Sourceval wires_of_constr_i : gate -> int -> int list

It returns the value of the 3 wires (a, b, c) of the i-th raw constraint in a gate. The value is set to -1 for wires not used by any selector.

Sourceval gate_wires : gate -> int list
Sourceval linear_terms : raw_constraint -> (Scalar.t * int) list
Sourceval mk_linear_constr : (int list * (string * Scalar.t) list) -> raw_constraint
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