blob: 87b8c39fa6db1d6033182dc2453ec444f8ffabde [file] [log] [blame]
Gilles Peskine0cad07c2018-06-27 19:49:02 +02001/**
2 * \file psa/crypto_sizes.h
3 *
4 * \brief PSA cryptography module: Mbed TLS buffer size macros
5 *
Gilles Peskine07c91f52018-06-28 18:02:53 +02006 * \note This file may not be included directly. Applications must
7 * include psa/crypto.h.
8 *
Gilles Peskine0cad07c2018-06-27 19:49:02 +02009 * This file contains the definitions of macros that are useful to
10 * compute buffer sizes. The signatures and semantics of these macros
11 * are standardized, but the definitions are not, because they depend on
12 * the available algorithms and, in some cases, on permitted tolerances
13 * on buffer sizes.
Gilles Peskine49cee6c2018-06-27 21:03:58 +020014 *
Gilles Peskine07c91f52018-06-28 18:02:53 +020015 * In implementations with isolation between the application and the
16 * cryptography module, implementers should take care to ensure that
17 * the definitions that are exposed to applications match what the
18 * module implements.
19 *
Gilles Peskine49cee6c2018-06-27 21:03:58 +020020 * Macros that compute sizes whose values do not depend on the
21 * implementation are in crypto.h.
Gilles Peskine0cad07c2018-06-27 19:49:02 +020022 */
23/*
Bence Szépkúti1e148272020-08-07 13:07:28 +020024 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +000025 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Gilles Peskine0cad07c2018-06-27 19:49:02 +020026 */
27
28#ifndef PSA_CRYPTO_SIZES_H
29#define PSA_CRYPTO_SIZES_H
30
Ronald Cronf6236f02023-01-26 16:22:25 +010031/*
Ronald Cron7871cb12023-10-10 08:51:39 +020032 * Include the build-time configuration information header. Here, we do not
Ronald Cronf6236f02023-01-26 16:22:25 +010033 * include `"mbedtls/build_info.h"` directly but `"psa/build_info.h"`, which
34 * is basically just an alias to it. This is to ease the maintenance of the
Ronald Cron070e8652023-10-09 10:25:45 +020035 * TF-PSA-Crypto repository which has a different build system and
Ronald Cronf6236f02023-01-26 16:22:25 +010036 * configuration.
37 */
38#include "psa/build_info.h"
Gilles Peskine0cad07c2018-06-27 19:49:02 +020039
Gilles Peskine3c861642023-07-20 15:10:34 +020040#define PSA_BITS_TO_BYTES(bits) (((bits) + 7u) / 8u)
41#define PSA_BYTES_TO_BITS(bytes) ((bytes) * 8u)
Przemek Stekiel654bef02022-12-15 13:28:02 +010042#define PSA_MAX_OF_THREE(a, b, c) ((a) <= (b) ? (b) <= (c) ? \
43 (c) : (b) : (a) <= (c) ? (c) : (a))
Gilles Peskinea7c26db2018-12-12 13:42:25 +010044
Gilles Peskine248010c2019-05-14 16:08:59 +020045#define PSA_ROUND_UP_TO_MULTIPLE(block_size, length) \
46 (((length) + (block_size) - 1) / (block_size) * (block_size))
47
Gilles Peskinea7c26db2018-12-12 13:42:25 +010048/** The size of the output of psa_hash_finish(), in bytes.
49 *
50 * This is also the hash size that psa_hash_verify() expects.
51 *
52 * \param alg A hash algorithm (\c PSA_ALG_XXX value such that
53 * #PSA_ALG_IS_HASH(\p alg) is true), or an HMAC algorithm
54 * (#PSA_ALG_HMAC(\c hash_alg) where \c hash_alg is a
55 * hash algorithm).
56 *
57 * \return The hash size for the specified hash algorithm.
58 * If the hash algorithm is not recognized, return 0.
Gilles Peskinea7c26db2018-12-12 13:42:25 +010059 */
gabor-mezei-armcbcec212020-12-18 14:23:51 +010060#define PSA_HASH_LENGTH(alg) \
61 ( \
Gilles Peskine3c861642023-07-20 15:10:34 +020062 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_MD5 ? 16u : \
63 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_RIPEMD160 ? 20u : \
64 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_1 ? 20u : \
65 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_224 ? 28u : \
66 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_256 ? 32u : \
67 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_384 ? 48u : \
68 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_512 ? 64u : \
69 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_512_224 ? 28u : \
70 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_512_256 ? 32u : \
71 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_224 ? 28u : \
72 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_256 ? 32u : \
73 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_384 ? 48u : \
74 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_512 ? 64u : \
75 0u)
Gilles Peskinea7c26db2018-12-12 13:42:25 +010076
Mateusz Starzyk7d262dd2021-08-26 13:28:46 +020077/** The input block size of a hash algorithm, in bytes.
78 *
79 * Hash algorithms process their input data in blocks. Hash operations will
80 * retain any partial blocks until they have enough input to fill the block or
81 * until the operation is finished.
82 * This affects the output from psa_hash_suspend().
83 *
84 * \param alg A hash algorithm (\c PSA_ALG_XXX value such that
85 * PSA_ALG_IS_HASH(\p alg) is true).
86 *
87 * \return The block size in bytes for the specified hash algorithm.
88 * If the hash algorithm is not recognized, return 0.
89 * An implementation can return either 0 or the correct size for a
90 * hash algorithm that it recognizes, but does not support.
91 */
92#define PSA_HASH_BLOCK_LENGTH(alg) \
93 ( \
Gilles Peskine3c861642023-07-20 15:10:34 +020094 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_MD5 ? 64u : \
95 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_RIPEMD160 ? 64u : \
96 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_1 ? 64u : \
97 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_224 ? 64u : \
98 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_256 ? 64u : \
99 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_384 ? 128u : \
100 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_512 ? 128u : \
101 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_512_224 ? 128u : \
102 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_512_256 ? 128u : \
103 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_224 ? 144u : \
104 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_256 ? 136u : \
105 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_384 ? 104u : \
106 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_512 ? 72u : \
Gilles Peskine935ff232023-08-09 19:48:02 +0200107 0u)
Mateusz Starzyk7d262dd2021-08-26 13:28:46 +0200108
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200109/** \def PSA_HASH_MAX_SIZE
110 *
111 * Maximum size of a hash.
112 *
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100113 * This macro expands to a compile-time constant integer. This value
114 * is the maximum size of a hash in bytes.
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200115 */
Dave Rodgman5734bb92023-06-26 18:23:08 +0100116/* Note: for HMAC-SHA-3, the block size is 144 bytes for HMAC-SHA3-224,
Gilles Peskine3052f532018-09-17 14:13:26 +0200117 * 136 bytes for HMAC-SHA3-256, 104 bytes for SHA3-384, 72 bytes for
118 * HMAC-SHA3-512. */
Manuel Pégourié-Gonnardc9d98292023-05-24 12:28:38 +0200119/* Note: PSA_HASH_MAX_SIZE should be kept in sync with MBEDTLS_MD_MAX_SIZE,
120 * see the note on MBEDTLS_MD_MAX_SIZE for details. */
Dave Rodgman5734bb92023-06-26 18:23:08 +0100121#if defined(PSA_WANT_ALG_SHA3_224)
Gilles Peskine03e9dea2023-08-30 18:32:57 +0200122#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 144u
Dave Rodgman5734bb92023-06-26 18:23:08 +0100123#elif defined(PSA_WANT_ALG_SHA3_256)
Gilles Peskine03e9dea2023-08-30 18:32:57 +0200124#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 136u
Dave Rodgman5734bb92023-06-26 18:23:08 +0100125#elif defined(PSA_WANT_ALG_SHA_512)
Gilles Peskine3c861642023-07-20 15:10:34 +0200126#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 128u
Manuel Pégourié-Gonnard45b34512023-03-30 12:19:35 +0200127#elif defined(PSA_WANT_ALG_SHA_384)
Gilles Peskine3c861642023-07-20 15:10:34 +0200128#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 128u
Dave Rodgman5734bb92023-06-26 18:23:08 +0100129#elif defined(PSA_WANT_ALG_SHA3_384)
Gilles Peskine03e9dea2023-08-30 18:32:57 +0200130#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 104u
Dave Rodgman5734bb92023-06-26 18:23:08 +0100131#elif defined(PSA_WANT_ALG_SHA3_512)
Gilles Peskine03e9dea2023-08-30 18:32:57 +0200132#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 72u
Manuel Pégourié-Gonnard45b34512023-03-30 12:19:35 +0200133#elif defined(PSA_WANT_ALG_SHA_256)
Gilles Peskine3c861642023-07-20 15:10:34 +0200134#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 64u
Manuel Pégourié-Gonnard45b34512023-03-30 12:19:35 +0200135#elif defined(PSA_WANT_ALG_SHA_224)
Gilles Peskine3c861642023-07-20 15:10:34 +0200136#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 64u
Manuel Pégourié-Gonnard45b34512023-03-30 12:19:35 +0200137#else /* SHA-1 or smaller */
Gilles Peskine3c861642023-07-20 15:10:34 +0200138#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 64u
Gilles Peskine0cad07c2018-06-27 19:49:02 +0200139#endif
140
Dave Rodgman5734bb92023-06-26 18:23:08 +0100141#if defined(PSA_WANT_ALG_SHA_512) || defined(PSA_WANT_ALG_SHA3_512)
Gilles Peskine03e9dea2023-08-30 18:32:57 +0200142#define PSA_HASH_MAX_SIZE 64u
Dave Rodgman5734bb92023-06-26 18:23:08 +0100143#elif defined(PSA_WANT_ALG_SHA_384) || defined(PSA_WANT_ALG_SHA3_384)
Gilles Peskine03e9dea2023-08-30 18:32:57 +0200144#define PSA_HASH_MAX_SIZE 48u
Dave Rodgman5734bb92023-06-26 18:23:08 +0100145#elif defined(PSA_WANT_ALG_SHA_256) || defined(PSA_WANT_ALG_SHA3_256)
Gilles Peskine03e9dea2023-08-30 18:32:57 +0200146#define PSA_HASH_MAX_SIZE 32u
Dave Rodgman5734bb92023-06-26 18:23:08 +0100147#elif defined(PSA_WANT_ALG_SHA_224) || defined(PSA_WANT_ALG_SHA3_224)
Gilles Peskine03e9dea2023-08-30 18:32:57 +0200148#define PSA_HASH_MAX_SIZE 28u
Dave Rodgman5734bb92023-06-26 18:23:08 +0100149#else /* SHA-1 or smaller */
Gilles Peskine03e9dea2023-08-30 18:32:57 +0200150#define PSA_HASH_MAX_SIZE 20u
Dave Rodgman5734bb92023-06-26 18:23:08 +0100151#endif
152
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200153/** \def PSA_MAC_MAX_SIZE
154 *
155 * Maximum size of a MAC.
156 *
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100157 * This macro expands to a compile-time constant integer. This value
158 * is the maximum size of a MAC in bytes.
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200159 */
160/* All non-HMAC MACs have a maximum size that's smaller than the
161 * minimum possible value of PSA_HASH_MAX_SIZE in this implementation. */
Gilles Peskinee1f2d7d2018-08-21 14:54:54 +0200162/* Note that the encoding of truncated MAC algorithms limits this value
163 * to 64 bytes.
164 */
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200165#define PSA_MAC_MAX_SIZE PSA_HASH_MAX_SIZE
166
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100167/** The length of a tag for an AEAD algorithm, in bytes.
Gilles Peskinea7c26db2018-12-12 13:42:25 +0100168 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100169 * This macro can be used to allocate a buffer of sufficient size to store the
170 * tag output from psa_aead_finish().
171 *
172 * See also #PSA_AEAD_TAG_MAX_SIZE.
173 *
174 * \param key_type The type of the AEAD key.
175 * \param key_bits The size of the AEAD key in bits.
Gilles Peskinea7c26db2018-12-12 13:42:25 +0100176 * \param alg An AEAD algorithm
177 * (\c PSA_ALG_XXX value such that
178 * #PSA_ALG_IS_AEAD(\p alg) is true).
179 *
Bence Szépkútibd98df72021-04-27 04:37:18 +0200180 * \return The tag length for the specified algorithm and key.
Gilles Peskinea7c26db2018-12-12 13:42:25 +0100181 * If the AEAD algorithm does not have an identified
182 * tag that can be distinguished from the rest of
183 * the ciphertext, return 0.
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100184 * If the key type or AEAD algorithm is not
185 * recognized, or the parameters are incompatible,
186 * return 0.
Gilles Peskinea7c26db2018-12-12 13:42:25 +0100187 */
Bence Szépkúti12116bc2021-03-11 15:59:24 +0100188#define PSA_AEAD_TAG_LENGTH(key_type, key_bits, alg) \
Bence Szépkútif5a1fe92021-04-21 10:13:08 +0200189 (PSA_AEAD_NONCE_LENGTH(key_type, alg) != 0 ? \
Bence Szépkúti7e310092021-04-08 12:05:18 +0200190 PSA_ALG_AEAD_GET_TAG_LENGTH(alg) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200191 ((void) (key_bits), 0u))
Gilles Peskinea7c26db2018-12-12 13:42:25 +0100192
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200193/** The maximum tag size for all supported AEAD algorithms, in bytes.
194 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100195 * See also #PSA_AEAD_TAG_LENGTH(\p key_type, \p key_bits, \p alg).
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200196 */
Gilles Peskine3c861642023-07-20 15:10:34 +0200197#define PSA_AEAD_TAG_MAX_SIZE 16u
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200198
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200199/* The maximum size of an RSA key on this implementation, in bits.
200 * This is a vendor-specific macro.
201 *
202 * Mbed TLS does not set a hard limit on the size of RSA keys: any key
203 * whose parameters fit in a bignum is accepted. However large keys can
204 * induce a large memory usage and long computation times. Unlike other
205 * auxiliary macros in this file and in crypto.h, which reflect how the
206 * library is configured, this macro defines how the library is
207 * configured. This implementation refuses to import or generate an
208 * RSA key whose size is larger than the value defined here.
209 *
210 * Note that an implementation may set different size limits for different
211 * operations, and does not need to accept all key sizes up to the limit. */
Gilles Peskine3c861642023-07-20 15:10:34 +0200212#define PSA_VENDOR_RSA_MAX_KEY_BITS 4096u
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200213
Waleed Elmelegyab570712023-07-05 16:40:58 +0000214/* The minimum size of an RSA key on this implementation, in bits.
215 * This is a vendor-specific macro.
216 *
Waleed Elmelegyd7bdbbe2023-07-20 16:26:58 +0000217 * Limits RSA key generation to a minimum due to avoid accidental misuse.
Waleed Elmelegyab570712023-07-05 16:40:58 +0000218 * This value cannot be less than 128 bits.
219 */
Waleed Elmelegyd7bdbbe2023-07-20 16:26:58 +0000220#if defined(MBEDTLS_RSA_GEN_KEY_MIN_BITS)
221#define PSA_VENDOR_RSA_GENERATE_MIN_KEY_BITS MBEDTLS_RSA_GEN_KEY_MIN_BITS
Waleed Elmelegyab570712023-07-05 16:40:58 +0000222#else
Waleed Elmelegyd7bdbbe2023-07-20 16:26:58 +0000223#define PSA_VENDOR_RSA_GENERATE_MIN_KEY_BITS 1024
Waleed Elmelegyab570712023-07-05 16:40:58 +0000224#endif
225
Przemek Stekiel6d85afa2023-04-28 11:42:17 +0200226/* The maximum size of an DH key on this implementation, in bits.
Valerio Settide504132024-01-17 12:21:55 +0100227 * This is a vendor-specific macro.*/
228#if defined(PSA_WANT_DH_RFC7919_8192)
Gilles Peskine3c861642023-07-20 15:10:34 +0200229#define PSA_VENDOR_FFDH_MAX_KEY_BITS 8192u
Valerio Settide504132024-01-17 12:21:55 +0100230#elif defined(PSA_WANT_DH_RFC7919_6144)
231#define PSA_VENDOR_FFDH_MAX_KEY_BITS 6144u
232#elif defined(PSA_WANT_DH_RFC7919_4096)
233#define PSA_VENDOR_FFDH_MAX_KEY_BITS 4096u
234#elif defined(PSA_WANT_DH_RFC7919_3072)
235#define PSA_VENDOR_FFDH_MAX_KEY_BITS 3072u
236#elif defined(PSA_WANT_DH_RFC7919_2048)
237#define PSA_VENDOR_FFDH_MAX_KEY_BITS 2048u
238#else
239#define PSA_VENDOR_FFDH_MAX_KEY_BITS 0u
240#endif
Przemek Stekieled23b612022-12-01 15:00:41 +0100241
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200242/* The maximum size of an ECC key on this implementation, in bits.
243 * This is a vendor-specific macro. */
Valerio Setti271c12e2023-03-23 16:30:27 +0100244#if defined(PSA_WANT_ECC_SECP_R1_521)
Gilles Peskine3c861642023-07-20 15:10:34 +0200245#define PSA_VENDOR_ECC_MAX_CURVE_BITS 521u
Valerio Setti271c12e2023-03-23 16:30:27 +0100246#elif defined(PSA_WANT_ECC_BRAINPOOL_P_R1_512)
Gilles Peskine3c861642023-07-20 15:10:34 +0200247#define PSA_VENDOR_ECC_MAX_CURVE_BITS 512u
Valerio Setti271c12e2023-03-23 16:30:27 +0100248#elif defined(PSA_WANT_ECC_MONTGOMERY_448)
Gilles Peskine3c861642023-07-20 15:10:34 +0200249#define PSA_VENDOR_ECC_MAX_CURVE_BITS 448u
Valerio Setti271c12e2023-03-23 16:30:27 +0100250#elif defined(PSA_WANT_ECC_SECP_R1_384)
Gilles Peskine3c861642023-07-20 15:10:34 +0200251#define PSA_VENDOR_ECC_MAX_CURVE_BITS 384u
Valerio Setti271c12e2023-03-23 16:30:27 +0100252#elif defined(PSA_WANT_ECC_BRAINPOOL_P_R1_384)
Gilles Peskine3c861642023-07-20 15:10:34 +0200253#define PSA_VENDOR_ECC_MAX_CURVE_BITS 384u
Valerio Setti271c12e2023-03-23 16:30:27 +0100254#elif defined(PSA_WANT_ECC_SECP_R1_256)
Gilles Peskine3c861642023-07-20 15:10:34 +0200255#define PSA_VENDOR_ECC_MAX_CURVE_BITS 256u
Valerio Setti271c12e2023-03-23 16:30:27 +0100256#elif defined(PSA_WANT_ECC_SECP_K1_256)
Gilles Peskine3c861642023-07-20 15:10:34 +0200257#define PSA_VENDOR_ECC_MAX_CURVE_BITS 256u
Valerio Setti271c12e2023-03-23 16:30:27 +0100258#elif defined(PSA_WANT_ECC_BRAINPOOL_P_R1_256)
Gilles Peskine3c861642023-07-20 15:10:34 +0200259#define PSA_VENDOR_ECC_MAX_CURVE_BITS 256u
Valerio Setti271c12e2023-03-23 16:30:27 +0100260#elif defined(PSA_WANT_ECC_MONTGOMERY_255)
Gilles Peskine3c861642023-07-20 15:10:34 +0200261#define PSA_VENDOR_ECC_MAX_CURVE_BITS 255u
Valerio Setti271c12e2023-03-23 16:30:27 +0100262#elif defined(PSA_WANT_ECC_SECP_R1_224)
Gilles Peskine3c861642023-07-20 15:10:34 +0200263#define PSA_VENDOR_ECC_MAX_CURVE_BITS 224u
Valerio Setti271c12e2023-03-23 16:30:27 +0100264#elif defined(PSA_WANT_ECC_SECP_K1_224)
Gilles Peskine3c861642023-07-20 15:10:34 +0200265#define PSA_VENDOR_ECC_MAX_CURVE_BITS 224u
Valerio Setti271c12e2023-03-23 16:30:27 +0100266#elif defined(PSA_WANT_ECC_SECP_R1_192)
Gilles Peskine3c861642023-07-20 15:10:34 +0200267#define PSA_VENDOR_ECC_MAX_CURVE_BITS 192u
Valerio Setti271c12e2023-03-23 16:30:27 +0100268#elif defined(PSA_WANT_ECC_SECP_K1_192)
Gilles Peskine3c861642023-07-20 15:10:34 +0200269#define PSA_VENDOR_ECC_MAX_CURVE_BITS 192u
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200270#else
Gilles Peskine3c861642023-07-20 15:10:34 +0200271#define PSA_VENDOR_ECC_MAX_CURVE_BITS 0u
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200272#endif
273
gabor-mezei-armbdae9182021-01-28 14:33:10 +0100274/** This macro returns the maximum supported length of the PSK for the
275 * TLS-1.2 PSK-to-MS key derivation
Gilles Peskine364d12c2021-03-08 17:23:47 +0100276 * (#PSA_ALG_TLS12_PSK_TO_MS(\c hash_alg)).
gabor-mezei-armbdae9182021-01-28 14:33:10 +0100277 *
278 * The maximum supported length does not depend on the chosen hash algorithm.
Hanno Becker8dbfca42018-10-12 11:56:55 +0100279 *
280 * Quoting RFC 4279, Sect 5.3:
281 * TLS implementations supporting these ciphersuites MUST support
282 * arbitrary PSK identities up to 128 octets in length, and arbitrary
283 * PSKs up to 64 octets in length. Supporting longer identities and
284 * keys is RECOMMENDED.
285 *
286 * Therefore, no implementation should define a value smaller than 64
gabor-mezei-armcbcec212020-12-18 14:23:51 +0100287 * for #PSA_TLS12_PSK_TO_MS_PSK_MAX_SIZE.
Hanno Becker8dbfca42018-10-12 11:56:55 +0100288 */
Gilles Peskine3c861642023-07-20 15:10:34 +0200289#define PSA_TLS12_PSK_TO_MS_PSK_MAX_SIZE 128u
Hanno Becker8dbfca42018-10-12 11:56:55 +0100290
Andrzej Kurek08d34b82022-07-29 10:00:16 -0400291/* The expected size of input passed to psa_tls12_ecjpake_to_pms_input,
292 * which is expected to work with P-256 curve only. */
Gilles Peskine3c861642023-07-20 15:10:34 +0200293#define PSA_TLS12_ECJPAKE_TO_PMS_INPUT_SIZE 65u
Andrzej Kurek08d34b82022-07-29 10:00:16 -0400294
295/* The size of a serialized K.X coordinate to be used in
296 * psa_tls12_ecjpake_to_pms_input. This function only accepts the P-256
297 * curve. */
Gilles Peskine3c861642023-07-20 15:10:34 +0200298#define PSA_TLS12_ECJPAKE_TO_PMS_DATA_SIZE 32u
Andrzej Kurek08d34b82022-07-29 10:00:16 -0400299
Kusumit Ghoderaoe66a8ad2023-05-24 12:30:43 +0530300/* The maximum number of iterations for PBKDF2 on this implementation, in bits.
301 * This is a vendor-specific macro. This can be configured if necessary */
Gilles Peskine3c861642023-07-20 15:10:34 +0200302#define PSA_VENDOR_PBKDF2_MAX_ITERATIONS 0xffffffffU
Kusumit Ghoderaoe66a8ad2023-05-24 12:30:43 +0530303
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100304/** The maximum size of a block cipher. */
Gilles Peskine3c861642023-07-20 15:10:34 +0200305#define PSA_BLOCK_CIPHER_BLOCK_MAX_SIZE 16u
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200306
Gilles Peskineacd4be32018-07-08 19:56:25 +0200307/** The size of the output of psa_mac_sign_finish(), in bytes.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200308 *
Gilles Peskineacd4be32018-07-08 19:56:25 +0200309 * This is also the MAC size that psa_mac_verify_finish() expects.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200310 *
gabor-mezei-armcbcec212020-12-18 14:23:51 +0100311 * \warning This macro may evaluate its arguments multiple times or
312 * zero times, so you should not pass arguments that contain
313 * side effects.
314 *
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200315 * \param key_type The type of the MAC key.
316 * \param key_bits The size of the MAC key in bits.
317 * \param alg A MAC algorithm (\c PSA_ALG_XXX value such that
Gilles Peskine63f79302019-02-15 13:01:17 +0100318 * #PSA_ALG_IS_MAC(\p alg) is true).
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200319 *
320 * \return The MAC size for the specified algorithm with
321 * the specified key parameters.
322 * \return 0 if the MAC algorithm is not recognized.
323 * \return Either 0 or the correct size for a MAC algorithm that
324 * the implementation recognizes, but does not support.
325 * \return Unspecified if the key parameters are not consistent
326 * with the algorithm.
327 */
gabor-mezei-armcbcec212020-12-18 14:23:51 +0100328#define PSA_MAC_LENGTH(key_type, key_bits, alg) \
329 ((alg) & PSA_ALG_MAC_TRUNCATION_MASK ? PSA_MAC_TRUNCATED_LENGTH(alg) : \
330 PSA_ALG_IS_HMAC(alg) ? PSA_HASH_LENGTH(PSA_ALG_HMAC_GET_HASH(alg)) : \
331 PSA_ALG_IS_BLOCK_CIPHER_MAC(alg) ? PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200332 ((void) (key_type), (void) (key_bits), 0u))
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200333
334/** The maximum size of the output of psa_aead_encrypt(), in bytes.
335 *
336 * If the size of the ciphertext buffer is at least this large, it is
337 * guaranteed that psa_aead_encrypt() will not fail due to an
338 * insufficient buffer size. Depending on the algorithm, the actual size of
339 * the ciphertext may be smaller.
340 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100341 * See also #PSA_AEAD_ENCRYPT_OUTPUT_MAX_SIZE(\p plaintext_length).
342 *
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100343 * \warning This macro may evaluate its arguments multiple times or
344 * zero times, so you should not pass arguments that contain
345 * side effects.
346 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100347 * \param key_type A symmetric key type that is
348 * compatible with algorithm \p alg.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200349 * \param alg An AEAD algorithm
350 * (\c PSA_ALG_XXX value such that
Gilles Peskine63f79302019-02-15 13:01:17 +0100351 * #PSA_ALG_IS_AEAD(\p alg) is true).
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200352 * \param plaintext_length Size of the plaintext in bytes.
353 *
354 * \return The AEAD ciphertext size for the specified
355 * algorithm.
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100356 * If the key type or AEAD algorithm is not
357 * recognized, or the parameters are incompatible,
358 * return 0.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200359 */
Bence Szépkúti12116bc2021-03-11 15:59:24 +0100360#define PSA_AEAD_ENCRYPT_OUTPUT_SIZE(key_type, alg, plaintext_length) \
Bence Szépkútif5a1fe92021-04-21 10:13:08 +0200361 (PSA_AEAD_NONCE_LENGTH(key_type, alg) != 0 ? \
Bence Szépkúti7e310092021-04-08 12:05:18 +0200362 (plaintext_length) + PSA_ALG_AEAD_GET_TAG_LENGTH(alg) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200363 0u)
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200364
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200365/** A sufficient output buffer size for psa_aead_encrypt(), for any of the
366 * supported key types and AEAD algorithms.
367 *
368 * If the size of the ciphertext buffer is at least this large, it is guaranteed
369 * that psa_aead_encrypt() will not fail due to an insufficient buffer size.
370 *
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100371 * \note This macro returns a compile-time constant if its arguments are
372 * compile-time constants.
373 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100374 * See also #PSA_AEAD_ENCRYPT_OUTPUT_SIZE(\p key_type, \p alg,
375 * \p plaintext_length).
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200376 *
377 * \param plaintext_length Size of the plaintext in bytes.
378 *
379 * \return A sufficient output buffer size for any of the
380 * supported key types and AEAD algorithms.
381 *
382 */
383#define PSA_AEAD_ENCRYPT_OUTPUT_MAX_SIZE(plaintext_length) \
384 ((plaintext_length) + PSA_AEAD_TAG_MAX_SIZE)
385
386
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200387/** The maximum size of the output of psa_aead_decrypt(), in bytes.
388 *
389 * If the size of the plaintext buffer is at least this large, it is
390 * guaranteed that psa_aead_decrypt() will not fail due to an
391 * insufficient buffer size. Depending on the algorithm, the actual size of
392 * the plaintext may be smaller.
393 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100394 * See also #PSA_AEAD_DECRYPT_OUTPUT_MAX_SIZE(\p ciphertext_length).
395 *
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100396 * \warning This macro may evaluate its arguments multiple times or
397 * zero times, so you should not pass arguments that contain
398 * side effects.
399 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100400 * \param key_type A symmetric key type that is
401 * compatible with algorithm \p alg.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200402 * \param alg An AEAD algorithm
403 * (\c PSA_ALG_XXX value such that
Gilles Peskine63f79302019-02-15 13:01:17 +0100404 * #PSA_ALG_IS_AEAD(\p alg) is true).
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200405 * \param ciphertext_length Size of the plaintext in bytes.
406 *
407 * \return The AEAD ciphertext size for the specified
408 * algorithm.
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100409 * If the key type or AEAD algorithm is not
410 * recognized, or the parameters are incompatible,
411 * return 0.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200412 */
Bence Szépkúti12116bc2021-03-11 15:59:24 +0100413#define PSA_AEAD_DECRYPT_OUTPUT_SIZE(key_type, alg, ciphertext_length) \
Bence Szépkúti1dda21c2021-04-21 11:09:50 +0200414 (PSA_AEAD_NONCE_LENGTH(key_type, alg) != 0 && \
Gilles Peskine449bd832023-01-11 14:50:10 +0100415 (ciphertext_length) > PSA_ALG_AEAD_GET_TAG_LENGTH(alg) ? \
416 (ciphertext_length) - PSA_ALG_AEAD_GET_TAG_LENGTH(alg) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200417 0u)
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200418
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200419/** A sufficient output buffer size for psa_aead_decrypt(), for any of the
420 * supported key types and AEAD algorithms.
421 *
422 * If the size of the plaintext buffer is at least this large, it is guaranteed
423 * that psa_aead_decrypt() will not fail due to an insufficient buffer size.
424 *
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100425 * \note This macro returns a compile-time constant if its arguments are
426 * compile-time constants.
427 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100428 * See also #PSA_AEAD_DECRYPT_OUTPUT_SIZE(\p key_type, \p alg,
429 * \p ciphertext_length).
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200430 *
431 * \param ciphertext_length Size of the ciphertext in bytes.
432 *
433 * \return A sufficient output buffer size for any of the
434 * supported key types and AEAD algorithms.
435 *
436 */
437#define PSA_AEAD_DECRYPT_OUTPUT_MAX_SIZE(ciphertext_length) \
Gilles Peskine449bd832023-01-11 14:50:10 +0100438 (ciphertext_length)
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200439
gabor-mezei-arma200ee62020-12-17 14:09:38 +0100440/** The default nonce size for an AEAD algorithm, in bytes.
441 *
442 * This macro can be used to allocate a buffer of sufficient size to
443 * store the nonce output from #psa_aead_generate_nonce().
444 *
445 * See also #PSA_AEAD_NONCE_MAX_SIZE.
446 *
447 * \note This is not the maximum size of nonce supported as input to
448 * #psa_aead_set_nonce(), #psa_aead_encrypt() or #psa_aead_decrypt(),
449 * just the default size that is generated by #psa_aead_generate_nonce().
450 *
451 * \warning This macro may evaluate its arguments multiple times or
452 * zero times, so you should not pass arguments that contain
453 * side effects.
454 *
455 * \param key_type A symmetric key type that is compatible with
456 * algorithm \p alg.
457 *
458 * \param alg An AEAD algorithm (\c PSA_ALG_XXX value such that
459 * #PSA_ALG_IS_AEAD(\p alg) is true).
460 *
461 * \return The default nonce size for the specified key type and algorithm.
462 * If the key type or AEAD algorithm is not recognized,
463 * or the parameters are incompatible, return 0.
gabor-mezei-arma200ee62020-12-17 14:09:38 +0100464 */
465#define PSA_AEAD_NONCE_LENGTH(key_type, alg) \
Bence Szépkúti0153c942021-03-04 10:32:59 +0100466 (PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type) == 16 ? \
Gilles Peskine3c861642023-07-20 15:10:34 +0200467 MBEDTLS_PSA_ALG_AEAD_EQUAL(alg, PSA_ALG_CCM) ? 13u : \
468 MBEDTLS_PSA_ALG_AEAD_EQUAL(alg, PSA_ALG_GCM) ? 12u : \
469 0u : \
gabor-mezei-arma200ee62020-12-17 14:09:38 +0100470 (key_type) == PSA_KEY_TYPE_CHACHA20 && \
Gilles Peskine3c861642023-07-20 15:10:34 +0200471 MBEDTLS_PSA_ALG_AEAD_EQUAL(alg, PSA_ALG_CHACHA20_POLY1305) ? 12u : \
472 0u)
gabor-mezei-arma200ee62020-12-17 14:09:38 +0100473
474/** The maximum default nonce size among all supported pairs of key types and
475 * AEAD algorithms, in bytes.
476 *
477 * This is equal to or greater than any value that #PSA_AEAD_NONCE_LENGTH()
478 * may return.
479 *
480 * \note This is not the maximum size of nonce supported as input to
481 * #psa_aead_set_nonce(), #psa_aead_encrypt() or #psa_aead_decrypt(),
482 * just the largest size that may be generated by
483 * #psa_aead_generate_nonce().
484 */
Gilles Peskine3c861642023-07-20 15:10:34 +0200485#define PSA_AEAD_NONCE_MAX_SIZE 13u
gabor-mezei-arma200ee62020-12-17 14:09:38 +0100486
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200487/** A sufficient output buffer size for psa_aead_update().
488 *
489 * If the size of the output buffer is at least this large, it is
Gilles Peskineac99e322019-05-14 16:10:53 +0200490 * guaranteed that psa_aead_update() will not fail due to an
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200491 * insufficient buffer size. The actual size of the output may be smaller
492 * in any given call.
493 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100494 * See also #PSA_AEAD_UPDATE_OUTPUT_MAX_SIZE(\p input_length).
495 *
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100496 * \warning This macro may evaluate its arguments multiple times or
497 * zero times, so you should not pass arguments that contain
498 * side effects.
499 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100500 * \param key_type A symmetric key type that is
501 * compatible with algorithm \p alg.
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200502 * \param alg An AEAD algorithm
503 * (\c PSA_ALG_XXX value such that
504 * #PSA_ALG_IS_AEAD(\p alg) is true).
505 * \param input_length Size of the input in bytes.
506 *
507 * \return A sufficient output buffer size for the specified
508 * algorithm.
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100509 * If the key type or AEAD algorithm is not
510 * recognized, or the parameters are incompatible,
511 * return 0.
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200512 */
513/* For all the AEAD modes defined in this specification, it is possible
514 * to emit output without delay. However, hardware may not always be
515 * capable of this. So for modes based on a block cipher, allow the
516 * implementation to delay the output until it has a full block. */
Bence Szépkúti12116bc2021-03-11 15:59:24 +0100517#define PSA_AEAD_UPDATE_OUTPUT_SIZE(key_type, alg, input_length) \
Bence Szépkútif5a1fe92021-04-21 10:13:08 +0200518 (PSA_AEAD_NONCE_LENGTH(key_type, alg) != 0 ? \
Gilles Peskine449bd832023-01-11 14:50:10 +0100519 PSA_ALG_IS_AEAD_ON_BLOCK_CIPHER(alg) ? \
520 PSA_ROUND_UP_TO_MULTIPLE(PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type), (input_length)) : \
521 (input_length) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200522 0u)
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200523
524/** A sufficient output buffer size for psa_aead_update(), for any of the
525 * supported key types and AEAD algorithms.
526 *
527 * If the size of the output buffer is at least this large, it is guaranteed
528 * that psa_aead_update() will not fail due to an insufficient buffer size.
529 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100530 * See also #PSA_AEAD_UPDATE_OUTPUT_SIZE(\p key_type, \p alg, \p input_length).
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200531 *
532 * \param input_length Size of the input in bytes.
533 */
534#define PSA_AEAD_UPDATE_OUTPUT_MAX_SIZE(input_length) \
535 (PSA_ROUND_UP_TO_MULTIPLE(PSA_BLOCK_CIPHER_BLOCK_MAX_SIZE, (input_length)))
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200536
537/** A sufficient ciphertext buffer size for psa_aead_finish().
Gilles Peskinebdc27862019-05-06 15:45:16 +0200538 *
539 * If the size of the ciphertext buffer is at least this large, it is
540 * guaranteed that psa_aead_finish() will not fail due to an
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200541 * insufficient ciphertext buffer size. The actual size of the output may
542 * be smaller in any given call.
Gilles Peskinebdc27862019-05-06 15:45:16 +0200543 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100544 * See also #PSA_AEAD_FINISH_OUTPUT_MAX_SIZE.
545 *
546 * \param key_type A symmetric key type that is
547 compatible with algorithm \p alg.
Gilles Peskinebdc27862019-05-06 15:45:16 +0200548 * \param alg An AEAD algorithm
549 * (\c PSA_ALG_XXX value such that
550 * #PSA_ALG_IS_AEAD(\p alg) is true).
551 *
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200552 * \return A sufficient ciphertext buffer size for the
Gilles Peskinebdc27862019-05-06 15:45:16 +0200553 * specified algorithm.
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100554 * If the key type or AEAD algorithm is not
555 * recognized, or the parameters are incompatible,
556 * return 0.
Gilles Peskinebdc27862019-05-06 15:45:16 +0200557 */
Bence Szépkútif5a1fe92021-04-21 10:13:08 +0200558#define PSA_AEAD_FINISH_OUTPUT_SIZE(key_type, alg) \
559 (PSA_AEAD_NONCE_LENGTH(key_type, alg) != 0 && \
Gilles Peskine449bd832023-01-11 14:50:10 +0100560 PSA_ALG_IS_AEAD_ON_BLOCK_CIPHER(alg) ? \
561 PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200562 0u)
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200563
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200564/** A sufficient ciphertext buffer size for psa_aead_finish(), for any of the
565 * supported key types and AEAD algorithms.
566 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100567 * See also #PSA_AEAD_FINISH_OUTPUT_SIZE(\p key_type, \p alg).
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200568 */
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200569#define PSA_AEAD_FINISH_OUTPUT_MAX_SIZE (PSA_BLOCK_CIPHER_BLOCK_MAX_SIZE)
gabor-mezei-arm0687b2b2020-05-06 16:05:37 +0200570
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200571/** A sufficient plaintext buffer size for psa_aead_verify().
572 *
573 * If the size of the plaintext buffer is at least this large, it is
574 * guaranteed that psa_aead_verify() will not fail due to an
575 * insufficient plaintext buffer size. The actual size of the output may
576 * be smaller in any given call.
577 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100578 * See also #PSA_AEAD_VERIFY_OUTPUT_MAX_SIZE.
579 *
580 * \param key_type A symmetric key type that is
581 * compatible with algorithm \p alg.
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200582 * \param alg An AEAD algorithm
583 * (\c PSA_ALG_XXX value such that
584 * #PSA_ALG_IS_AEAD(\p alg) is true).
585 *
586 * \return A sufficient plaintext buffer size for the
587 * specified algorithm.
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100588 * If the key type or AEAD algorithm is not
589 * recognized, or the parameters are incompatible,
590 * return 0.
Gilles Peskine49dd8d82019-05-06 15:16:19 +0200591 */
Bence Szépkútif5a1fe92021-04-21 10:13:08 +0200592#define PSA_AEAD_VERIFY_OUTPUT_SIZE(key_type, alg) \
593 (PSA_AEAD_NONCE_LENGTH(key_type, alg) != 0 && \
Gilles Peskine449bd832023-01-11 14:50:10 +0100594 PSA_ALG_IS_AEAD_ON_BLOCK_CIPHER(alg) ? \
595 PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200596 0u)
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200597
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200598/** A sufficient plaintext buffer size for psa_aead_verify(), for any of the
599 * supported key types and AEAD algorithms.
600 *
Bence Szépkútieb1a3012021-03-18 10:33:33 +0100601 * See also #PSA_AEAD_VERIFY_OUTPUT_SIZE(\p key_type, \p alg).
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200602 */
603#define PSA_AEAD_VERIFY_OUTPUT_MAX_SIZE (PSA_BLOCK_CIPHER_BLOCK_MAX_SIZE)
604
Jaeden Amero7f042142019-02-07 10:44:38 +0000605#define PSA_RSA_MINIMUM_PADDING_SIZE(alg) \
606 (PSA_ALG_IS_RSA_OAEP(alg) ? \
Gilles Peskine935ff232023-08-09 19:48:02 +0200607 2u * PSA_HASH_LENGTH(PSA_ALG_RSA_OAEP_GET_HASH(alg)) + 1u : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200608 11u /*PKCS#1v1.5*/)
Gilles Peskinea7c26db2018-12-12 13:42:25 +0100609
610/**
611 * \brief ECDSA signature size for a given curve bit size
612 *
613 * \param curve_bits Curve size in bits.
614 * \return Signature size in bytes.
615 *
616 * \note This macro returns a compile-time constant if its argument is one.
617 */
618#define PSA_ECDSA_SIGNATURE_SIZE(curve_bits) \
Gilles Peskine935ff232023-08-09 19:48:02 +0200619 (PSA_BITS_TO_BYTES(curve_bits) * 2u)
Gilles Peskinea7c26db2018-12-12 13:42:25 +0100620
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100621/** Sufficient signature buffer size for psa_sign_hash().
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200622 *
Gilles Peskine56e2dc82019-05-21 15:59:56 +0200623 * This macro returns a sufficient buffer size for a signature using a key
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200624 * of the specified type and size, with the specified algorithm.
625 * Note that the actual size of the signature may be smaller
626 * (some algorithms produce a variable-size signature).
627 *
628 * \warning This function may call its arguments multiple times or
629 * zero times, so you should not pass arguments that contain
630 * side effects.
631 *
632 * \param key_type An asymmetric key type (this may indifferently be a
633 * key pair type or a public key type).
634 * \param key_bits The size of the key in bits.
635 * \param alg The signature algorithm.
636 *
637 * \return If the parameters are valid and supported, return
638 * a buffer size in bytes that guarantees that
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100639 * psa_sign_hash() will not fail with
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200640 * #PSA_ERROR_BUFFER_TOO_SMALL.
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100641 * If the parameters are a valid combination that is not supported,
642 * return either a sensible size or 0.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200643 * If the parameters are not valid, the
644 * return value is unspecified.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200645 */
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100646#define PSA_SIGN_OUTPUT_SIZE(key_type, key_bits, alg) \
Gilles Peskine449bd832023-01-11 14:50:10 +0100647 (PSA_KEY_TYPE_IS_RSA(key_type) ? ((void) alg, PSA_BITS_TO_BYTES(key_bits)) : \
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200648 PSA_KEY_TYPE_IS_ECC(key_type) ? PSA_ECDSA_SIGNATURE_SIZE(key_bits) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200649 ((void) alg, 0u))
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200650
Gilles Peskine29755712019-11-08 15:49:40 +0100651#define PSA_VENDOR_ECDSA_SIGNATURE_MAX_SIZE \
652 PSA_ECDSA_SIGNATURE_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS)
653
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100654/** \def PSA_SIGNATURE_MAX_SIZE
Gilles Peskine29755712019-11-08 15:49:40 +0100655 *
656 * Maximum size of an asymmetric signature.
657 *
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100658 * This macro expands to a compile-time constant integer. This value
659 * is the maximum size of a signature in bytes.
Gilles Peskine29755712019-11-08 15:49:40 +0100660 */
Valerio Settic012a2d2023-07-28 09:34:44 +0200661#define PSA_SIGNATURE_MAX_SIZE 1
Valerio Settia83d9bf2023-07-27 18:15:20 +0200662
Valerio Setti43c5bf42023-07-31 11:06:50 +0200663#if (defined(PSA_WANT_ALG_ECDSA) || defined(PSA_WANT_ALG_DETERMINISTIC_ECDSA)) && \
Valerio Settia83d9bf2023-07-27 18:15:20 +0200664 (PSA_VENDOR_ECDSA_SIGNATURE_MAX_SIZE > PSA_SIGNATURE_MAX_SIZE)
665#undef PSA_SIGNATURE_MAX_SIZE
666#define PSA_SIGNATURE_MAX_SIZE PSA_VENDOR_ECDSA_SIGNATURE_MAX_SIZE
667#endif
Valerio Setti43c5bf42023-07-31 11:06:50 +0200668#if (defined(PSA_WANT_ALG_RSA_PKCS1V15_SIGN) || defined(PSA_WANT_ALG_RSA_PSS)) && \
Valerio Settia83d9bf2023-07-27 18:15:20 +0200669 (PSA_BITS_TO_BYTES(PSA_VENDOR_RSA_MAX_KEY_BITS) > PSA_SIGNATURE_MAX_SIZE)
670#undef PSA_SIGNATURE_MAX_SIZE
671#define PSA_SIGNATURE_MAX_SIZE PSA_BITS_TO_BYTES(PSA_VENDOR_RSA_MAX_KEY_BITS)
672#endif
Gilles Peskine29755712019-11-08 15:49:40 +0100673
Gilles Peskine56e2dc82019-05-21 15:59:56 +0200674/** Sufficient output buffer size for psa_asymmetric_encrypt().
Gilles Peskinedcd14942018-07-12 00:30:52 +0200675 *
Gilles Peskine56e2dc82019-05-21 15:59:56 +0200676 * This macro returns a sufficient buffer size for a ciphertext produced using
Gilles Peskinedcd14942018-07-12 00:30:52 +0200677 * a key of the specified type and size, with the specified algorithm.
678 * Note that the actual size of the ciphertext may be smaller, depending
679 * on the algorithm.
680 *
681 * \warning This function may call its arguments multiple times or
682 * zero times, so you should not pass arguments that contain
683 * side effects.
684 *
685 * \param key_type An asymmetric key type (this may indifferently be a
686 * key pair type or a public key type).
687 * \param key_bits The size of the key in bits.
Gilles Peskine9ff8d1f2020-05-05 16:00:17 +0200688 * \param alg The asymmetric encryption algorithm.
Gilles Peskinedcd14942018-07-12 00:30:52 +0200689 *
690 * \return If the parameters are valid and supported, return
691 * a buffer size in bytes that guarantees that
692 * psa_asymmetric_encrypt() will not fail with
693 * #PSA_ERROR_BUFFER_TOO_SMALL.
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100694 * If the parameters are a valid combination that is not supported,
695 * return either a sensible size or 0.
Gilles Peskinedcd14942018-07-12 00:30:52 +0200696 * If the parameters are not valid, the
697 * return value is unspecified.
698 */
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200699#define PSA_ASYMMETRIC_ENCRYPT_OUTPUT_SIZE(key_type, key_bits, alg) \
700 (PSA_KEY_TYPE_IS_RSA(key_type) ? \
Gilles Peskine449bd832023-01-11 14:50:10 +0100701 ((void) alg, PSA_BITS_TO_BYTES(key_bits)) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200702 0u)
Gilles Peskinedcd14942018-07-12 00:30:52 +0200703
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200704/** A sufficient output buffer size for psa_asymmetric_encrypt(), for any
705 * supported asymmetric encryption.
706 *
707 * See also #PSA_ASYMMETRIC_ENCRYPT_OUTPUT_SIZE(\p key_type, \p key_bits, \p alg).
708 */
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100709/* This macro assumes that RSA is the only supported asymmetric encryption. */
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200710#define PSA_ASYMMETRIC_ENCRYPT_OUTPUT_MAX_SIZE \
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100711 (PSA_BITS_TO_BYTES(PSA_VENDOR_RSA_MAX_KEY_BITS))
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200712
Gilles Peskine56e2dc82019-05-21 15:59:56 +0200713/** Sufficient output buffer size for psa_asymmetric_decrypt().
Gilles Peskinedcd14942018-07-12 00:30:52 +0200714 *
Gilles Peskine76689602020-05-05 16:01:22 +0200715 * This macro returns a sufficient buffer size for a plaintext produced using
Gilles Peskinedcd14942018-07-12 00:30:52 +0200716 * a key of the specified type and size, with the specified algorithm.
Gilles Peskine76689602020-05-05 16:01:22 +0200717 * Note that the actual size of the plaintext may be smaller, depending
Gilles Peskinedcd14942018-07-12 00:30:52 +0200718 * on the algorithm.
719 *
720 * \warning This function may call its arguments multiple times or
721 * zero times, so you should not pass arguments that contain
722 * side effects.
723 *
724 * \param key_type An asymmetric key type (this may indifferently be a
725 * key pair type or a public key type).
726 * \param key_bits The size of the key in bits.
Gilles Peskine9ff8d1f2020-05-05 16:00:17 +0200727 * \param alg The asymmetric encryption algorithm.
Gilles Peskinedcd14942018-07-12 00:30:52 +0200728 *
729 * \return If the parameters are valid and supported, return
730 * a buffer size in bytes that guarantees that
731 * psa_asymmetric_decrypt() will not fail with
732 * #PSA_ERROR_BUFFER_TOO_SMALL.
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100733 * If the parameters are a valid combination that is not supported,
734 * return either a sensible size or 0.
Gilles Peskinedcd14942018-07-12 00:30:52 +0200735 * If the parameters are not valid, the
736 * return value is unspecified.
737 */
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200738#define PSA_ASYMMETRIC_DECRYPT_OUTPUT_SIZE(key_type, key_bits, alg) \
739 (PSA_KEY_TYPE_IS_RSA(key_type) ? \
740 PSA_BITS_TO_BYTES(key_bits) - PSA_RSA_MINIMUM_PADDING_SIZE(alg) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200741 0u)
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200742
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200743/** A sufficient output buffer size for psa_asymmetric_decrypt(), for any
744 * supported asymmetric decryption.
745 *
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100746 * This macro assumes that RSA is the only supported asymmetric encryption.
747 *
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200748 * See also #PSA_ASYMMETRIC_DECRYPT_OUTPUT_SIZE(\p key_type, \p key_bits, \p alg).
749 */
750#define PSA_ASYMMETRIC_DECRYPT_OUTPUT_MAX_SIZE \
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100751 (PSA_BITS_TO_BYTES(PSA_VENDOR_RSA_MAX_KEY_BITS))
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200752
Gilles Peskine1be949b2018-08-10 19:06:59 +0200753/* Maximum size of the ASN.1 encoding of an INTEGER with the specified
754 * number of bits.
755 *
756 * This definition assumes that bits <= 2^19 - 9 so that the length field
757 * is at most 3 bytes. The length of the encoding is the length of the
758 * bit string padded to a whole number of bytes plus:
759 * - 1 type byte;
760 * - 1 to 3 length bytes;
761 * - 0 to 1 bytes of leading 0 due to the sign bit.
762 */
763#define PSA_KEY_EXPORT_ASN1_INTEGER_MAX_SIZE(bits) \
Gilles Peskine3c861642023-07-20 15:10:34 +0200764 ((bits) / 8u + 5u)
Gilles Peskine1be949b2018-08-10 19:06:59 +0200765
766/* Maximum size of the export encoding of an RSA public key.
767 * Assumes that the public exponent is less than 2^32.
768 *
Gilles Peskine1be949b2018-08-10 19:06:59 +0200769 * RSAPublicKey ::= SEQUENCE {
770 * modulus INTEGER, -- n
771 * publicExponent INTEGER } -- e
772 *
Jaeden Amero25384a22019-01-10 10:23:21 +0000773 * - 4 bytes of SEQUENCE overhead;
Gilles Peskine1be949b2018-08-10 19:06:59 +0200774 * - n : INTEGER;
775 * - 7 bytes for the public exponent.
776 */
777#define PSA_KEY_EXPORT_RSA_PUBLIC_KEY_MAX_SIZE(key_bits) \
Gilles Peskine3c861642023-07-20 15:10:34 +0200778 (PSA_KEY_EXPORT_ASN1_INTEGER_MAX_SIZE(key_bits) + 11u)
Gilles Peskine1be949b2018-08-10 19:06:59 +0200779
780/* Maximum size of the export encoding of an RSA key pair.
Tom Cosgrove1797b052022-12-04 17:19:59 +0000781 * Assumes that the public exponent is less than 2^32 and that the size
Gilles Peskine1be949b2018-08-10 19:06:59 +0200782 * difference between the two primes is at most 1 bit.
783 *
784 * RSAPrivateKey ::= SEQUENCE {
785 * version Version, -- 0
786 * modulus INTEGER, -- N-bit
787 * publicExponent INTEGER, -- 32-bit
788 * privateExponent INTEGER, -- N-bit
789 * prime1 INTEGER, -- N/2-bit
790 * prime2 INTEGER, -- N/2-bit
791 * exponent1 INTEGER, -- N/2-bit
792 * exponent2 INTEGER, -- N/2-bit
793 * coefficient INTEGER, -- N/2-bit
794 * }
795 *
796 * - 4 bytes of SEQUENCE overhead;
797 * - 3 bytes of version;
798 * - 7 half-size INTEGERs plus 2 full-size INTEGERs,
799 * overapproximated as 9 half-size INTEGERS;
800 * - 7 bytes for the public exponent.
801 */
Gilles Peskinec93b80c2019-05-16 19:39:54 +0200802#define PSA_KEY_EXPORT_RSA_KEY_PAIR_MAX_SIZE(key_bits) \
Gilles Peskine3c861642023-07-20 15:10:34 +0200803 (9u * PSA_KEY_EXPORT_ASN1_INTEGER_MAX_SIZE((key_bits) / 2u + 1u) + 14u)
Gilles Peskine1be949b2018-08-10 19:06:59 +0200804
805/* Maximum size of the export encoding of a DSA public key.
806 *
807 * SubjectPublicKeyInfo ::= SEQUENCE {
808 * algorithm AlgorithmIdentifier,
809 * subjectPublicKey BIT STRING } -- contains DSAPublicKey
810 * AlgorithmIdentifier ::= SEQUENCE {
811 * algorithm OBJECT IDENTIFIER,
bootstrap-prime6dbbf442022-05-17 19:30:44 -0400812 * parameters Dss-Params } -- SEQUENCE of 3 INTEGERs
Gilles Peskine1be949b2018-08-10 19:06:59 +0200813 * DSAPublicKey ::= INTEGER -- public key, Y
814 *
815 * - 3 * 4 bytes of SEQUENCE overhead;
816 * - 1 + 1 + 7 bytes of algorithm (DSA OID);
817 * - 4 bytes of BIT STRING overhead;
818 * - 3 full-size INTEGERs (p, g, y);
819 * - 1 + 1 + 32 bytes for 1 sub-size INTEGER (q <= 256 bits).
820 */
821#define PSA_KEY_EXPORT_DSA_PUBLIC_KEY_MAX_SIZE(key_bits) \
Gilles Peskine3c861642023-07-20 15:10:34 +0200822 (PSA_KEY_EXPORT_ASN1_INTEGER_MAX_SIZE(key_bits) * 3u + 59u)
Gilles Peskine1be949b2018-08-10 19:06:59 +0200823
824/* Maximum size of the export encoding of a DSA key pair.
825 *
826 * DSAPrivateKey ::= SEQUENCE {
827 * version Version, -- 0
828 * prime INTEGER, -- p
829 * subprime INTEGER, -- q
830 * generator INTEGER, -- g
831 * public INTEGER, -- y
832 * private INTEGER, -- x
833 * }
834 *
835 * - 4 bytes of SEQUENCE overhead;
836 * - 3 bytes of version;
837 * - 3 full-size INTEGERs (p, g, y);
838 * - 2 * (1 + 1 + 32) bytes for 2 sub-size INTEGERs (q, x <= 256 bits).
839 */
Gilles Peskinec93b80c2019-05-16 19:39:54 +0200840#define PSA_KEY_EXPORT_DSA_KEY_PAIR_MAX_SIZE(key_bits) \
Gilles Peskine3c861642023-07-20 15:10:34 +0200841 (PSA_KEY_EXPORT_ASN1_INTEGER_MAX_SIZE(key_bits) * 3u + 75u)
Gilles Peskine1be949b2018-08-10 19:06:59 +0200842
843/* Maximum size of the export encoding of an ECC public key.
844 *
Jaeden Ameroccdce902019-01-10 11:42:27 +0000845 * The representation of an ECC public key is:
846 * - The byte 0x04;
847 * - `x_P` as a `ceiling(m/8)`-byte string, big-endian;
848 * - `y_P` as a `ceiling(m/8)`-byte string, big-endian;
849 * - where m is the bit size associated with the curve.
Gilles Peskine1be949b2018-08-10 19:06:59 +0200850 *
Jaeden Ameroccdce902019-01-10 11:42:27 +0000851 * - 1 byte + 2 * point size.
Gilles Peskine1be949b2018-08-10 19:06:59 +0200852 */
853#define PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(key_bits) \
Gilles Peskine3c861642023-07-20 15:10:34 +0200854 (2u * PSA_BITS_TO_BYTES(key_bits) + 1u)
Gilles Peskine1be949b2018-08-10 19:06:59 +0200855
856/* Maximum size of the export encoding of an ECC key pair.
857 *
Gilles Peskine5eb15212018-10-31 13:24:35 +0100858 * An ECC key pair is represented by the secret value.
Gilles Peskine1be949b2018-08-10 19:06:59 +0200859 */
Gilles Peskinec93b80c2019-05-16 19:39:54 +0200860#define PSA_KEY_EXPORT_ECC_KEY_PAIR_MAX_SIZE(key_bits) \
Gilles Peskine5eb15212018-10-31 13:24:35 +0100861 (PSA_BITS_TO_BYTES(key_bits))
Gilles Peskine1be949b2018-08-10 19:06:59 +0200862
Przemek Stekiel6d85afa2023-04-28 11:42:17 +0200863/* Maximum size of the export encoding of an DH key pair.
Przemek Stekieled23b612022-12-01 15:00:41 +0100864 *
Przemek Stekiel6d85afa2023-04-28 11:42:17 +0200865 * An DH key pair is represented by the secret value.
Przemek Stekieled23b612022-12-01 15:00:41 +0100866 */
867#define PSA_KEY_EXPORT_FFDH_KEY_PAIR_MAX_SIZE(key_bits) \
868 (PSA_BITS_TO_BYTES(key_bits))
869
Przemek Stekiel6d85afa2023-04-28 11:42:17 +0200870/* Maximum size of the export encoding of an DH public key.
Przemek Stekieled23b612022-12-01 15:00:41 +0100871 */
872#define PSA_KEY_EXPORT_FFDH_PUBLIC_KEY_MAX_SIZE(key_bits) \
873 (PSA_BITS_TO_BYTES(key_bits))
874
gabor-mezei-armbdae9182021-01-28 14:33:10 +0100875/** Sufficient output buffer size for psa_export_key() or
876 * psa_export_public_key().
Gilles Peskine1be949b2018-08-10 19:06:59 +0200877 *
878 * This macro returns a compile-time constant if its arguments are
879 * compile-time constants.
880 *
gabor-mezei-armcbcec212020-12-18 14:23:51 +0100881 * \warning This macro may evaluate its arguments multiple times or
Gilles Peskine1be949b2018-08-10 19:06:59 +0200882 * zero times, so you should not pass arguments that contain
883 * side effects.
884 *
885 * The following code illustrates how to allocate enough memory to export
886 * a key by querying the key type and size at runtime.
887 * \code{c}
Gilles Peskined7d43b92019-05-21 15:56:03 +0200888 * psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Gilles Peskine1be949b2018-08-10 19:06:59 +0200889 * psa_status_t status;
Gilles Peskined7d43b92019-05-21 15:56:03 +0200890 * status = psa_get_key_attributes(key, &attributes);
Gilles Peskine1be949b2018-08-10 19:06:59 +0200891 * if (status != PSA_SUCCESS) handle_error(...);
Gilles Peskined7d43b92019-05-21 15:56:03 +0200892 * psa_key_type_t key_type = psa_get_key_type(&attributes);
893 * size_t key_bits = psa_get_key_bits(&attributes);
gabor-mezei-armcbcec212020-12-18 14:23:51 +0100894 * size_t buffer_size = PSA_EXPORT_KEY_OUTPUT_SIZE(key_type, key_bits);
Gilles Peskined7d43b92019-05-21 15:56:03 +0200895 * psa_reset_key_attributes(&attributes);
Gilles Peskinef82088a2019-07-15 11:07:38 +0200896 * uint8_t *buffer = malloc(buffer_size);
Gilles Peskined7d43b92019-05-21 15:56:03 +0200897 * if (buffer == NULL) handle_error(...);
Gilles Peskine1be949b2018-08-10 19:06:59 +0200898 * size_t buffer_length;
899 * status = psa_export_key(key, buffer, buffer_size, &buffer_length);
900 * if (status != PSA_SUCCESS) handle_error(...);
901 * \endcode
902 *
Gilles Peskine1be949b2018-08-10 19:06:59 +0200903 * \param key_type A supported key type.
904 * \param key_bits The size of the key in bits.
Gilles Peskine1be949b2018-08-10 19:06:59 +0200905 *
906 * \return If the parameters are valid and supported, return
907 * a buffer size in bytes that guarantees that
gabor-mezei-armbdae9182021-01-28 14:33:10 +0100908 * psa_export_key() or psa_export_public_key() will not fail with
Gilles Peskine1be949b2018-08-10 19:06:59 +0200909 * #PSA_ERROR_BUFFER_TOO_SMALL.
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100910 * If the parameters are a valid combination that is not supported,
911 * return either a sensible size or 0.
912 * If the parameters are not valid, the return value is unspecified.
Gilles Peskine1be949b2018-08-10 19:06:59 +0200913 */
gabor-mezei-armcbcec212020-12-18 14:23:51 +0100914#define PSA_EXPORT_KEY_OUTPUT_SIZE(key_type, key_bits) \
915 (PSA_KEY_TYPE_IS_UNSTRUCTURED(key_type) ? PSA_BITS_TO_BYTES(key_bits) : \
Przemek Stekieled23b612022-12-01 15:00:41 +0100916 PSA_KEY_TYPE_IS_DH(key_type) ? PSA_BITS_TO_BYTES(key_bits) : \
gabor-mezei-armcbcec212020-12-18 14:23:51 +0100917 (key_type) == PSA_KEY_TYPE_RSA_KEY_PAIR ? PSA_KEY_EXPORT_RSA_KEY_PAIR_MAX_SIZE(key_bits) : \
Gilles Peskine1be949b2018-08-10 19:06:59 +0200918 (key_type) == PSA_KEY_TYPE_RSA_PUBLIC_KEY ? PSA_KEY_EXPORT_RSA_PUBLIC_KEY_MAX_SIZE(key_bits) : \
gabor-mezei-armcbcec212020-12-18 14:23:51 +0100919 (key_type) == PSA_KEY_TYPE_DSA_KEY_PAIR ? PSA_KEY_EXPORT_DSA_KEY_PAIR_MAX_SIZE(key_bits) : \
Gilles Peskine1be949b2018-08-10 19:06:59 +0200920 (key_type) == PSA_KEY_TYPE_DSA_PUBLIC_KEY ? PSA_KEY_EXPORT_DSA_PUBLIC_KEY_MAX_SIZE(key_bits) : \
gabor-mezei-armcbcec212020-12-18 14:23:51 +0100921 PSA_KEY_TYPE_IS_ECC_KEY_PAIR(key_type) ? PSA_KEY_EXPORT_ECC_KEY_PAIR_MAX_SIZE(key_bits) : \
922 PSA_KEY_TYPE_IS_ECC_PUBLIC_KEY(key_type) ? PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(key_bits) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200923 0u)
Gilles Peskine1be949b2018-08-10 19:06:59 +0200924
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200925/** Sufficient output buffer size for psa_export_public_key().
926 *
927 * This macro returns a compile-time constant if its arguments are
928 * compile-time constants.
929 *
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100930 * \warning This macro may evaluate its arguments multiple times or
931 * zero times, so you should not pass arguments that contain
932 * side effects.
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200933 *
934 * The following code illustrates how to allocate enough memory to export
935 * a public key by querying the key type and size at runtime.
936 * \code{c}
937 * psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
938 * psa_status_t status;
939 * status = psa_get_key_attributes(key, &attributes);
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100940 * if (status != PSA_SUCCESS) handle_error(...);
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200941 * psa_key_type_t key_type = psa_get_key_type(&attributes);
942 * size_t key_bits = psa_get_key_bits(&attributes);
943 * size_t buffer_size = PSA_EXPORT_PUBLIC_KEY_OUTPUT_SIZE(key_type, key_bits);
944 * psa_reset_key_attributes(&attributes);
945 * uint8_t *buffer = malloc(buffer_size);
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100946 * if (buffer == NULL) handle_error(...);
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200947 * size_t buffer_length;
948 * status = psa_export_public_key(key, buffer, buffer_size, &buffer_length);
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100949 * if (status != PSA_SUCCESS) handle_error(...);
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200950 * \endcode
951 *
952 * \param key_type A public key or key pair key type.
953 * \param key_bits The size of the key in bits.
954 *
955 * \return If the parameters are valid and supported, return
956 * a buffer size in bytes that guarantees that
957 * psa_export_public_key() will not fail with
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100958 * #PSA_ERROR_BUFFER_TOO_SMALL.
959 * If the parameters are a valid combination that is not
960 * supported, return either a sensible size or 0.
961 * If the parameters are not valid,
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200962 * the return value is unspecified.
963 *
964 * If the parameters are valid and supported,
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100965 * return the same result as
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200966 * #PSA_EXPORT_KEY_OUTPUT_SIZE(
967 * \p #PSA_KEY_TYPE_PUBLIC_KEY_OF_KEY_PAIR(\p key_type),
968 * \p key_bits).
969 */
gabor-mezei-arme86bdca2021-01-07 14:26:12 +0100970#define PSA_EXPORT_PUBLIC_KEY_OUTPUT_SIZE(key_type, key_bits) \
971 (PSA_KEY_TYPE_IS_RSA(key_type) ? PSA_KEY_EXPORT_RSA_PUBLIC_KEY_MAX_SIZE(key_bits) : \
972 PSA_KEY_TYPE_IS_ECC(key_type) ? PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(key_bits) : \
Przemek Stekieled23b612022-12-01 15:00:41 +0100973 PSA_KEY_TYPE_IS_DH(key_type) ? PSA_BITS_TO_BYTES(key_bits) : \
Gilles Peskine3c861642023-07-20 15:10:34 +0200974 0u)
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200975
976/** Sufficient buffer size for exporting any asymmetric key pair.
977 *
gabor-mezei-armc6f24802021-02-15 15:56:29 +0100978 * This macro expands to a compile-time constant integer. This value is
979 * a sufficient buffer size when calling psa_export_key() to export any
980 * asymmetric key pair, regardless of the exact key type and key size.
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +0200981 *
982 * See also #PSA_EXPORT_KEY_OUTPUT_SIZE(\p key_type, \p key_bits).
983 */
Valerio Settic012a2d2023-07-28 09:34:44 +0200984#define PSA_EXPORT_KEY_PAIR_MAX_SIZE 1
Valerio Settia83d9bf2023-07-27 18:15:20 +0200985
986#if defined(PSA_WANT_KEY_TYPE_ECC_KEY_PAIR_BASIC) && \
987 (PSA_KEY_EXPORT_ECC_KEY_PAIR_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS) > \
988 PSA_EXPORT_KEY_PAIR_MAX_SIZE)
989#undef PSA_EXPORT_KEY_PAIR_MAX_SIZE
990#define PSA_EXPORT_KEY_PAIR_MAX_SIZE \
991 PSA_KEY_EXPORT_ECC_KEY_PAIR_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS)
992#endif
993#if defined(PSA_WANT_KEY_TYPE_RSA_KEY_PAIR_BASIC) && \
994 (PSA_KEY_EXPORT_RSA_KEY_PAIR_MAX_SIZE(PSA_VENDOR_RSA_MAX_KEY_BITS) > \
995 PSA_EXPORT_KEY_PAIR_MAX_SIZE)
996#undef PSA_EXPORT_KEY_PAIR_MAX_SIZE
997#define PSA_EXPORT_KEY_PAIR_MAX_SIZE \
998 PSA_KEY_EXPORT_RSA_KEY_PAIR_MAX_SIZE(PSA_VENDOR_RSA_MAX_KEY_BITS)
999#endif
1000#if defined(PSA_WANT_KEY_TYPE_DH_KEY_PAIR_BASIC) && \
1001 (PSA_KEY_EXPORT_FFDH_KEY_PAIR_MAX_SIZE(PSA_VENDOR_FFDH_MAX_KEY_BITS) > \
1002 PSA_EXPORT_KEY_PAIR_MAX_SIZE)
1003#undef PSA_EXPORT_KEY_PAIR_MAX_SIZE
1004#define PSA_EXPORT_KEY_PAIR_MAX_SIZE \
Valerio Setti644e01d2023-07-28 09:31:51 +02001005 PSA_KEY_EXPORT_FFDH_KEY_PAIR_MAX_SIZE(PSA_VENDOR_FFDH_MAX_KEY_BITS)
Valerio Settia83d9bf2023-07-27 18:15:20 +02001006#endif
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001007
1008/** Sufficient buffer size for exporting any asymmetric public key.
1009 *
gabor-mezei-armc6f24802021-02-15 15:56:29 +01001010 * This macro expands to a compile-time constant integer. This value is
1011 * a sufficient buffer size when calling psa_export_key() or
1012 * psa_export_public_key() to export any asymmetric public key,
1013 * regardless of the exact key type and key size.
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001014 *
1015 * See also #PSA_EXPORT_PUBLIC_KEY_OUTPUT_SIZE(\p key_type, \p key_bits).
1016 */
Valerio Settic012a2d2023-07-28 09:34:44 +02001017#define PSA_EXPORT_PUBLIC_KEY_MAX_SIZE 1
Przemek Stekiel654bef02022-12-15 13:28:02 +01001018
Valerio Settia83d9bf2023-07-27 18:15:20 +02001019#if defined(PSA_WANT_KEY_TYPE_ECC_PUBLIC_KEY) && \
1020 (PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS) > \
1021 PSA_EXPORT_PUBLIC_KEY_MAX_SIZE)
1022#undef PSA_EXPORT_PUBLIC_KEY_MAX_SIZE
1023#define PSA_EXPORT_PUBLIC_KEY_MAX_SIZE \
1024 PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS)
1025#endif
1026#if defined(PSA_WANT_KEY_TYPE_RSA_PUBLIC_KEY) && \
1027 (PSA_KEY_EXPORT_RSA_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_RSA_MAX_KEY_BITS) > \
1028 PSA_EXPORT_PUBLIC_KEY_MAX_SIZE)
1029#undef PSA_EXPORT_PUBLIC_KEY_MAX_SIZE
1030#define PSA_EXPORT_PUBLIC_KEY_MAX_SIZE \
1031 PSA_KEY_EXPORT_RSA_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_RSA_MAX_KEY_BITS)
1032#endif
1033#if defined(PSA_WANT_KEY_TYPE_DH_PUBLIC_KEY) && \
1034 (PSA_KEY_EXPORT_FFDH_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_FFDH_MAX_KEY_BITS) > \
1035 PSA_EXPORT_PUBLIC_KEY_MAX_SIZE)
1036#undef PSA_EXPORT_PUBLIC_KEY_MAX_SIZE
1037#define PSA_EXPORT_PUBLIC_KEY_MAX_SIZE \
1038 PSA_KEY_EXPORT_FFDH_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_FFDH_MAX_KEY_BITS)
1039#endif
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001040
Valerio Setti8d4f1502024-06-14 07:49:05 +02001041#define PSA_EXPORT_KEY_PAIR_OR_PUBLIC_MAX_SIZE \
Valerio Settif51488b2024-08-16 07:46:06 +02001042 ((PSA_EXPORT_KEY_PAIR_MAX_SIZE > PSA_EXPORT_PUBLIC_KEY_MAX_SIZE) ? \
1043 PSA_EXPORT_KEY_PAIR_MAX_SIZE : PSA_EXPORT_PUBLIC_KEY_MAX_SIZE)
Valerio Setti8d4f1502024-06-14 07:49:05 +02001044
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001045/** Sufficient output buffer size for psa_raw_key_agreement().
1046 *
1047 * This macro returns a compile-time constant if its arguments are
1048 * compile-time constants.
1049 *
gabor-mezei-arme86bdca2021-01-07 14:26:12 +01001050 * \warning This macro may evaluate its arguments multiple times or
1051 * zero times, so you should not pass arguments that contain
1052 * side effects.
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001053 *
1054 * See also #PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE.
1055 *
1056 * \param key_type A supported key type.
1057 * \param key_bits The size of the key in bits.
1058 *
1059 * \return If the parameters are valid and supported, return
1060 * a buffer size in bytes that guarantees that
1061 * psa_raw_key_agreement() will not fail with
gabor-mezei-armc6f24802021-02-15 15:56:29 +01001062 * #PSA_ERROR_BUFFER_TOO_SMALL.
1063 * If the parameters are a valid combination that
1064 * is not supported, return either a sensible size or 0.
1065 * If the parameters are not valid,
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001066 * the return value is unspecified.
1067 */
1068#define PSA_RAW_KEY_AGREEMENT_OUTPUT_SIZE(key_type, key_bits) \
Przemek Stekiel654bef02022-12-15 13:28:02 +01001069 ((PSA_KEY_TYPE_IS_ECC_KEY_PAIR(key_type) || \
Gilles Peskine3c861642023-07-20 15:10:34 +02001070 PSA_KEY_TYPE_IS_DH_KEY_PAIR(key_type)) ? PSA_BITS_TO_BYTES(key_bits) : 0u)
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001071
1072/** Maximum size of the output from psa_raw_key_agreement().
1073 *
gabor-mezei-armc6f24802021-02-15 15:56:29 +01001074 * This macro expands to a compile-time constant integer. This value is the
1075 * maximum size of the output any raw key agreement algorithm, in bytes.
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001076 *
1077 * See also #PSA_RAW_KEY_AGREEMENT_OUTPUT_SIZE(\p key_type, \p key_bits).
1078 */
Valerio Settic012a2d2023-07-28 09:34:44 +02001079#define PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE 1
Valerio Settia83d9bf2023-07-27 18:15:20 +02001080
Valerio Setti43c5bf42023-07-31 11:06:50 +02001081#if defined(PSA_WANT_ALG_ECDH) && \
Valerio Settia83d9bf2023-07-27 18:15:20 +02001082 (PSA_BITS_TO_BYTES(PSA_VENDOR_ECC_MAX_CURVE_BITS) > PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE)
1083#undef PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE
1084#define PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE PSA_BITS_TO_BYTES(PSA_VENDOR_ECC_MAX_CURVE_BITS)
1085#endif
Valerio Setti43c5bf42023-07-31 11:06:50 +02001086#if defined(PSA_WANT_ALG_FFDH) && \
Valerio Settia83d9bf2023-07-27 18:15:20 +02001087 (PSA_BITS_TO_BYTES(PSA_VENDOR_FFDH_MAX_KEY_BITS) > PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE)
1088#undef PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE
1089#define PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE PSA_BITS_TO_BYTES(PSA_VENDOR_FFDH_MAX_KEY_BITS)
1090#endif
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001091
Valerio Setti8d4f1502024-06-14 07:49:05 +02001092/** Maximum key length for ciphers.
1093 *
1094 * Since there is no additional PSA_WANT_xxx symbol to specifiy the size of
1095 * the key once a cipher is enabled (as it happens for asymmetric keys for
1096 * example), the maximum key length is taken into account for each cipher.
1097 * The resulting value will be the maximum cipher's key length given depending
1098 * on which ciphers are enabled.
1099 *
1100 * Note: max value for AES used below would be doubled if XTS were enabled, but
1101 * this mode is currently not supported in Mbed TLS implementation of PSA
1102 * APIs.
1103 */
1104#if (defined(PSA_WANT_KEY_TYPE_AES) || defined(PSA_WANT_KEY_TYPE_ARIA) || \
1105 defined(PSA_WANT_KEY_TYPE_CAMELLIA) || defined(PSA_WANT_KEY_TYPE_CHACHA20))
1106#define PSA_CIPHER_MAX_KEY_LENGTH 32u
1107#elif defined(PSA_WANT_KEY_TYPE_DES)
1108#define PSA_CIPHER_MAX_KEY_LENGTH 24u
1109#else
1110#define PSA_CIPHER_MAX_KEY_LENGTH 0u
1111#endif
1112
Bence Szépkúti423d3e72020-10-29 11:07:39 +01001113/** The default IV size for a cipher algorithm, in bytes.
1114 *
1115 * The IV that is generated as part of a call to #psa_cipher_encrypt() is always
1116 * the default IV length for the algorithm.
1117 *
1118 * This macro can be used to allocate a buffer of sufficient size to
1119 * store the IV output from #psa_cipher_generate_iv() when using
1120 * a multi-part cipher operation.
1121 *
1122 * See also #PSA_CIPHER_IV_MAX_SIZE.
1123 *
1124 * \warning This macro may evaluate its arguments multiple times or
1125 * zero times, so you should not pass arguments that contain
1126 * side effects.
1127 *
1128 * \param key_type A symmetric key type that is compatible with algorithm \p alg.
1129 *
1130 * \param alg A cipher algorithm (\c PSA_ALG_XXX value such that #PSA_ALG_IS_CIPHER(\p alg) is true).
1131 *
1132 * \return The default IV size for the specified key type and algorithm.
1133 * If the algorithm does not use an IV, return 0.
1134 * If the key type or cipher algorithm is not recognized,
1135 * or the parameters are incompatible, return 0.
Bence Szépkúti423d3e72020-10-29 11:07:39 +01001136 */
1137#define PSA_CIPHER_IV_LENGTH(key_type, alg) \
gabor-mezei-armcbcec212020-12-18 14:23:51 +01001138 (PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type) > 1 && \
Gilles Peskine449bd832023-01-11 14:50:10 +01001139 ((alg) == PSA_ALG_CTR || \
1140 (alg) == PSA_ALG_CFB || \
1141 (alg) == PSA_ALG_OFB || \
1142 (alg) == PSA_ALG_XTS || \
1143 (alg) == PSA_ALG_CBC_NO_PADDING || \
1144 (alg) == PSA_ALG_CBC_PKCS7) ? PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type) : \
Bence Szépkúti423d3e72020-10-29 11:07:39 +01001145 (key_type) == PSA_KEY_TYPE_CHACHA20 && \
Gilles Peskine3c861642023-07-20 15:10:34 +02001146 (alg) == PSA_ALG_STREAM_CIPHER ? 12u : \
1147 (alg) == PSA_ALG_CCM_STAR_NO_TAG ? 13u : \
1148 0u)
Bence Szépkúti423d3e72020-10-29 11:07:39 +01001149
1150/** The maximum IV size for all supported cipher algorithms, in bytes.
1151 *
1152 * See also #PSA_CIPHER_IV_LENGTH().
1153 */
Gilles Peskine3c861642023-07-20 15:10:34 +02001154#define PSA_CIPHER_IV_MAX_SIZE 16u
Bence Szépkúti423d3e72020-10-29 11:07:39 +01001155
gabor-mezei-arm8809fb62020-06-02 14:27:06 +02001156/** The maximum size of the output of psa_cipher_encrypt(), in bytes.
1157 *
1158 * If the size of the output buffer is at least this large, it is guaranteed
1159 * that psa_cipher_encrypt() will not fail due to an insufficient buffer size.
1160 * Depending on the algorithm, the actual size of the output might be smaller.
1161 *
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001162 * See also #PSA_CIPHER_ENCRYPT_OUTPUT_MAX_SIZE(\p input_length).
1163 *
gabor-mezei-arme86bdca2021-01-07 14:26:12 +01001164 * \warning This macro may evaluate its arguments multiple times or
1165 * zero times, so you should not pass arguments that contain
1166 * side effects.
gabor-mezei-arm8809fb62020-06-02 14:27:06 +02001167 *
1168 * \param key_type A symmetric key type that is compatible with algorithm
1169 * alg.
1170 * \param alg A cipher algorithm (\c PSA_ALG_XXX value such that
1171 * #PSA_ALG_IS_CIPHER(\p alg) is true).
1172 * \param input_length Size of the input in bytes.
1173 *
1174 * \return A sufficient output size for the specified key type and
1175 * algorithm. If the key type or cipher algorithm is not
1176 * recognized, or the parameters are incompatible,
gabor-mezei-arme86bdca2021-01-07 14:26:12 +01001177 * return 0.
gabor-mezei-arm8809fb62020-06-02 14:27:06 +02001178 */
Gilles Peskine3c861642023-07-20 15:10:34 +02001179#define PSA_CIPHER_ENCRYPT_OUTPUT_SIZE(key_type, alg, input_length) \
1180 (alg == PSA_ALG_CBC_PKCS7 ? \
1181 (PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type) != 0 ? \
1182 PSA_ROUND_UP_TO_MULTIPLE(PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type), \
1183 (input_length) + 1u) + \
1184 PSA_CIPHER_IV_LENGTH((key_type), (alg)) : 0u) : \
1185 (PSA_ALG_IS_CIPHER(alg) ? \
1186 (input_length) + PSA_CIPHER_IV_LENGTH((key_type), (alg)) : \
1187 0u))
gabor-mezei-arm8809fb62020-06-02 14:27:06 +02001188
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001189/** A sufficient output buffer size for psa_cipher_encrypt(), for any of the
1190 * supported key types and cipher algorithms.
1191 *
1192 * If the size of the output buffer is at least this large, it is guaranteed
1193 * that psa_cipher_encrypt() will not fail due to an insufficient buffer size.
1194 *
1195 * See also #PSA_CIPHER_ENCRYPT_OUTPUT_SIZE(\p key_type, \p alg, \p input_length).
1196 *
1197 * \param input_length Size of the input in bytes.
1198 *
1199 */
Gilles Peskine3c861642023-07-20 15:10:34 +02001200#define PSA_CIPHER_ENCRYPT_OUTPUT_MAX_SIZE(input_length) \
1201 (PSA_ROUND_UP_TO_MULTIPLE(PSA_BLOCK_CIPHER_BLOCK_MAX_SIZE, \
1202 (input_length) + 1u) + \
gabor-mezei-arm56991012021-03-10 16:43:14 +01001203 PSA_CIPHER_IV_MAX_SIZE)
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001204
gabor-mezei-arm8809fb62020-06-02 14:27:06 +02001205/** The maximum size of the output of psa_cipher_decrypt(), in bytes.
1206 *
1207 * If the size of the output buffer is at least this large, it is guaranteed
1208 * that psa_cipher_decrypt() will not fail due to an insufficient buffer size.
1209 * Depending on the algorithm, the actual size of the output might be smaller.
1210 *
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001211 * See also #PSA_CIPHER_DECRYPT_OUTPUT_MAX_SIZE(\p input_length).
gabor-mezei-arm8809fb62020-06-02 14:27:06 +02001212 *
1213 * \param key_type A symmetric key type that is compatible with algorithm
1214 * alg.
1215 * \param alg A cipher algorithm (\c PSA_ALG_XXX value such that
1216 * #PSA_ALG_IS_CIPHER(\p alg) is true).
1217 * \param input_length Size of the input in bytes.
1218 *
1219 * \return A sufficient output size for the specified key type and
1220 * algorithm. If the key type or cipher algorithm is not
1221 * recognized, or the parameters are incompatible,
gabor-mezei-armc6f24802021-02-15 15:56:29 +01001222 * return 0.
gabor-mezei-arm8809fb62020-06-02 14:27:06 +02001223 */
Gilles Peskine3c861642023-07-20 15:10:34 +02001224#define PSA_CIPHER_DECRYPT_OUTPUT_SIZE(key_type, alg, input_length) \
1225 (PSA_ALG_IS_CIPHER(alg) && \
gabor-mezei-armee6bb562020-06-17 10:11:11 +02001226 ((key_type) & PSA_KEY_TYPE_CATEGORY_MASK) == PSA_KEY_TYPE_CATEGORY_SYMMETRIC ? \
Gilles Peskine3c861642023-07-20 15:10:34 +02001227 (input_length) : \
1228 0u)
gabor-mezei-arm8809fb62020-06-02 14:27:06 +02001229
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001230/** A sufficient output buffer size for psa_cipher_decrypt(), for any of the
1231 * supported key types and cipher algorithms.
1232 *
1233 * If the size of the output buffer is at least this large, it is guaranteed
1234 * that psa_cipher_decrypt() will not fail due to an insufficient buffer size.
1235 *
1236 * See also #PSA_CIPHER_DECRYPT_OUTPUT_SIZE(\p key_type, \p alg, \p input_length).
1237 *
1238 * \param input_length Size of the input in bytes.
1239 */
1240#define PSA_CIPHER_DECRYPT_OUTPUT_MAX_SIZE(input_length) \
1241 (input_length)
1242
1243/** A sufficient output buffer size for psa_cipher_update().
1244 *
1245 * If the size of the output buffer is at least this large, it is guaranteed
1246 * that psa_cipher_update() will not fail due to an insufficient buffer size.
1247 * The actual size of the output might be smaller in any given call.
1248 *
1249 * See also #PSA_CIPHER_UPDATE_OUTPUT_MAX_SIZE(\p input_length).
1250 *
1251 * \param key_type A symmetric key type that is compatible with algorithm
1252 * alg.
1253 * \param alg A cipher algorithm (PSA_ALG_XXX value such that
1254 * #PSA_ALG_IS_CIPHER(\p alg) is true).
1255 * \param input_length Size of the input in bytes.
1256 *
1257 * \return A sufficient output size for the specified key type and
1258 * algorithm. If the key type or cipher algorithm is not
1259 * recognized, or the parameters are incompatible, return 0.
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001260 */
Gilles Peskine3c861642023-07-20 15:10:34 +02001261#define PSA_CIPHER_UPDATE_OUTPUT_SIZE(key_type, alg, input_length) \
1262 (PSA_ALG_IS_CIPHER(alg) ? \
1263 (PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type) != 0 ? \
1264 (((alg) == PSA_ALG_CBC_PKCS7 || \
1265 (alg) == PSA_ALG_CBC_NO_PADDING || \
1266 (alg) == PSA_ALG_ECB_NO_PADDING) ? \
1267 PSA_ROUND_UP_TO_MULTIPLE(PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type), \
1268 input_length) : \
1269 (input_length)) : 0u) : \
1270 0u)
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001271
1272/** A sufficient output buffer size for psa_cipher_update(), for any of the
1273 * supported key types and cipher algorithms.
1274 *
1275 * If the size of the output buffer is at least this large, it is guaranteed
1276 * that psa_cipher_update() will not fail due to an insufficient buffer size.
1277 *
1278 * See also #PSA_CIPHER_UPDATE_OUTPUT_SIZE(\p key_type, \p alg, \p input_length).
1279 *
1280 * \param input_length Size of the input in bytes.
1281 */
1282#define PSA_CIPHER_UPDATE_OUTPUT_MAX_SIZE(input_length) \
gabor-mezei-arm286a36e2021-03-05 15:54:21 +01001283 (PSA_ROUND_UP_TO_MULTIPLE(PSA_BLOCK_CIPHER_BLOCK_MAX_SIZE, input_length))
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001284
1285/** A sufficient ciphertext buffer size for psa_cipher_finish().
1286 *
1287 * If the size of the ciphertext buffer is at least this large, it is
1288 * guaranteed that psa_cipher_finish() will not fail due to an insufficient
1289 * ciphertext buffer size. The actual size of the output might be smaller in
1290 * any given call.
1291 *
1292 * See also #PSA_CIPHER_FINISH_OUTPUT_MAX_SIZE().
1293 *
1294 * \param key_type A symmetric key type that is compatible with algorithm
1295 * alg.
1296 * \param alg A cipher algorithm (PSA_ALG_XXX value such that
1297 * #PSA_ALG_IS_CIPHER(\p alg) is true).
1298 * \return A sufficient output size for the specified key type and
1299 * algorithm. If the key type or cipher algorithm is not
1300 * recognized, or the parameters are incompatible, return 0.
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001301 */
gabor-mezei-arme86bdca2021-01-07 14:26:12 +01001302#define PSA_CIPHER_FINISH_OUTPUT_SIZE(key_type, alg) \
1303 (PSA_ALG_IS_CIPHER(alg) ? \
1304 (alg == PSA_ALG_CBC_PKCS7 ? \
1305 PSA_BLOCK_CIPHER_BLOCK_LENGTH(key_type) : \
Gilles Peskine3c861642023-07-20 15:10:34 +02001306 0u) : \
1307 0u)
gabor-mezei-armfbd9f1e2020-06-29 10:38:39 +02001308
1309/** A sufficient ciphertext buffer size for psa_cipher_finish(), for any of the
1310 * supported key types and cipher algorithms.
1311 *
1312 * See also #PSA_CIPHER_FINISH_OUTPUT_SIZE(\p key_type, \p alg).
1313 */
1314#define PSA_CIPHER_FINISH_OUTPUT_MAX_SIZE \
1315 (PSA_BLOCK_CIPHER_BLOCK_MAX_SIZE)
1316
Gilles Peskine0cad07c2018-06-27 19:49:02 +02001317#endif /* PSA_CRYPTO_SIZES_H */