package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of Bls12_381.Fr
exception Not_in_field of Stdlib.Bytes.t
type t
val order : Z.t
val size_in_bytes : int
val zero : t
val one : t
val is_zero : t -> bool
val is_one : t -> bool
val random : ?state:Stdlib.Random.State.t -> unit -> t
val non_null_random : ?state:Stdlib.Random.State.t -> unit -> t
val add : t -> t -> t
val (+) : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val (*) : t -> t -> t
val eq : t -> t -> bool
val (=) : t -> t -> bool
val negate : t -> t
val (-) : t -> t
val inverse_exn : t -> t
val inverse_opt : t -> t option
val div_exn : t -> t -> t
val div_opt : t -> t -> t option
val (/) : t -> t -> t
val square : t -> t
val double : t -> t
val pow : t -> Z.t -> t
val (**) : t -> Z.t -> t
val of_bytes_exn : Stdlib.Bytes.t -> t
val of_bytes_opt : Stdlib.Bytes.t -> t option
val to_bytes : t -> Stdlib.Bytes.t
val factor_power_of_two : int * Z.t
val of_string : string -> t
val to_string : t -> string
val of_z : Z.t -> t
val to_z : t -> Z.t
val legendre_symbol : t -> Z.t
val is_quadratic_residue : t -> bool
val sqrt_opt : t -> t option
val size_in_memory : int
val check_bytes : Stdlib.Bytes.t -> bool
val fft : domain:t array -> points:t array -> t array
val fft_inplace : domain:t array -> points:t array -> unit
val ifft : domain:t array -> points:t array -> t array
val ifft_inplace : domain:t array -> points:t array -> unit
val add_inplace : t -> t -> t -> unit
val sub_inplace : t -> t -> t -> unit
val mul_inplace : t -> t -> t -> unit
val inverse_exn_inplace : t -> t -> unit
val double_inplace : t -> t -> unit
val square_inplace : t -> t -> unit
val negate_inplace : t -> t -> unit
val copy : t -> t
val memcpy : t -> t -> unit
val add_bulk : t list -> t
val mul_bulk : t list -> t
val compare : t -> t -> int
val inner_product_exn : t array -> t array -> t
val inner_product_opt : t array -> t array -> t option
val of_int : int -> t
val t : t Repr.t
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