package bls12-381

  1. Overview
  2. Docs

Module Bls12_381.PairingSource

Sourceval miller_loop_simple : G1.Uncompressed.t -> G2.Uncompressed.t -> Fq12.t
Sourceval final_exponentiation_exn : Fq12.t -> Fq12.t
Sourceval final_exponentiation_opt : Fq12.t -> Fq12.t option
Sourceval miller_loop : (G1.Uncompressed.t * G2.Uncompressed.t) list -> Fq12.t
OCaml

Innovation. Community. Security.