Module `Plompiler.Utils`Source

Sourcemodule S = Csir.Scalar

Sourceval alpha : Z.t

Sourceval bitlist : le:bool -> bytes -> bool list

Sourceval of_bitlist : le:bool -> bool list -> bytes

Sourceval bytes_of_hex : string -> bytes

Sourceval hex_of_bytes : bytes -> string

Sourceval bool_list_to_scalar : bool list -> S.t

Sourceval bool_list_to_z : bool list -> Z.t

Sourceval bool_list_of_z : ?nb_bits:int -> Z.t -> bool list

Sourceval split_exactly : 'a list -> int -> 'a list list

Sourceval bool_list_change_endianness : 'a list -> 'a list

Sourceval limbs_of_bool_list : nb_bits:int -> bool list -> int list

Sourcemodule Z : sig ... end

Sourceval (%!) : Z.t -> Z.t -> Z.t

Sourceval next_multiple_of : int -> int -> int

Sourceval is_power_of_2 : Z.t -> bool

Sourceval min_nb_limbs : modulus:Z.t -> base:Z.t -> int

Sourceval z_to_limbs : len:int -> base:Z.t -> Z.t -> Z.t list

Sourceval z_of_limbs : base:Z.t -> Z.t list -> Z.t

Sourceval mod_add_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list

Sourceval mod_sub_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list

Sourceval mod_mul_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list

Sourceval mod_div_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list

Sourceval transpose : 'a list list -> 'a list List.t

Sourceval of_bytes : 'a Repr.t -> bytes -> 'a

Sourceval to_bytes : 'a Repr.t -> 'a -> bytes

Sourceval tables_cs_encoding_t : (string list * Csir.CS.t) Repr.t

Sourceval save_cs_to_file : string -> string list -> Csir.CS.t -> unit

Sourceval load_cs_from_file : string -> string list * Csir.CS.t

Sourceval get_circuit_id : Csir.CS.raw_constraint array list -> string

Sourceval circuit_dir : string

Sourceval circuit_path : string -> string

Sourceval dump_label_traces : string -> Csir.CS.t -> unit

Sourceval dump_label_range_checks_traces : string -> (string list * int) list -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.plompiler/Plompiler/Utils/index.html

Module `Plompiler.Utils`Source

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.plompiler/Plompiler/Utils/index.html

Module Plompiler.UtilsSource

Module `Plompiler.Utils`Source