bls12-381-unix 2.0.1 · OCaml Package

exception Not_in_field of Stdlib.Bytes.t

type t = Stubs.fr

val global_buffer : Stubs.fr

val copy : Stubs.fr -> Stubs.fr

val size_in_bytes : int

val order : Z.t

val pad_if_require : bytes -> bytes

val of_bytes_opt : bytes -> Stubs.fr option

val of_bytes_exn : Stdlib.Bytes.t -> Stubs.fr

val check_bytes : Stdlib.Bytes.t -> bool

val zero : Stubs.fr

val one : Stubs.fr

val to_bytes : Stubs.fr -> bytes

val size_in_memory : int

val eq : Stubs.fr -> Stubs.fr -> bool

val (=) : Stubs.fr -> Stubs.fr -> bool

val is_zero : Stubs.fr -> bool

val is_one : Stubs.fr -> bool

val random : ?state:Stdlib.Random.State.t -> unit -> Stubs.fr

val non_null_random : ?state:Stdlib.Random.State.t -> unit -> Stubs.fr

val add : Stubs.fr -> Stubs.fr -> Stubs.fr

val add_inplace : Stubs.fr -> Stubs.fr -> unit

val add_bulk : Stubs.fr list -> Stubs.fr

val (+) : Stubs.fr -> Stubs.fr -> Stubs.fr

val mul : Stubs.fr -> Stubs.fr -> Stubs.fr

val mul_inplace : Stubs.fr -> Stubs.fr -> unit

val mul_bulk : Stubs.fr list -> Stubs.fr

val (*) : Stubs.fr -> Stubs.fr -> Stubs.fr

val inverse_opt : Stubs.fr -> Stubs.fr option

val inverse_exn : Stubs.fr -> Stubs.fr

val inverse_exn_inplace : Stubs.fr -> unit

val sub : Stubs.fr -> Stubs.fr -> Stubs.fr

val sub_inplace : Stubs.fr -> Stubs.fr -> unit

val square : Stubs.fr -> Stubs.fr

val square_inplace : Stubs.fr -> unit

val double : Stubs.fr -> Stubs.fr

val double_inplace : Stubs.fr -> unit

val negate : Stubs.fr -> Stubs.fr

val negate_inplace : Stubs.fr -> unit

val (-) : Stubs.fr -> Stubs.fr

val div_exn : Stubs.fr -> Stubs.fr -> Stubs.fr

val div_opt : Stubs.fr -> Stubs.fr -> Stubs.fr option

val (/) : Stubs.fr -> Stubs.fr -> Stubs.fr

val two_z : Z.t

val pow : Stubs.fr -> Z.t -> Stubs.fr

val (**) : Stubs.fr -> Z.t -> Stubs.fr

val to_string : Stubs.fr -> string

val of_z : Z.t -> Stubs.fr

val to_z : Stubs.fr -> Z.t

val of_string : string -> Stubs.fr

val factor_power_of_two : int * Z.t

val legendre_symbol : Stubs.fr -> Z.t

val is_quadratic_residue : Stubs.fr -> bool

val pick_non_square : unit -> Stubs.fr

val sqrt_opt : Stubs.fr -> Stubs.fr option

module M : sig ... end

val fft : domain:M.scalar array -> points:M.group array -> M.group array

val fft_inplace : domain:Stubs.fr array -> points:Stubs.fr array -> unit

val ifft : domain:M.scalar array -> points:M.group array -> M.group array

val ifft_inplace : domain:Stubs.fr array -> points:Stubs.fr array -> unit

val compare : Stubs.fr -> Stubs.fr -> int

val inner_product_exn : Stubs.fr array -> Stubs.fr array -> Stubs.fr

val inner_product_opt : Stubs.fr array -> Stubs.fr array -> Stubs.fr option

val of_int : int -> Stubs.fr

package bls12-381-unix