Crate libcrux_hacl

Source

Expand description

§HACL Sys

Bindings to HACL C code

Structs§

EverCrypt_AEAD_state_s_s
Hacl_HMAC_DRBG_state_s
Hacl_Hash_Blake2b_Simd256_block_state_t_s
Hacl_Hash_Blake2b_Simd256_state_t_s
Hacl_Hash_Blake2b_block_state_t_s
Hacl_Hash_Blake2b_state_t_s
Hacl_Hash_Blake2s_Simd128_block_state_t_s
Hacl_Hash_Blake2s_Simd128_state_t_s
Hacl_Hash_Blake2s_block_state_t_s
Hacl_Hash_Blake2s_state_t_s
Hacl_Hash_SHA3_hash_buf_s
Hacl_Hash_SHA3_state_t_s
Hacl_Streaming_MD_state_32_s
Hacl_Streaming_MD_state_64_s

Constants§

Hacl_Streaming_Types_InvalidAlgorithm
Hacl_Streaming_Types_InvalidLength
Hacl_Streaming_Types_MaximumLengthExceeded
Hacl_Streaming_Types_Success
Spec_Agile_AEAD_AES128_CCM
Spec_Agile_AEAD_AES128_CCM8
Spec_Agile_AEAD_AES128_GCM
Spec_Agile_AEAD_AES256_CCM
Spec_Agile_AEAD_AES256_CCM8
Spec_Agile_AEAD_AES256_GCM
Spec_Agile_AEAD_CHACHA20_POLY1305
Spec_FFDHE_FFDHE2048
Spec_FFDHE_FFDHE3072
Spec_FFDHE_FFDHE4096
Spec_FFDHE_FFDHE6144
Spec_FFDHE_FFDHE8192
Spec_Hash_Definitions_Blake2B
Spec_Hash_Definitions_Blake2S
Spec_Hash_Definitions_MD5
Spec_Hash_Definitions_SHA1
Spec_Hash_Definitions_SHA2_224
Spec_Hash_Definitions_SHA2_256
Spec_Hash_Definitions_SHA2_384
Spec_Hash_Definitions_SHA2_512
Spec_Hash_Definitions_SHA3_224
Spec_Hash_Definitions_SHA3_256
Spec_Hash_Definitions_SHA3_384
Spec_Hash_Definitions_SHA3_512
Spec_Hash_Definitions_Shake128
Spec_Hash_Definitions_Shake256

Functions§

