hacl-star-raw 0.7.0 · OCaml Package

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_Impl_K256_PointAdd_point_add : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_Impl_K256_PointMul_point_mul : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    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

package hacl-star-raw

Parameters

Signature