package bls12-381-unix

  1. Overview
  2. Docs
exception FailToComputeFinalExponentiation of Fq12.t
module Stubs : sig ... end
val miller_loop_simple : G1.Stubs.jacobian -> G2.Stubs.jacobian -> Fq12.Stubs.fp12
val final_exponentiation_opt : Fq12.t -> Fq12.Stubs.fp12 option
val final_exponentiation_exn : Fq12.t -> Fq12.Stubs.fp12
val pairing_check : (G1.Stubs.jacobian * G2.Stubs.jacobian) list -> bool
OCaml

Innovation. Community. Security.