package bls12-381-unix

  1. Overview
  2. Docs

Module PairingSource

Sourcemodule Stubs : sig ... end
Sourcemodule StubsG1 : sig ... end
Sourcemodule StubsG2 : sig ... end
Sourcemodule StubsFq12 : sig ... end
Sourceexception FailToComputeFinalExponentiation of Fq12.t
Sourceval miller_loop_simple : Blst_bindings.Types.blst_g1_t Ctypes_static.ptr -> Blst_bindings.Types.blst_g2_t Ctypes_static.ptr -> Blst_bindings.Types.blst_fq12_t Ctypes.ptr
Sourceval miller_loop : (Blst_bindings.Types.blst_g1_t Ctypes_static.ptr * Blst_bindings.Types.blst_g2_t Ctypes_static.ptr) list -> Blst_bindings.Types.blst_fq12_t Ctypes_static.ptr
Sourceval final_exponentiation_opt : Blst_bindings.Types.blst_fq12_t Ctypes_static.ptr -> Blst_bindings.Types.blst_fq12_t Ctypes.ptr option
Sourceval final_exponentiation_exn : Blst_bindings.Types.blst_fq12_t Ctypes_static.ptr -> Blst_bindings.Types.blst_fq12_t Ctypes.ptr
Sourceval pairing : Blst_bindings.Types.blst_g1_t Ctypes_static.ptr -> Blst_bindings.Types.blst_g2_t Ctypes_static.ptr -> Blst_bindings.Types.blst_fq12_t Ctypes.ptr
Sourceval pairing_check : (Blst_bindings.Types.blst_g1_t Ctypes_static.ptr * Blst_bindings.Types.blst_g2_t Ctypes_static.ptr) list -> bool Blst_stubs.return