bls12-381
OCaml binding for bls12-381 from librustzcash
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library bls12-381
Parameters
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
val build_from_components :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bool F.return )
F.result