Module Psa.Alg

Algorithms.

Algorithms

type t

The type for psa_algorithm_t.

val none : t

PSA_ALG_NONE.

Algorithm categories

val is_hash : t -> bool

PSA_ALG_IS_HASH.

val is_mac : t -> bool

PSA_ALG_IS_MAC.

val is_cipher : t -> bool

PSA_ALG_IS_CIPHER.

val is_aead : t -> bool

PSA_ALG_IS_AEAD.

val is_key_derivation : t -> bool

PSA_ALG_IS_KEY_DERIVATION.

val is_sign : t -> bool

PSA_ALG_IS_SIGN.

val is_asymmetric_encryption : t -> bool

PSA_ALG_IS_ASYMMETRIC_ENCRYPTION.

val is_key_agreement : t -> bool

PSA_ALG_IS_KEY_AGREEMENT.

val is_wildcard : t -> bool

PSA_ALG_IS_WILDCARD.

val get_hash : t -> t

PSA_ALG_GET_HASH.

Message digests (Hashes)

val md2 : t

PSA_ALG_MD2 WARNING Only use for legacy applications.

val md4 : t

PSA_ALG_MD4 WARNING Only use for legacy applications.

val md5 : t

PSA_ALG_MD5 WARNING Only use for legacy applications.

val ripemd160 : t

PSA_ALG_RIPEMD160

val aes_mmo_zigbee : t

PSA_ALG_AES_MMO_ZIGBEE

val sha_1 : t

PSA_ALG_SHA_1 WARNING Only use for legacy applications.

val sha_224 : t

PSA_ALG_SHA_224

val sha_256 : t

PSA_ALG_SHA_256

val sha_384 : t

PSA_ALG_SHA_384

val sha_512 : t

PSA_ALG_SHA_512

val sha_512_224 : t

PSA_ALG_SHA_512_224

val sha_512_256 : t

PSA_ALG_SHA_512_256

val sha3_224 : t

PSA_ALG_SHA3_224

val sha3_256 : t

PSA_ALG_SHA3_256

val sha3_384 : t

PSA_ALG_SHA3_384

val sha3_512 : t

PSA_ALG_SHA3_512

val shake256_512 : t

PSA_ALG_SHAKE256_512

val sm3 : t

PSA_ALG_SM3

Message authentication codes (MAC)

val hmac : t -> t

PSA_ALG_HMAC

val cbc_mac : t

PSA_ALG_CBC_MAC WARNING Not recommended.

val cbc : t

PSA_ALG_CBC

val truncated_mac : t -> length:int -> t

PSA_ALG_TRUNCATED_MAC

val full_length_mac : t -> t

PSA_ALG_FULL_LENGTH_MAC

val at_least_this_length_mac : t -> length:int -> t

PSA_ALG_AT_LEAST_THIS_LENGTH_MAC

val is_hmac : t -> bool

PSA_ALG_IS_HMAC

val is_block_cipher_mac : t -> bool

PSA_ALG_IS_BLOCK_CIPHER_MAC.

Unauthenticated ciphers

val stream_cipher : t

PSA_ALG_STREAM_CIPHER.

val ctr : t

PSA_ALG_CTR

val ccm_star_no_tag : t

PSA_ALG_CCM_STAR_NO_TAG

val ccm_star_any_tag : t

PSA_ALG_CCM_STAR_ANY_TAG

val cfb : t

PSA_ALG_CFB

val ofb : t

PSA_ALG_OFB

val xts : t

PSA_ALG_XTS

val ecb_no_padding : t

PSA_ALG_ECB_NO_PADDING

val cbc_no_padding : t

PSA_ALG_CBC_NO_PADDING

val cbc_pkcs7 : t

PSA_ALG_CBC_PKCS7

val is_stream_cipher : t -> bool

PSA_ALG_IS_STREAM_CIPHER

Authenticated encryption with associcated data (AEAD)

val ccm : t

PSA_ALG_CCM

val gcm : t

PSA_ALG_GCM

val chacha20_poly1305 : t

PSA_ALG_CHACHA20_POLY1305

val xchacha20_poly1305 : t

PSA_ALG_XCHACHA20_POLY1305

val aead_with_shortened_tag : t -> length:int -> t

PSA_ALG_AEAD_WITH_SHORTENED_TAG

val aead_with_default_length_tag : t -> t

PSA_ALG_AEAD_WITH_DEFAULT_LENGTH_TAG

val aead_with_at_least_this_length_tag : t -> length:int -> t

PSA_ALG_AEAD_WITH_AT_LEAST_THIS_LENGTH_TAG

val is_aead_on_block_cipher : t -> bool

PSA_ALG_IS_AEAD_ON_BLOCK_CIPHER

