package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Gates : sig ... end
val module_list : (module Gates.Gate_base_sig) list
val to_ids : (module Gates.Gate_base_sig) -> string * int
val module_map : (module Gates.Gate_base_sig) SMap.t
val gates_to_string : Plompiler.Csir.Scalar.t list SMap.t -> string
module Circuit : sig ... end
include module type of struct include Circuit end
type t = private Circuit.t = {
  1. wires : int array SMap.t;
  2. gates : Plompiler.Csir.Scalar.t array SMap.t;
  3. tables : Plompiler.Csir.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;
}
val 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
val make_gates : ?qc:Plompiler.Csir.Scalar.t list -> ?ql:Plompiler.Csir.Scalar.t list -> ?qr:Plompiler.Csir.Scalar.t list -> ?qo:Plompiler.Csir.Scalar.t list -> ?qlg:Plompiler.Csir.Scalar.t list -> ?qrg:Plompiler.Csir.Scalar.t list -> ?qog:Plompiler.Csir.Scalar.t list -> ?qm:Plompiler.Csir.Scalar.t list -> ?qx5:Plompiler.Csir.Scalar.t list -> ?qecc_ws_add:Plompiler.Csir.Scalar.t list -> ?qecc_ed_add:Plompiler.Csir.Scalar.t list -> ?q_plookup:Plompiler.Csir.Scalar.t list -> ?q_table:Plompiler.Csir.Scalar.t list -> unit -> Plompiler.Csir.Scalar.t list SMap.t
val make : wires:int list SMap.t -> gates:Plompiler.Csir.Scalar.t list SMap.t -> ?tables:Plompiler.Csir.Scalar.t array list list -> public_input_size:int -> unit -> t
val get_nb_of_constraints : t -> int
val to_plonk : public_input_size:int -> ?tables:Plompiler.Csir.Table.t list -> Plompiler.Csir.CS.t -> t
OCaml

Innovation. Community. Security.