package bls12-381-unix

You can search for identifiers within the package.

in-package search v0.2.0

bls12-381-unix
- CHANGES
- README
- Library bls12-381-unix
  - Bls12_381
    
    Fr
    
    G1
    
    G2
    
    Fq12
    
    Pairing
    
    Signature
  - Fq12
    
    StubsFq12
    
    Fq12
  - Fr
    
    Stubs
    
    Fr
  - G1
    
    Stubs
    
    G1
    
    Scalar
    
    Scalar
  - G2
    
    Stubs
    
    G2
    
    Scalar
    
    Scalar
  - Pairing
    
    Stubs
    
    StubsG1
    
    StubsG2
    
    StubsFq12
  - Signature
    
    Stubs
    
    StubsFr
    
    StubsG1
    
    StubsG2
    
    Basic
    
    Aug
    
    Pop
- Sources
  - bls12-381-unix
    
    bls12_381.ml
    
    fq12.ml
    
    fr.ml
    
    g1.ml
    
    g2.ml
    
    pairing.ml
    
    signature.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Fr`Source

Sourcemodule Stubs : sig ... end

Sourcemodule Fr : sig ... end

include module type of struct include Fr end

Sourceexception Not_in_field of Bytes.t

Sourcetype t = Blst_bindings.Types.blst_fr_t Ctypes.ptr

Sourceval size_in_bytes : int

Sourceval order : Z.t

Sourceval pad_if_require : bytes -> bytes

Sourceval of_bytes_opt : bytes -> Blst_bindings.Types.blst_fr_t Ctypes.ptr option

Sourceval of_bytes_exn : Bytes.t -> Blst_bindings.Types.blst_fr_t Ctypes.ptr

Sourceval check_bytes : bytes -> bool Blst_stubs.return

Sourceval zero : Blst_bindings.Types.blst_fr_t Ctypes.ptr

Sourceval one : Blst_bindings.Types.blst_fr_t Ctypes.ptr

Sourceval to_bytes : Blst_bindings.Types.blst_fr_t Ctypes_static.ptr -> bytes

Source

val eq : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  bool

Source

val (=) : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  bool

Sourceval is_zero : Blst_bindings.Types.blst_fr_t Ctypes_static.ptr -> bool

Sourceval is_one : Blst_bindings.Types.blst_fr_t Ctypes_static.ptr -> bool

Source

val random : 
  ?state:Random.State.t ->
  unit ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val non_null_random : 
  ?state:Random.State.t ->
  unit ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val add : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val (+) : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val mul : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val (*) : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val inverse_opt : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr option

Source

val inverse_exn : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val sub : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val square : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val double : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val negate : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val (-) : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val div_exn : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val div_opt : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr option

Source

val (/) : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Sourceval two_z : Z.t

Source

val pow : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Z.t ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val (**) : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Z.t ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr

Sourceval to_string : Blst_bindings.Types.blst_fr_t Ctypes_static.ptr -> string

Sourceval of_z : Z.t -> Blst_bindings.Types.blst_fr_t Ctypes.ptr

Sourceval to_z : Blst_bindings.Types.blst_fr_t Ctypes_static.ptr -> Z.t

Sourceval of_string : string -> Blst_bindings.Types.blst_fr_t Ctypes.ptr

Sourceval factor_power_of_two : int * Z.t

Sourceval legendre_symbol : Blst_bindings.Types.blst_fr_t Ctypes_static.ptr -> Z.t

Source

val is_quadratic_residue : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  bool

Sourceval pick_non_square : unit -> Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val sqrt_opt : 
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes.ptr option

Sourceval fft : domain:t array -> points:t array -> t array

Sourceval ifft : domain:t array -> points:t array -> t array

package bls12-381-unix

Module FrSource

Module `Fr`Source