bls12-381-legacy

UNIX version of BLS12-381 primitives. Not implementating the virtual package bls12-381
Library bls12-381-legacy

Parameters

module S : sig ... end
module F : Cstubs.FOREIGN

Signature

val uncompressed_check_bytes : ( bytes Ctypes_static.ocaml -> bool F.return ) F.result
val compressed_check_bytes : ( bytes Ctypes_static.ocaml -> bool F.return ) F.result
val one : ( bytes Ctypes_static.ocaml -> unit F.return ) F.result
val zero : ( bytes Ctypes_static.ocaml -> unit F.return ) F.result
val random : ( bytes Ctypes_static.ocaml -> unit F.return ) F.result
val add : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return ) F.result
val double : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return ) F.result
val negate : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return ) F.result
val eq : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return ) F.result
val is_zero : ( bytes Ctypes_static.ocaml -> bool F.return ) F.result
val mul : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return ) F.result
val compressed_one : ( bytes Ctypes_static.ocaml -> unit F.return ) F.result
val compressed_zero : ( bytes Ctypes_static.ocaml -> unit F.return ) F.result
val compressed_random : ( bytes Ctypes_static.ocaml -> unit F.return ) F.result
val compressed_add : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return ) F.result
val compressed_negate : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return ) F.result
val compressed_eq : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return ) F.result
val compressed_is_zero : ( bytes Ctypes_static.ocaml -> bool F.return ) F.result
val compressed_double : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return ) F.result
val compressed_mul : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return ) F.result
val compressed_of_uncompressed : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return ) F.result
val uncompressed_of_compressed : ( bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return ) F.result