Key derivation

val hkdf : t -> t

PSA_ALG_HKDF

val hkdf_extract : t -> t

PSA_ALG_HKDF_EXTRACT

val hkdf_expand : t -> t

PSA_ALG_HKDF_EXPAND

val tls12_prf : t -> t

PSA_ALG_TLS12_PRF

val tls12_psk_to_ms : t -> t

PSA_ALG_TLS12_PSK_TO_MS

val pbkdf2_hmac : t -> t

PSA_ALG_PBKDF2_HMAC

val is_key_derivation_stretching : t -> bool

PSA_ALG_IS_KEY_DERIVATION_STRETCHING

val is_hkdf : t -> bool

PSA_ALG_IS_HKDF

val is_hkdf_extract : t -> bool

PSA_ALG_IS_HKDF_EXTRACT

val is_hkdf_expand : t -> bool

PSA_ALG_IS_HKDF_EXPAND

val is_tls12_prf : t -> bool

PSA_ALG_IS_TLS12_PRF

val is_pbkdf2_hmac : t -> bool

PSA_ALG_IS_PBKDF2_HMAC

Asymmetric signature

val rsa_pkcs1v15_sign : t -> t

PSA_ALG_RSA_PKCS1V15_SIGN

val rsa_pkcs1v15_sign_raw : t

PSA_ALG_RSA_PKCS1V15_SIGN_RAW

val rsa_pss : t -> t

PSA_ALG_RSA_PSS

val rsa_pss_any_salt : t -> t

PSA_ALG_RSA_PSS_ANY_SALT

val ecdsa : t -> t

PSA_ALG_ECDSA

val ecdsa_any : t

PSA_ALG_ECDSA_ANY

val deterministic_ecdsa : t -> t

PSA_ALG_DETERMINISTIC_ECDSA

val pure_eddsa : t

PSA_ALG_PURE_EDDSA

val ed25519ph : t

PSA_ALG_ED25519PH

val ed448ph : t

PSA_ALG_ED448PH

val is_sign_message : t -> bool

PSA_ALG_IS_SIGN_MESSAGE

val is_sign_hash : t -> bool

PSA_ALG_IS_SIGN_HASH

val is_rsa_pkcs1v15_sign : t -> bool

PSA_ALG_IS_RSA_PKCS1V15_SIGN

val is_rsa_pss : t -> bool

PSA_ALG_IS_RSA_PSS

val is_rsa_pss_any_salt : t -> bool

PSA_ALG_IS_RSA_PSS_ANY_SALT

val is_rsa_pss_standard_salt : t -> bool

PSA_ALG_IS_RSA_PSS_STANDARD_SALT

val is_ecdsa : t -> bool

PSA_ALG_IS_ECDSA

val is_deterministic_ecdsa : t -> bool

PSA_ALG_IS_DETERMINISTIC_ECDSA

val is_randomized_ecdsa : t -> bool

PSA_ALG_IS_RANDOMIZED_ECDSA

val is_hash_eddsa : t -> bool

PSA_ALG_IS_HASH_EDDSA

val is_hash_and_sign : t -> bool

PSA_ALG_IS_HASH_AND_SIGN

val any_hash : t

PSA_ALG_ANY_HASH

Asymmetric encryption

val rsa_pkcs1v15_crypt : t

PSA_ALG_RSA_PKCS1V15_CRYPT

val rsa_oaep : t -> t

PSA_ALG_RSA_OAEP

val is_rsa_oaep : t -> bool

PSA_ALG_IS_RSA_OAEP

Key agreement

val ffdh : t

PSA_ALG_FFDH

val ecdh : t

PSA_ALG_ECDH

val key_agreement : ka:t -> kdf:t -> t

PSA_ALG_KEY_AGREEMENT

val key_agreement_get_base : t -> t

PSA_ALG_KEY_AGREEMENT_GET_BASE

val key_agreement_get_kdf : t -> t

PSA_ALG_KEY_AGREEMENT_GET_KDF

val is_standalone_key_agreement : t -> bool

PSA_ALG_IS_STANDALONE_KEY_AGREEMENT

val is_ffdh : t -> bool

PSA_ALG_IS_FFHD

val is_ecdh : t -> bool

PSA_ALG_IS_ECDH

Predicates and comparisons

val equal : t -> t -> bool

equal a0 a1 is true iff a0 and a1 are equal.

val compare : t -> t -> int

compare is a total order compatible with equal.

Converting

val to_uint32 : t -> uint32

to_uint32 a is a as an unsigned 32-bit integer.

val of_uint32 : uint32 -> t

of_uint32 i is i as an algorithm.

Formatting

val pp : Stdlib.Format.formatter -> t -> unit

pp formats algorithms for inspection.