package bls12-381-legacy

  1. Overview
  2. Docs

Module Pairing.Pairing_stubsSource

val miller_loop_simple : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit Bls12_381_legacy.Rustc_bls12_381_stubs.return) Bls12_381_legacy.Rustc_bls12_381_stubs.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 Bls12_381_legacy.Rustc_bls12_381_stubs.return) Bls12_381_legacy.Rustc_bls12_381_stubs.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 Bls12_381_legacy.Rustc_bls12_381_stubs.return) Bls12_381_legacy.Rustc_bls12_381_stubs.result
val miller_loop_4 : (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 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit Bls12_381_legacy.Rustc_bls12_381_stubs.return) Bls12_381_legacy.Rustc_bls12_381_stubs.result
val miller_loop_5 : (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 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit Bls12_381_legacy.Rustc_bls12_381_stubs.return) Bls12_381_legacy.Rustc_bls12_381_stubs.result
val miller_loop_6 : (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 -> 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 Bls12_381_legacy.Rustc_bls12_381_stubs.return) Bls12_381_legacy.Rustc_bls12_381_stubs.result
val pairing : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit Bls12_381_legacy.Rustc_bls12_381_stubs.return) Bls12_381_legacy.Rustc_bls12_381_stubs.result
val final_exponentiation : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit Bls12_381_legacy.Rustc_bls12_381_stubs.return) Bls12_381_legacy.Rustc_bls12_381_stubs.result