hacl-star-raw 0.7.0 · OCaml Package

Parameters

module F : Cstubs.FOREIGN

Signature

val hacl_EC_K256_mk_felem_zero : 
  (Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result

val hacl_EC_K256_mk_felem_one : 
  (Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result

val hacl_EC_K256_felem_add : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_felem_sub : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_felem_mul : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_felem_sqr : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_felem_inv : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_felem_load : 
  (bytes Ctypes_static.ocaml ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_felem_store : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val hacl_EC_K256_mk_point_at_inf : 
  (Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result

val hacl_EC_K256_mk_base_point : 
  (Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.result

val hacl_EC_K256_point_negate : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_point_add : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_point_double : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_point_mul : 
  (bytes Ctypes_static.ocaml ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_point_eq : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    bool F.return)
    F.result

val hacl_EC_K256_point_store : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val hacl_EC_K256_point_load : 
  (bytes Ctypes_static.ocaml ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_EC_K256_is_point_valid : 
  (bytes Ctypes_static.ocaml -> bool F.return) F.result

val hacl_EC_K256_point_compress : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val hacl_EC_K256_point_decompress : 
  (bytes Ctypes_static.ocaml ->
    Unsigned.uint64 Ctypes_static.ptr ->
    bool F.return)
    F.result

package hacl-star-raw

Parameters

Signature