hacl-star-raw 0.7.1 (latest)

Parameters

module F : Cstubs.FOREIGN

Signature

module Hacl_Streaming_Types_applied : sig ... end

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

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

type hacl_Streaming_Keccak_hash_buf =
  [ `hacl_Streaming_Keccak_hash_buf ] Ctypes.structure

val hacl_Streaming_Keccak_hash_buf : 
  [ `hacl_Streaming_Keccak_hash_buf ] Ctypes.structure Ctypes.typ

val hacl_Streaming_Keccak_hash_buf_fst : 
  (Unsigned.uint8, [ `hacl_Streaming_Keccak_hash_buf ] Ctypes.structure)
    Ctypes.field

val hacl_Streaming_Keccak_hash_buf_snd : 
  (Unsigned.uint64 Ctypes_static.ptr,
    [ `hacl_Streaming_Keccak_hash_buf ] Ctypes.structure)
    Ctypes.field

type hacl_Streaming_Keccak_state =
  [ `hacl_Streaming_Keccak_state ] Ctypes.structure

val hacl_Streaming_Keccak_state : 
  [ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes.typ

val hacl_Streaming_Keccak_state_block_state : 
  ([ `hacl_Streaming_Keccak_hash_buf ] Ctypes.structure,
    [ `hacl_Streaming_Keccak_state ] Ctypes.structure)
    Ctypes.field

val hacl_Streaming_Keccak_state_buf : 
  (Unsigned.uint8 Ctypes_static.ptr,
    [ `hacl_Streaming_Keccak_state ] Ctypes.structure)
    Ctypes.field

val hacl_Streaming_Keccak_state_total_len : 
  (Unsigned.uint64, [ `hacl_Streaming_Keccak_state ] Ctypes.structure)
    Ctypes.field

val hacl_Streaming_Keccak_get_alg : 
  ([ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr ->
    Unsigned.uint8 F.return)
    F.result

val hacl_Streaming_Keccak_malloc : 
  (Unsigned.uint8 ->
    [ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr
      F.return)
    F.result

val hacl_Streaming_Keccak_free : 
  ([ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_Streaming_Keccak_copy : 
  ([ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr ->
    [ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr
      F.return)
    F.result

val hacl_Streaming_Keccak_reset : 
  ([ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_Streaming_Keccak_update : 
  ([ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    Unsigned.uint8 F.return)
    F.result

val hacl_Streaming_Keccak_finish : 
  ([ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint8 F.return)
    F.result

val hacl_Streaming_Keccak_squeeze : 
  ([ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    Unsigned.uint8 F.return)
    F.result

val hacl_Streaming_Keccak_block_len : 
  ([ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val hacl_Streaming_Keccak_hash_len : 
  ([ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val hacl_Streaming_Keccak_is_shake : 
  ([ `hacl_Streaming_Keccak_state ] Ctypes.structure Ctypes_static.ptr ->
    bool F.return)
    F.result

val hacl_SHA3_shake128_hacl : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val hacl_SHA3_shake256_hacl : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val hacl_SHA3_sha3_224 : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val hacl_SHA3_sha3_256 : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val hacl_SHA3_sha3_384 : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val hacl_SHA3_sha3_512 : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

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

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

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

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

val hacl_Impl_SHA3_keccak : 
  (Unsigned.uint32 ->
    Unsigned.uint32 ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint8 ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

package hacl-star-raw

Parameters

Signature