EverCrypt_AEAD_alg_of_state^⚠: Return the algorithm used in the AEAD state.
EverCrypt_AEAD_create_in^⚠: Create the required AEAD state for the algorithm.
EverCrypt_AEAD_decrypt^⚠: Verify the authenticity of ad || cipher and decrypt cipher into dst.
EverCrypt_AEAD_decrypt_expand^⚠
EverCrypt_AEAD_decrypt_expand_aes128_gcm^⚠
EverCrypt_AEAD_decrypt_expand_aes128_gcm_no_check^⚠: WARNING: this function doesn’t perform any dynamic hardware check. You MUST make sure your hardware supports the implementation of AESGCM. Besides, this function was not designed for cross-compilation: if you compile it on a system which doesn’t support Vale, it will compile it to a function which makes the program exit.
EverCrypt_AEAD_decrypt_expand_aes256_gcm^⚠
EverCrypt_AEAD_decrypt_expand_aes256_gcm_no_check^⚠: WARNING: this function doesn’t perform any dynamic hardware check. You MUST make sure your hardware supports the implementation of AESGCM. Besides, this function was not designed for cross-compilation: if you compile it on a system which doesn’t support Vale, it will compile it to a function which makes the program exit.
EverCrypt_AEAD_decrypt_expand_chacha20_poly1305^⚠
EverCrypt_AEAD_encrypt^⚠: Encrypt and authenticate a message (plain) with associated data (ad).
EverCrypt_AEAD_encrypt_expand^⚠
EverCrypt_AEAD_encrypt_expand_aes128_gcm^⚠
EverCrypt_AEAD_encrypt_expand_aes128_gcm_no_check^⚠: WARNING: this function doesn’t perform any dynamic hardware check. You MUST make sure your hardware supports the implementation of AESGCM. Besides, this function was not designed for cross-compilation: if you compile it on a system which doesn’t support Vale, it will compile it to a function which makes the program exit.
EverCrypt_AEAD_encrypt_expand_aes256_gcm^⚠
EverCrypt_AEAD_encrypt_expand_aes256_gcm_no_check^⚠: WARNING: this function doesn’t perform any dynamic hardware check. You MUST make sure your hardware supports the implementation of AESGCM. Besides, this function was not designed for cross-compilation: if you compile it on a system which doesn’t support Vale, it will compile it to a function which makes the program exit.
EverCrypt_AEAD_encrypt_expand_chacha20_poly1305^⚠
EverCrypt_AEAD_free^⚠: Cleanup and free the AEAD state.
EverCrypt_AEAD_uu___is_Ek^⚠: Both encryption and decryption require a state that holds the key. The state may be reused as many times as desired.
EverCrypt_AutoConfig2_disable_adx^⚠
EverCrypt_AutoConfig2_disable_aesni^⚠
EverCrypt_AutoConfig2_disable_avx^⚠
EverCrypt_AutoConfig2_disable_avx2^⚠
EverCrypt_AutoConfig2_disable_avx512^⚠
EverCrypt_AutoConfig2_disable_bmi2^⚠
EverCrypt_AutoConfig2_disable_movbe^⚠
EverCrypt_AutoConfig2_disable_pclmulqdq^⚠
EverCrypt_AutoConfig2_disable_rdrand^⚠
EverCrypt_AutoConfig2_disable_shaext^⚠
EverCrypt_AutoConfig2_disable_sse^⚠
EverCrypt_AutoConfig2_has_adx^⚠
EverCrypt_AutoConfig2_has_aesni^⚠
EverCrypt_AutoConfig2_has_avx^⚠
EverCrypt_AutoConfig2_has_avx2^⚠
EverCrypt_AutoConfig2_has_avx512^⚠
EverCrypt_AutoConfig2_has_bmi2^⚠
EverCrypt_AutoConfig2_has_movbe^⚠
EverCrypt_AutoConfig2_has_pclmulqdq^⚠
EverCrypt_AutoConfig2_has_rdrand^⚠
EverCrypt_AutoConfig2_has_shaext^⚠
EverCrypt_AutoConfig2_has_sse^⚠
EverCrypt_AutoConfig2_has_vec128^⚠
EverCrypt_AutoConfig2_has_vec256^⚠
EverCrypt_AutoConfig2_init^⚠
EverCrypt_AutoConfig2_recall^⚠
Hacl_AEAD_Chacha20Poly1305_Simd128_decrypt^⚠: Decrypt a ciphertext input with key key.
Hacl_AEAD_Chacha20Poly1305_Simd128_encrypt^⚠: Encrypt a message input with key key.
Hacl_AEAD_Chacha20Poly1305_Simd256_decrypt^⚠: Decrypt a ciphertext input with key key.
Hacl_AEAD_Chacha20Poly1305_Simd256_encrypt^⚠: Encrypt a message input with key key.
Hacl_AEAD_Chacha20Poly1305_decrypt^⚠: Decrypt a ciphertext input with key key.
Hacl_AEAD_Chacha20Poly1305_encrypt^⚠: Encrypt a message input with key key.
Hacl_Curve25519_51_ecdh^⚠: Execute the diffie-hellmann key exchange.
Hacl_Curve25519_51_scalarmult^⚠: Compute the scalar multiple of a point.
Hacl_Curve25519_51_secret_to_public^⚠: Calculate a public point from a secret/private key.
Hacl_Curve25519_64_ecdh^⚠: Execute the diffie-hellmann key exchange.
Hacl_Curve25519_64_scalarmult^⚠: Compute the scalar multiple of a point.
Hacl_Curve25519_64_secret_to_public^⚠: Calculate a public point from a secret/private key.
Hacl_Ed25519_expand_keys^⚠: Compute the expanded keys for an Ed25519 signature.
Hacl_Ed25519_secret_to_public^⚠: Compute the public key from the private key.
Hacl_Ed25519_sign^⚠: Create an Ed25519 signature.
Hacl_Ed25519_sign_expanded^⚠: Create an Ed25519 signature with the (precomputed) expanded keys.
Hacl_Ed25519_verify^⚠: Verify an Ed25519 signature.
Hacl_HKDF_expand_blake2b_32^⚠: Expand pseudorandom key to desired length.
Hacl_HKDF_expand_blake2s_32^⚠: Expand pseudorandom key to desired length.
Hacl_HKDF_expand_sha2_256^⚠: Expand pseudorandom key to desired length.
Hacl_HKDF_expand_sha2_384^⚠: Expand pseudorandom key to desired length.
Hacl_HKDF_expand_sha2_512^⚠: Expand pseudorandom key to desired length.
Hacl_HKDF_extract_blake2b_32^⚠: Extract a fixed-length pseudorandom key from input keying material.
Hacl_HKDF_extract_blake2s_32^⚠: Extract a fixed-length pseudorandom key from input keying material.
Hacl_HKDF_extract_sha2_256^⚠: Extract a fixed-length pseudorandom key from input keying material.
Hacl_HKDF_extract_sha2_384^⚠: Extract a fixed-length pseudorandom key from input keying material.
Hacl_HKDF_extract_sha2_512^⚠: Extract a fixed-length pseudorandom key from input keying material.
Hacl_HMAC_DRBG_create_in^⚠: Create a DRBG state.
Hacl_HMAC_DRBG_free^⚠
Hacl_HMAC_DRBG_generate^⚠: Generate output.
Hacl_HMAC_DRBG_instantiate^⚠: Instantiate the DRBG.
Hacl_HMAC_DRBG_min_length^⚠: Return the minimal entropy input length of the desired hash function.
Hacl_HMAC_DRBG_reseed^⚠: Reseed the DRBG.
Hacl_HMAC_DRBG_uu___is_State^⚠
Hacl_HMAC_compute_blake2b_32^⚠: Write the HMAC-BLAKE2b MAC of a message (data) by using a key (key) into dst.
Hacl_HMAC_compute_blake2s_32^⚠: Write the HMAC-BLAKE2s MAC of a message (data) by using a key (key) into dst.
Hacl_HMAC_compute_sha1^⚠: Write the HMAC-SHA-1 MAC of a message (data) by using a key (key) into dst.
Hacl_HMAC_compute_sha2_256^⚠: Write the HMAC-SHA-2-256 MAC of a message (data) by using a key (key) into dst.
Hacl_HMAC_compute_sha2_384^⚠: Write the HMAC-SHA-2-384 MAC of a message (data) by using a key (key) into dst.
Hacl_HMAC_compute_sha2_512^⚠: Write the HMAC-SHA-2-512 MAC of a message (data) by using a key (key) into dst.
Hacl_Hash_Blake2b_Simd256_digest^⚠: Finish function when there is no key
Hacl_Hash_Blake2b_Simd256_free^⚠: Free state function when there is no key
Hacl_Hash_Blake2b_Simd256_hash_with_key^⚠: Write the BLAKE2b digest of message input using key key into output.
Hacl_Hash_Blake2b_Simd256_malloc^⚠: State allocation function when there is no key
Hacl_Hash_Blake2b_Simd256_reset^⚠: Re-initialization function when there is no key
Hacl_Hash_Blake2b_Simd256_update^⚠: Update function when there is no key; 0 = success, 1 = max length exceeded
Hacl_Hash_Blake2b_digest^⚠: Finish function when there is no key
Hacl_Hash_Blake2b_free^⚠: Free state function when there is no key
Hacl_Hash_Blake2b_hash_with_key^⚠: Write the BLAKE2b digest of message input using key key into output.
Hacl_Hash_Blake2b_malloc^⚠: State allocation function when there is no key
Hacl_Hash_Blake2b_reset^⚠: Re-initialization function when there is no key
Hacl_Hash_Blake2b_update^⚠: Update function when there is no key; 0 = success, 1 = max length exceeded
Hacl_Hash_Blake2s_Simd128_digest^⚠: Finish function when there is no key
Hacl_Hash_Blake2s_Simd128_free^⚠: Free state function when there is no key
Hacl_Hash_Blake2s_Simd128_hash_with_key^⚠: Write the BLAKE2s digest of message input using key key into output.
Hacl_Hash_Blake2s_Simd128_malloc^⚠: State allocation function when there is no key
Hacl_Hash_Blake2s_Simd128_reset^⚠: Re-initialization function when there is no key
Hacl_Hash_Blake2s_Simd128_update^⚠: Update function when there is no key; 0 = success, 1 = max length exceeded
Hacl_Hash_Blake2s_digest^⚠: Finish function when there is no key
Hacl_Hash_Blake2s_free^⚠: Free state function when there is no key
Hacl_Hash_Blake2s_hash_with_key^⚠: Write the BLAKE2s digest of message input using key key into output.
Hacl_Hash_Blake2s_malloc^⚠: State allocation function when there is no key
Hacl_Hash_Blake2s_reset^⚠: Re-initialization function when there is no key
Hacl_Hash_Blake2s_update^⚠: Update function when there is no key; 0 = success, 1 = max length exceeded
Hacl_Hash_SHA1_copy^⚠
Hacl_Hash_SHA1_digest^⚠
Hacl_Hash_SHA1_free^⚠
Hacl_Hash_SHA1_hash^⚠
Hacl_Hash_SHA1_malloc^⚠
Hacl_Hash_SHA1_reset^⚠
Hacl_Hash_SHA1_update^⚠: 0 = success, 1 = max length exceeded
Hacl_Hash_SHA2_copy_256^⚠: Copies the state passed as argument into a newly allocated state (deep copy). The state is to be freed by calling free_256. Cloning the state this way is useful, for instance, if your control-flow diverges and you need to feed more (different) data into the hash in each branch.
Hacl_Hash_SHA2_copy_512^⚠: Copies the state passed as argument into a newly allocated state (deep copy). The state is to be freed by calling free_512. Cloning the state this way is useful, for instance, if your control-flow diverges and you need to feed more (different) data into the hash in each branch.
Hacl_Hash_SHA2_digest_224^⚠: Write the resulting hash into output, an array of 28 bytes. The state remains valid after a call to digest_224, meaning the user may feed more data into the hash via update_224.
Hacl_Hash_SHA2_digest_256^⚠: Write the resulting hash into output, an array of 32 bytes. The state remains valid after a call to digest_256, meaning the user may feed more data into the hash via update_256. (The digest_256 function operates on an internal copy of the state and therefore does not invalidate the client-held state p.)
Hacl_Hash_SHA2_digest_384^⚠: Write the resulting hash into output, an array of 48 bytes. The state remains valid after a call to digest_384, meaning the user may feed more data into the hash via update_384.
Hacl_Hash_SHA2_digest_512^⚠: Write the resulting hash into output, an array of 64 bytes. The state remains valid after a call to digest_512, meaning the user may feed more data into the hash via update_512. (The digest_512 function operates on an internal copy of the state and therefore does not invalidate the client-held state p.)
Hacl_Hash_SHA2_free_224^⚠
Hacl_Hash_SHA2_free_256^⚠: Free a state allocated with malloc_256.
Hacl_Hash_SHA2_free_384^⚠
Hacl_Hash_SHA2_free_512^⚠: Free a state allocated with malloc_512.
Hacl_Hash_SHA2_hash_224^⚠: Hash input, of len input_len, into output, an array of 28 bytes.
Hacl_Hash_SHA2_hash_256^⚠: Hash input, of len input_len, into output, an array of 32 bytes.
Hacl_Hash_SHA2_hash_384^⚠: Hash input, of len input_len, into output, an array of 48 bytes.
Hacl_Hash_SHA2_hash_512^⚠: Hash input, of len input_len, into output, an array of 64 bytes.
Hacl_Hash_SHA2_malloc_224^⚠
Hacl_Hash_SHA2_malloc_256^⚠: Allocate initial state for the SHA2_256 hash. The state is to be freed by calling free_256.
Hacl_Hash_SHA2_malloc_384^⚠
Hacl_Hash_SHA2_malloc_512^⚠
Hacl_Hash_SHA2_reset_224^⚠
Hacl_Hash_SHA2_reset_256^⚠: Reset an existing state to the initial hash state with empty data.
Hacl_Hash_SHA2_reset_384^⚠
Hacl_Hash_SHA2_reset_512^⚠
Hacl_Hash_SHA2_update_224^⚠
Hacl_Hash_SHA2_update_256^⚠: Feed an arbitrary amount of data into the hash. This function returns 0 for success, or 1 if the combined length of all of the data passed to update_256 (since the last call to reset_256) exceeds 2^61-1 bytes.
Hacl_Hash_SHA2_update_384^⚠
Hacl_Hash_SHA2_update_512^⚠: Feed an arbitrary amount of data into the hash. This function returns 0 for success, or 1 if the combined length of all of the data passed to update_512 (since the last call to reset_512) exceeds 2^125-1 bytes.
Hacl_Hash_SHA3_absorb_inner^⚠
Hacl_Hash_SHA3_block_len^⚠
Hacl_Hash_SHA3_copy^⚠
Hacl_Hash_SHA3_digest^⚠
Hacl_Hash_SHA3_free^⚠
Hacl_Hash_SHA3_get_alg^⚠
Hacl_Hash_SHA3_hash_len^⚠
Hacl_Hash_SHA3_is_shake^⚠
Hacl_Hash_SHA3_keccak^⚠
Hacl_Hash_SHA3_malloc^⚠
Hacl_Hash_SHA3_reset^⚠
Hacl_Hash_SHA3_sha3_224^⚠
Hacl_Hash_SHA3_sha3_256^⚠
Hacl_Hash_SHA3_sha3_384^⚠
Hacl_Hash_SHA3_sha3_512^⚠
Hacl_Hash_SHA3_shake128_hacl^⚠
Hacl_Hash_SHA3_shake256_hacl^⚠
Hacl_Hash_SHA3_squeeze^⚠
Hacl_Hash_SHA3_squeeze0^⚠
Hacl_Hash_SHA3_update^⚠
Hacl_P256_compressed_to_raw^⚠: Convert a public key from compressed to its raw form.
Hacl_P256_dh_initiator^⚠: Compute the public key from the private key.
Hacl_P256_dh_responder^⚠: Execute the diffie-hellmann key exchange.
Hacl_P256_ecdsa_sign_p256_sha2^⚠: Create an ECDSA signature using SHA2-256.
Hacl_P256_ecdsa_sign_p256_sha384^⚠: Create an ECDSA signature using SHA2-384.
Hacl_P256_ecdsa_sign_p256_sha512^⚠: Create an ECDSA signature using SHA2-512.
Hacl_P256_ecdsa_sign_p256_without_hash^⚠: Create an ECDSA signature WITHOUT hashing first.
Hacl_P256_ecdsa_verif_p256_sha2^⚠: Verify an ECDSA signature using SHA2-256.
Hacl_P256_ecdsa_verif_p256_sha384^⚠: Verify an ECDSA signature using SHA2-384.
Hacl_P256_ecdsa_verif_p256_sha512^⚠: Verify an ECDSA signature using SHA2-512.
Hacl_P256_ecdsa_verif_without_hash^⚠: Verify an ECDSA signature WITHOUT hashing first.
Hacl_P256_raw_to_compressed^⚠: Convert a public key from raw to its compressed form.
Hacl_P256_raw_to_uncompressed^⚠: Convert a public key from raw to its uncompressed form.
Hacl_P256_uncompressed_to_raw^⚠: Convert a public key from uncompressed to its raw form.
Hacl_P256_validate_private_key^⚠: Private key validation.
Hacl_P256_validate_public_key^⚠: Public key validation.
Hacl_RSAPSS_mgf_hash^⚠: The mask generation function defined in the Public Key Cryptography Standard #1 (https://www.ietf.org/rfc/rfc2437.txt Section 10.2.1)
Hacl_RSAPSS_new_rsapss_load_pkey^⚠: Load a public key from key parts.
Hacl_RSAPSS_new_rsapss_load_skey^⚠: Load a secret key from key parts.
Hacl_RSAPSS_rsapss_pkey_verify^⚠: Verify the signature sgnt of a message msg.
Hacl_RSAPSS_rsapss_sign^⚠: Sign a message msg and write the signature to sgnt.
Hacl_RSAPSS_rsapss_skey_sign^⚠: Sign a message msg and write the signature to sgnt.
Hacl_RSAPSS_rsapss_verify^⚠: Verify the signature sgnt of a message msg.
hacl_free^⚠

Crate libcrux_haclCopy item path

§HACL Sys

Structs§

Constants§

Functions§

Type Aliases§

Crate libcrux_hacl