package bls12-381-legacy

  1. Overview
  2. Docs

Parameters

module F : Cstubs.FOREIGN

Signature

val miller_loop_simple : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val miller_loop_2 : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val pairing : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val final_exponentiation : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result