package hacl-star-raw

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module F : Cstubs.FOREIGN

Signature

val hacl_Impl_K256_Point_make_point_at_inf : (Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Impl_K256_Point_point_negate : (Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Impl_K256_Point_point_eq_vartime : (Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> bool F.return) F.result
val hacl_Impl_K256_Point_aff_point_decompress_vartime : (Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_Impl_K256_Point_aff_point_compress_vartime : (bytes Ctypes_static.ocaml -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_Impl_K256_PointDouble_point_double : (Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result
val hacl_K256_ECDSA_ecdsa_sign_hashed_msg : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_ecdsa_sign_sha256 : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_ecdsa_verify_hashed_msg : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_ecdsa_verify_sha256 : (Unsigned.uint32 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_secp256k1_ecdsa_signature_normalize : (bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_secp256k1_ecdsa_is_signature_normalized : (bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_secp256k1_ecdsa_sign_hashed_msg : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_secp256k1_ecdsa_sign_sha256 : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_secp256k1_ecdsa_verify_hashed_msg : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_secp256k1_ecdsa_verify_sha256 : (Unsigned.uint32 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_public_key_uncompressed_to_raw : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_public_key_uncompressed_from_raw : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val hacl_K256_ECDSA_public_key_compressed_to_raw : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_public_key_compressed_from_raw : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val hacl_K256_ECDSA_is_public_key_valid : (bytes Ctypes_static.ocaml -> bool F.return) F.result
val hacl_K256_ECDSA_secret_to_public : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
OCaml

Innovation. Community. Security.