package bls12-381-unix

  1. Overview
  2. Docs
module Stubs : sig ... end
module Fr : sig ... end
include module type of struct include Fr end
exception Not_in_field of 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 : Bytes.t -> Stubs.fr
val check_bytes : 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:Random.State.t -> unit -> Stubs.fr
val non_null_random : ?state: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 = Fr.M
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