package tezos-plompiler

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

Module Plompiler.LibCircuitSource

include LIB
Sourcetype scalar
Sourcetype 'a repr
Sourcetype 'a t
Sourceval ret : 'a -> 'a t
Sourceval (let*) : 'a t -> ('a -> 'b t) -> 'b t
Sourceval (>*) : unit repr t -> 'a t -> 'a t
Sourceval with_bool_check : bool repr t -> unit repr t
Sourceval get_checks_wire : bool repr t
Sourcemodule Input : sig ... end
Sourceval serialize : 'a Input.t -> Csir.Scalar.t array
Sourceval input : ?public:bool -> 'a Input.t -> 'a repr t
Sourceval eq : 'a repr -> 'a repr -> bool
Sourceval foldM : ('a -> 'b -> 'a t) -> 'a -> 'b list -> 'a t
Sourceval pair : 'a repr -> 'b repr -> ('a * 'b) repr
Sourceval of_pair : ('a * 'b) repr -> 'a repr * 'b repr
Sourceval to_list : 'a repr list -> 'a list repr
Sourceval of_list : 'a list repr -> 'a repr list
Sourceval unit : unit repr
Sourceval scalar_of_bool : bool repr -> scalar repr
Sourceval unsafe_bool_of_scalar : scalar repr -> bool repr
Sourceval assert_equal : 'a repr -> 'a repr -> unit repr t
Sourceval equal : 'a repr -> 'a repr -> bool repr t
Sourceval constant_scalar : Csir.Scalar.t -> scalar repr t
Sourceval bits_of_scalar : ?shift:Z.t -> nb_bits:int -> scalar repr -> bool list repr t

Returns a list of Boolean variables representing the little endian bit decomposition of the given scalar (with the least significant bit on the head).

Sourceval with_label : label:string -> 'a t -> 'a t
Sourcemodule Ecc : sig ... end
Sourcemodule Poseidon : sig ... end
Sourcemodule Anemoi : sig ... end
Sourceval hd : 'a list repr -> 'a repr t
Sourceval foldiM : ('a -> int -> 'a t) -> 'a -> int -> 'a t
Sourceval fold2M : ('a -> 'b -> 'c -> 'a t) -> 'a -> 'b list -> 'c list -> 'a t
Sourceval mapM : ('a -> 'b t) -> 'a list -> 'b list t
Sourceval map2M : ('a -> 'b -> 'c t) -> 'a list -> 'b list -> 'c list t
Sourceval iterM : ('a -> unit repr t) -> 'a list -> unit repr t
Sourceval iter2M : ('a -> 'b -> unit repr t) -> 'a list -> 'b list -> unit repr t
Sourcemodule Bool : sig ... end
Sourcemodule Num : sig ... end
Sourcemodule Enum (N : sig ... end) : sig ... end
Sourcemodule Bytes : sig ... end
Sourceval add2 : (scalar * scalar) repr -> (scalar * scalar) repr -> (scalar * scalar) repr t
Sourceval constant_bool : bool -> bool repr t
Sourceval constant_bytes : ?le:bool -> bytes -> Bytes.bl repr t
Sourceval constant_uint32 : ?le:bool -> Stdint.uint32 -> Bytes.bl repr t
Sourceval deserialize : S.t array -> 'a Input.t -> 'a Input.t
Sourceval get_inputs : 'a repr t -> S.t array * int
Sourcetype cs_result = {
  1. nvars : int;
  2. free_wires : int list;
  3. cs : Csir.CS.t;
  4. tables : Csir.Table.t list;
  5. solver : Solver.t;
}
Sourceval cs_result_t : cs_result Repr.t
Sourceval get_cs : ?optimize:bool -> 'a repr t -> cs_result
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