Namespace: EverCrypt_Hash

Hacl~EverCrypt_Hash

Methods

(static) alg_of_state(state) → {uint32}

Parameters:
Name Type Description
state EverCrypt_Hash_Incremental_state_t
Source:
Returns:
Type
uint32

(static) digest(state) → {buffer}

Parameters:
Name Type Description
state EverCrypt_Hash_Incremental_state_t
Source:
Returns:
hash - size EverCrypt_Hash.hash_len(EverCrypt_Hash.alg_of_state(state))
Type
buffer

(static) hash(hash_alg, input) → {buffer}

Parameters:
Name Type Description
hash_alg uint32
input buffer size input_len
Source:
Returns:
hash - size EverCrypt_Hash.hash_len(hash_alg)
Type
buffer

(static) hash_len(hash_alg) → {uint32}

Parameters:
Name Type Description
hash_alg uint32
Source:
Returns:
Type
uint32

(static) malloc(hash_alg) → {EverCrypt_Hash_Incremental_state_t}

Parameters:
Name Type Description
hash_alg uint32
Source:
Returns:
Type
EverCrypt_Hash_Incremental_state_t

(static) update(state, data) → {uint32|EverCrypt_Hash_Incremental_state_t}

Parameters:
Name Type Description
state EverCrypt_Hash_Incremental_state_t
data buffer size len
Source:
Returns:
  • Type
    uint32
  • state
    Type
    EverCrypt_Hash_Incremental_state_t