bls12-381

OCaml binding for bls12-381 from librustzcash
Library bls12-381
Module Bls12_381 . Rustc_bls12_381_bindings . Pairing

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 miller_loop_3 : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> 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