blob: 216169c77051cceb376ea800227114733a04e968 [file] [log] [blame]
Paul Bakker0e04d0e2011-11-27 14:46:59 +00001/**
2 * \file ctr_drbg.h
3 *
Gilles Peskineec51dd12019-09-30 15:01:02 +02004 * \brief This file contains definitions and functions for the
5 * CTR_DRBG pseudorandom generator.
Rose Zadikc9474eb2018-03-27 10:58:22 +01006 *
Rose Zadikf25eb6e2018-04-16 14:51:52 +01007 * CTR_DRBG is a standardized way of building a PRNG from a block-cipher
8 * in counter mode operation, as defined in <em>NIST SP 800-90A:
9 * Recommendation for Random Number Generation Using Deterministic Random
10 * Bit Generators</em>.
Rose Zadik2f8163d2018-01-25 21:55:14 +000011 *
Nir Sonnenscheineb73f7a2018-07-30 17:46:49 +030012 * The Mbed TLS implementation of CTR_DRBG uses AES-256 (default) or AES-128
Gilles Peskined0c64c82019-10-03 14:20:46 +020013 * (if \c MBEDTLS_CTR_DRBG_USE_128_BIT_KEY is enabled at compile time)
Gilles Peskinedddda812019-10-03 14:22:04 +020014 * as the underlying block cipher, with a derivation function.
Gilles Peskinedddda812019-10-03 14:22:04 +020015 *
Gilles Peskinee9a34542019-10-22 20:43:24 +020016 * The security strength as defined in NIST SP 800-90A is
17 * 128 bits when AES-128 is used (\c MBEDTLS_CTR_DRBG_USE_128_BIT_KEY enabled)
18 * and 256 bits otherwise, provided that #MBEDTLS_CTR_DRBG_ENTROPY_LEN is
Bence Szépkútibb0cfeb2021-05-28 09:42:25 +020019 * kept at its default value (and not overridden in mbedtls_config.h) and that the
Gilles Peskinee9a34542019-10-22 20:43:24 +020020 * DRBG instance is set up with default parameters.
21 * See the documentation of mbedtls_ctr_drbg_seed() for more
22 * information.
Darryl Greena40a1012018-01-05 15:33:17 +000023 */
24/*
Bence Szépkúti1e148272020-08-07 13:07:28 +020025 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +000026 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakker0e04d0e2011-11-27 14:46:59 +000027 */
Rose Zadik2f8163d2018-01-25 21:55:14 +000028
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029#ifndef MBEDTLS_CTR_DRBG_H
30#define MBEDTLS_CTR_DRBG_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020031#include "mbedtls/private_access.h"
Paul Bakker0e04d0e2011-11-27 14:46:59 +000032
Bence Szépkútic662b362021-05-27 11:25:03 +020033#include "mbedtls/build_info.h"
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050034
Gilles Peskine48048472024-06-20 21:47:31 +020035/* The CTR_DRBG implementation can either directly call the low-level AES
36 * module (gated by MBEDTLS_AES_C) or call the PSA API to perform AES
37 * operations. Calling the AES module directly is the default, both for
38 * maximum backward compatibility and because it's a bit more efficient
39 * (less glue code).
40 *
41 * When MBEDTLS_AES_C is disabled, the CTR_DRBG module calls PSA crypto and
42 * thus benefits from the PSA AES accelerator driver.
43 * It is technically possible to enable MBEDTLS_CTR_DRBG_USE_PSA_CRYPTO
44 * to use PSA even when MBEDTLS_AES_C is disabled, but there is very little
45 * reason to do so other than testing purposes and this is not officially
46 * supported.
47 */
48#if !defined(MBEDTLS_AES_C)
49#define MBEDTLS_CTR_DRBG_USE_PSA_CRYPTO
50#endif
51
Gilles Peskine86c60372024-06-20 22:08:44 +020052#if defined(MBEDTLS_CTR_DRBG_USE_PSA_CRYPTO)
Valerio Setti5f4b28d2023-11-13 10:18:16 +010053#include "psa/crypto.h"
Gilles Peskine86c60372024-06-20 22:08:44 +020054#else
55#include "mbedtls/aes.h"
Valerio Setti5f4b28d2023-11-13 10:18:16 +010056#endif
57
Manuel Pégourié-Gonnard4011eb42023-03-21 17:10:45 +010058#include "entropy.h"
Paul Bakker0e04d0e2011-11-27 14:46:59 +000059
Manuel Pégourié-Gonnard0a4fb092015-05-07 12:50:31 +010060#if defined(MBEDTLS_THREADING_C)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010061#include "mbedtls/threading.h"
Manuel Pégourié-Gonnard0a4fb092015-05-07 12:50:31 +010062#endif
63
Gilles Peskined2971572021-07-26 18:48:10 +020064/** The entropy source failed. */
65#define MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED -0x0034
66/** The requested random buffer length is too big. */
67#define MBEDTLS_ERR_CTR_DRBG_REQUEST_TOO_BIG -0x0036
68/** The input (entropy + additional data) is too large. */
69#define MBEDTLS_ERR_CTR_DRBG_INPUT_TOO_BIG -0x0038
70/** Read or write error in file. */
71#define MBEDTLS_ERR_CTR_DRBG_FILE_IO_ERROR -0x003A
Paul Bakker0e04d0e2011-11-27 14:46:59 +000072
Rose Zadik2f8163d2018-01-25 21:55:14 +000073#define MBEDTLS_CTR_DRBG_BLOCKSIZE 16 /**< The block size used by the cipher. */
Nir Sonnenscheince266e42018-08-29 10:11:46 +030074
Nir Sonnenschein43e4ff02018-09-03 14:15:46 +030075#if defined(MBEDTLS_CTR_DRBG_USE_128_BIT_KEY)
Gilles Peskine08875d42019-09-24 14:40:40 +020076#define MBEDTLS_CTR_DRBG_KEYSIZE 16
77/**< The key size in bytes used by the cipher.
78 *
79 * Compile-time choice: 16 bytes (128 bits)
Gilles Peskined0c64c82019-10-03 14:20:46 +020080 * because #MBEDTLS_CTR_DRBG_USE_128_BIT_KEY is enabled.
Gilles Peskine08875d42019-09-24 14:40:40 +020081 */
Nir Sonnenscheineb73f7a2018-07-30 17:46:49 +030082#else
Gilles Peskine08875d42019-09-24 14:40:40 +020083#define MBEDTLS_CTR_DRBG_KEYSIZE 32
84/**< The key size in bytes used by the cipher.
85 *
86 * Compile-time choice: 32 bytes (256 bits)
Gilles Peskined0c64c82019-10-03 14:20:46 +020087 * because \c MBEDTLS_CTR_DRBG_USE_128_BIT_KEY is disabled.
Gilles Peskine08875d42019-09-24 14:40:40 +020088 */
Nir Sonnenscheina4588d42018-07-30 16:59:36 +030089#endif
Nir Sonnenschein43e4ff02018-09-03 14:15:46 +030090
Gilles Peskine449bd832023-01-11 14:50:10 +010091#define MBEDTLS_CTR_DRBG_KEYBITS (MBEDTLS_CTR_DRBG_KEYSIZE * 8) /**< The key size for the DRBG operation, in bits. */
92#define MBEDTLS_CTR_DRBG_SEEDLEN (MBEDTLS_CTR_DRBG_KEYSIZE + MBEDTLS_CTR_DRBG_BLOCKSIZE) /**< The seed length, calculated as (counter + AES key). */
Paul Bakker9bcf16c2013-06-24 19:31:17 +020093
Paul Bakker088c5c52014-04-25 11:11:10 +020094/**
95 * \name SECTION: Module settings
96 *
97 * The configuration options you can set for this module are in this section.
Bence Szépkútibb0cfeb2021-05-28 09:42:25 +020098 * Either change them in mbedtls_config.h or define them using the compiler command
Rose Zadik2f8163d2018-01-25 21:55:14 +000099 * line.
Paul Bakker088c5c52014-04-25 11:11:10 +0200100 * \{
101 */
102
Gilles Peskinedddda812019-10-03 14:22:04 +0200103/** \def MBEDTLS_CTR_DRBG_ENTROPY_LEN
104 *
105 * \brief The amount of entropy used per seed by default, in bytes.
106 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200107#if !defined(MBEDTLS_CTR_DRBG_ENTROPY_LEN)
Manuel Pégourié-Gonnard4011eb42023-03-21 17:10:45 +0100108#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
109/** This is 48 bytes because the entropy module uses SHA-512.
Gilles Peskine08875d42019-09-24 14:40:40 +0200110 */
Rose Zadik2f8163d2018-01-25 21:55:14 +0000111#define MBEDTLS_CTR_DRBG_ENTROPY_LEN 48
Gilles Peskinedddda812019-10-03 14:22:04 +0200112
Manuel Pégourié-Gonnard4011eb42023-03-21 17:10:45 +0100113#else /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
Gilles Peskinedddda812019-10-03 14:22:04 +0200114
Manuel Pégourié-Gonnard4011eb42023-03-21 17:10:45 +0100115/** This is 32 bytes because the entropy module uses SHA-256.
Rose Zadik2f8163d2018-01-25 21:55:14 +0000116 */
Gilles Peskinedddda812019-10-03 14:22:04 +0200117#if !defined(MBEDTLS_CTR_DRBG_USE_128_BIT_KEY)
118/** \warning To achieve a 256-bit security strength, you must pass a nonce
119 * to mbedtls_ctr_drbg_seed().
120 */
121#endif /* !defined(MBEDTLS_CTR_DRBG_USE_128_BIT_KEY) */
Gilles Peskine08875d42019-09-24 14:40:40 +0200122#define MBEDTLS_CTR_DRBG_ENTROPY_LEN 32
Manuel Pégourié-Gonnard4011eb42023-03-21 17:10:45 +0100123#endif /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
Gilles Peskinedddda812019-10-03 14:22:04 +0200124#endif /* !defined(MBEDTLS_CTR_DRBG_ENTROPY_LEN) */
Paul Bakker088c5c52014-04-25 11:11:10 +0200125
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200126#if !defined(MBEDTLS_CTR_DRBG_RESEED_INTERVAL)
Rose Zadik2f8163d2018-01-25 21:55:14 +0000127#define MBEDTLS_CTR_DRBG_RESEED_INTERVAL 10000
128/**< The interval before reseed is performed by default. */
Paul Bakker088c5c52014-04-25 11:11:10 +0200129#endif
130
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200131#if !defined(MBEDTLS_CTR_DRBG_MAX_INPUT)
Rose Zadik2f8163d2018-01-25 21:55:14 +0000132#define MBEDTLS_CTR_DRBG_MAX_INPUT 256
133/**< The maximum number of additional input Bytes. */
Paul Bakker088c5c52014-04-25 11:11:10 +0200134#endif
135
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200136#if !defined(MBEDTLS_CTR_DRBG_MAX_REQUEST)
Rose Zadik2f8163d2018-01-25 21:55:14 +0000137#define MBEDTLS_CTR_DRBG_MAX_REQUEST 1024
138/**< The maximum number of requested Bytes per call. */
Paul Bakker088c5c52014-04-25 11:11:10 +0200139#endif
140
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200141#if !defined(MBEDTLS_CTR_DRBG_MAX_SEED_INPUT)
Rose Zadik2f8163d2018-01-25 21:55:14 +0000142#define MBEDTLS_CTR_DRBG_MAX_SEED_INPUT 384
Gilles Peskine08875d42019-09-24 14:40:40 +0200143/**< The maximum size of seed or reseed buffer in bytes. */
Paul Bakker088c5c52014-04-25 11:11:10 +0200144#endif
145
Andrzej Kurek38d4fdd2021-12-28 16:22:52 +0100146/** \} name SECTION: Module settings */
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000147
Rose Zadik2f8163d2018-01-25 21:55:14 +0000148#define MBEDTLS_CTR_DRBG_PR_OFF 0
149/**< Prediction resistance is disabled. */
150#define MBEDTLS_CTR_DRBG_PR_ON 1
151/**< Prediction resistance is enabled. */
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000152
153#ifdef __cplusplus
154extern "C" {
155#endif
156
Gilles Peskine69971662019-10-23 19:39:36 +0200157#if MBEDTLS_CTR_DRBG_ENTROPY_LEN >= MBEDTLS_CTR_DRBG_KEYSIZE * 3 / 2
158/** The default length of the nonce read from the entropy source.
159 *
160 * This is \c 0 because a single read from the entropy source is sufficient
161 * to include a nonce.
162 * See the documentation of mbedtls_ctr_drbg_seed() for more information.
163 */
164#define MBEDTLS_CTR_DRBG_ENTROPY_NONCE_LEN 0
165#else
166/** The default length of the nonce read from the entropy source.
167 *
168 * This is half of the default entropy length because a single read from
169 * the entropy source does not provide enough material to form a nonce.
170 * See the documentation of mbedtls_ctr_drbg_seed() for more information.
171 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100172#define MBEDTLS_CTR_DRBG_ENTROPY_NONCE_LEN (MBEDTLS_CTR_DRBG_ENTROPY_LEN + 1) / 2
Gilles Peskine69971662019-10-23 19:39:36 +0200173#endif
174
Gilles Peskine48048472024-06-20 21:47:31 +0200175#if defined(MBEDTLS_CTR_DRBG_USE_PSA_CRYPTO)
Valerio Setti5f4b28d2023-11-13 10:18:16 +0100176typedef struct mbedtls_ctr_drbg_psa_context {
177 mbedtls_svc_key_id_t key_id;
178 psa_cipher_operation_t operation;
179} mbedtls_ctr_drbg_psa_context;
180#endif
181
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000182/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000183 * \brief The CTR_DRBG context structure.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000184 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100185typedef struct mbedtls_ctr_drbg_context {
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200186 unsigned char MBEDTLS_PRIVATE(counter)[16]; /*!< The counter (V). */
187 int MBEDTLS_PRIVATE(reseed_counter); /*!< The reseed counter.
Gilles Peskine449bd832023-01-11 14:50:10 +0100188 * This is the number of requests that have
189 * been made since the last (re)seeding,
190 * minus one.
191 * Before the initial seeding, this field
192 * contains the amount of entropy in bytes
193 * to use as a nonce for the initial seeding,
194 * or -1 if no nonce length has been explicitly
195 * set (see mbedtls_ctr_drbg_set_nonce_len()).
196 */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200197 int MBEDTLS_PRIVATE(prediction_resistance); /*!< This determines whether prediction
Gilles Peskine449bd832023-01-11 14:50:10 +0100198 resistance is enabled, that is
199 whether to systematically reseed before
200 each random generation. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200201 size_t MBEDTLS_PRIVATE(entropy_len); /*!< The amount of entropy grabbed on each
Gilles Peskine449bd832023-01-11 14:50:10 +0100202 seed or reseed operation, in bytes. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200203 int MBEDTLS_PRIVATE(reseed_interval); /*!< The reseed interval.
Gilles Peskine449bd832023-01-11 14:50:10 +0100204 * This is the maximum number of requests
205 * that can be made between reseedings. */
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000206
Gilles Peskine86c60372024-06-20 22:08:44 +0200207#if defined(MBEDTLS_CTR_DRBG_USE_PSA_CRYPTO)
Valerio Setti5f4b28d2023-11-13 10:18:16 +0100208 mbedtls_ctr_drbg_psa_context MBEDTLS_PRIVATE(psa_ctx); /*!< The PSA context. */
Gilles Peskine86c60372024-06-20 22:08:44 +0200209#else
210 mbedtls_aes_context MBEDTLS_PRIVATE(aes_ctx); /*!< The AES context. */
Valerio Setti5f4b28d2023-11-13 10:18:16 +0100211#endif
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000212
213 /*
214 * Callbacks (Entropy)
215 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100216 int(*MBEDTLS_PRIVATE(f_entropy))(void *, unsigned char *, size_t);
217 /*!< The entropy callback function. */
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000218
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200219 void *MBEDTLS_PRIVATE(p_entropy); /*!< The context for the entropy function. */
Manuel Pégourié-Gonnard0a4fb092015-05-07 12:50:31 +0100220
221#if defined(MBEDTLS_THREADING_C)
Gilles Peskineda290f92021-02-09 18:44:02 +0100222 /* Invariant: the mutex is initialized if and only if f_entropy != NULL.
223 * This means that the mutex is initialized during the initial seeding
224 * in mbedtls_ctr_drbg_seed() and freed in mbedtls_ctr_drbg_free().
225 *
226 * Note that this invariant may change without notice. Do not rely on it
227 * and do not access the mutex directly in application code.
228 */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200229 mbedtls_threading_mutex_t MBEDTLS_PRIVATE(mutex);
Manuel Pégourié-Gonnard0a4fb092015-05-07 12:50:31 +0100230#endif
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000231}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200232mbedtls_ctr_drbg_context;
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000233
234/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000235 * \brief This function initializes the CTR_DRBG context,
236 * and prepares it for mbedtls_ctr_drbg_seed()
237 * or mbedtls_ctr_drbg_free().
Manuel Pégourié-Gonnard8d128ef2015-04-28 22:38:08 +0200238 *
Gavin Acquroff6aceb512020-03-01 17:06:11 -0800239 * \note The reseed interval is
240 * #MBEDTLS_CTR_DRBG_RESEED_INTERVAL by default.
241 * You can override it by calling
242 * mbedtls_ctr_drbg_set_reseed_interval().
243 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000244 * \param ctx The CTR_DRBG context to initialize.
Manuel Pégourié-Gonnard8d128ef2015-04-28 22:38:08 +0200245 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100246void mbedtls_ctr_drbg_init(mbedtls_ctr_drbg_context *ctx);
Manuel Pégourié-Gonnard8d128ef2015-04-28 22:38:08 +0200247
248/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000249 * \brief This function seeds and sets up the CTR_DRBG
250 * entropy source for future reseeds.
Paul Bakker9af723c2014-05-01 13:03:14 +0200251 *
Gilles Peskine223deea2019-09-24 14:48:53 +0200252 * A typical choice for the \p f_entropy and \p p_entropy parameters is
253 * to use the entropy module:
254 * - \p f_entropy is mbedtls_entropy_func();
255 * - \p p_entropy is an instance of ::mbedtls_entropy_context initialized
256 * with mbedtls_entropy_init() (which registers the platform's default
257 * entropy sources).
258 *
Gilles Peskine50ed86b2019-10-04 12:15:55 +0200259 * The entropy length is #MBEDTLS_CTR_DRBG_ENTROPY_LEN by default.
260 * You can override it by calling mbedtls_ctr_drbg_set_entropy_len().
Gilles Peskineec51dd12019-09-30 15:01:02 +0200261 *
Gilles Peskinee9a34542019-10-22 20:43:24 +0200262 * The entropy nonce length is:
263 * - \c 0 if the entropy length is at least 3/2 times the entropy length,
264 * which guarantees that the security strength is the maximum permitted
265 * by the key size and entropy length according to NIST SP 800-90A §10.2.1;
266 * - Half the entropy length otherwise.
267 * You can override it by calling mbedtls_ctr_drbg_set_nonce_len().
Gilles Peskine69971662019-10-23 19:39:36 +0200268 * With the default entropy length, the entropy nonce length is
269 * #MBEDTLS_CTR_DRBG_ENTROPY_NONCE_LEN.
270 *
Gilles Peskine9be50982019-10-22 18:42:27 +0200271 * You can provide a nonce and personalization string in addition to the
Gilles Peskine223deea2019-09-24 14:48:53 +0200272 * entropy source, to make this instantiation as unique as possible.
Gilles Peskine9be50982019-10-22 18:42:27 +0200273 * See SP 800-90A §8.6.7 for more details about nonces.
Gilles Peskine223deea2019-09-24 14:48:53 +0200274 *
Gilles Peskine9be50982019-10-22 18:42:27 +0200275 * The _seed_material_ value passed to the derivation function in
276 * the CTR_DRBG Instantiate Process described in NIST SP 800-90A §10.2.1.3.2
277 * is the concatenation of the following strings:
278 * - A string obtained by calling \p f_entropy function for the entropy
279 * length.
Gilles Peskinee9a34542019-10-22 20:43:24 +0200280 */
Gilles Peskine69971662019-10-23 19:39:36 +0200281#if MBEDTLS_CTR_DRBG_ENTROPY_NONCE_LEN == 0
Gilles Peskinee9a34542019-10-22 20:43:24 +0200282/**
283 * - If mbedtls_ctr_drbg_set_nonce_len() has been called, a string
284 * obtained by calling \p f_entropy function for the specified length.
285 */
286#else
287/**
288 * - A string obtained by calling \p f_entropy function for the entropy nonce
289 * length. If the entropy nonce length is \c 0, this function does not
290 * make a second call to \p f_entropy.
291 */
292#endif
Gilles Peskinef305d922021-02-09 18:44:18 +0100293#if defined(MBEDTLS_THREADING_C)
294/**
295 * \note When Mbed TLS is built with threading support,
296 * after this function returns successfully,
297 * it is safe to call mbedtls_ctr_drbg_random()
298 * from multiple threads. Other operations, including
299 * reseeding, are not thread-safe.
300 */
301#endif /* MBEDTLS_THREADING_C */
Gilles Peskinee9a34542019-10-22 20:43:24 +0200302/**
Gilles Peskine9be50982019-10-22 18:42:27 +0200303 * - The \p custom string.
304 *
305 * \note To achieve the nominal security strength permitted
306 * by CTR_DRBG, the entropy length must be:
307 * - at least 16 bytes for a 128-bit strength
308 * (maximum achievable strength when using AES-128);
309 * - at least 32 bytes for a 256-bit strength
310 * (maximum achievable strength when using AES-256).
311 *
312 * In addition, if you do not pass a nonce in \p custom,
313 * the sum of the entropy length
Gilles Peskinee9a34542019-10-22 20:43:24 +0200314 * and the entropy nonce length must be:
Gilles Peskine9be50982019-10-22 18:42:27 +0200315 * - at least 24 bytes for a 128-bit strength
316 * (maximum achievable strength when using AES-128);
317 * - at least 48 bytes for a 256-bit strength
318 * (maximum achievable strength when using AES-256).
319 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000320 * \param ctx The CTR_DRBG context to seed.
Gilles Peskinebd326f92019-10-28 17:33:07 +0100321 * It must have been initialized with
322 * mbedtls_ctr_drbg_init().
323 * After a successful call to mbedtls_ctr_drbg_seed(),
324 * you may not call mbedtls_ctr_drbg_seed() again on
325 * the same context unless you call
326 * mbedtls_ctr_drbg_free() and mbedtls_ctr_drbg_init()
327 * again first.
Gilles Peskinef305d922021-02-09 18:44:18 +0100328 * After a failed call to mbedtls_ctr_drbg_seed(),
329 * you must call mbedtls_ctr_drbg_free().
Rose Zadik2f8163d2018-01-25 21:55:14 +0000330 * \param f_entropy The entropy callback, taking as arguments the
331 * \p p_entropy context, the buffer to fill, and the
Gilles Peskine08875d42019-09-24 14:40:40 +0200332 * length of the buffer.
Gilles Peskine50ed86b2019-10-04 12:15:55 +0200333 * \p f_entropy is always called with a buffer size
Gilles Peskine9be50982019-10-22 18:42:27 +0200334 * less than or equal to the entropy length.
Gilles Peskineec51dd12019-09-30 15:01:02 +0200335 * \param p_entropy The entropy context to pass to \p f_entropy.
Gilles Peskine217b8152019-10-01 18:39:45 +0200336 * \param custom The personalization string.
337 * This can be \c NULL, in which case the personalization
338 * string is empty regardless of the value of \p len.
339 * \param len The length of the personalization string.
Gilles Peskine944bc582019-09-24 14:48:30 +0200340 * This must be at most
341 * #MBEDTLS_CTR_DRBG_MAX_SEED_INPUT
342 * - #MBEDTLS_CTR_DRBG_ENTROPY_LEN.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000343 *
Rose Zadikc9474eb2018-03-27 10:58:22 +0100344 * \return \c 0 on success.
345 * \return #MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED on failure.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000346 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100347int mbedtls_ctr_drbg_seed(mbedtls_ctr_drbg_context *ctx,
348 int (*f_entropy)(void *, unsigned char *, size_t),
349 void *p_entropy,
350 const unsigned char *custom,
351 size_t len);
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000352
353/**
Gavin Acquroff6aceb512020-03-01 17:06:11 -0800354 * \brief This function resets CTR_DRBG context to the state immediately
355 * after initial call of mbedtls_ctr_drbg_init().
Paul Bakkerfff03662014-06-18 16:21:25 +0200356 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000357 * \param ctx The CTR_DRBG context to clear.
Paul Bakkerfff03662014-06-18 16:21:25 +0200358 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100359void mbedtls_ctr_drbg_free(mbedtls_ctr_drbg_context *ctx);
Paul Bakkerfff03662014-06-18 16:21:25 +0200360
361/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000362 * \brief This function turns prediction resistance on or off.
363 * The default value is off.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000364 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000365 * \note If enabled, entropy is gathered at the beginning of
Gilles Peskineec51dd12019-09-30 15:01:02 +0200366 * every call to mbedtls_ctr_drbg_random_with_add()
367 * or mbedtls_ctr_drbg_random().
Rose Zadik2f8163d2018-01-25 21:55:14 +0000368 * Only use this if your entropy source has sufficient
369 * throughput.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000370 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000371 * \param ctx The CTR_DRBG context.
372 * \param resistance #MBEDTLS_CTR_DRBG_PR_ON or #MBEDTLS_CTR_DRBG_PR_OFF.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000373 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100374void mbedtls_ctr_drbg_set_prediction_resistance(mbedtls_ctr_drbg_context *ctx,
375 int resistance);
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000376
377/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000378 * \brief This function sets the amount of entropy grabbed on each
Gilles Peskine50ed86b2019-10-04 12:15:55 +0200379 * seed or reseed.
Gilles Peskineec51dd12019-09-30 15:01:02 +0200380 *
381 * The default value is #MBEDTLS_CTR_DRBG_ENTROPY_LEN.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000382 *
Gilles Peskinedddda812019-10-03 14:22:04 +0200383 * \note The security strength of CTR_DRBG is bounded by the
384 * entropy length. Thus:
385 * - When using AES-256
386 * (\c MBEDTLS_CTR_DRBG_USE_128_BIT_KEY is disabled,
387 * which is the default),
388 * \p len must be at least 32 (in bytes)
389 * to achieve a 256-bit strength.
390 * - When using AES-128
391 * (\c MBEDTLS_CTR_DRBG_USE_128_BIT_KEY is enabled)
392 * \p len must be at least 16 (in bytes)
393 * to achieve a 128-bit strength.
Gilles Peskine223deea2019-09-24 14:48:53 +0200394 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000395 * \param ctx The CTR_DRBG context.
Gilles Peskine08875d42019-09-24 14:40:40 +0200396 * \param len The amount of entropy to grab, in bytes.
Gilles Peskine9be50982019-10-22 18:42:27 +0200397 * This must be at most #MBEDTLS_CTR_DRBG_MAX_SEED_INPUT
398 * and at most the maximum length accepted by the
399 * entropy function that is set in the context.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000400 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100401void mbedtls_ctr_drbg_set_entropy_len(mbedtls_ctr_drbg_context *ctx,
402 size_t len);
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000403
404/**
Gilles Peskine9be50982019-10-22 18:42:27 +0200405 * \brief This function sets the amount of entropy grabbed
406 * as a nonce for the initial seeding.
407 *
408 * Call this function before calling mbedtls_ctr_drbg_seed() to read
409 * a nonce from the entropy source during the initial seeding.
410 *
411 * \param ctx The CTR_DRBG context.
412 * \param len The amount of entropy to grab for the nonce, in bytes.
413 * This must be at most #MBEDTLS_CTR_DRBG_MAX_SEED_INPUT
414 * and at most the maximum length accepted by the
415 * entropy function that is set in the context.
416 *
417 * \return \c 0 on success.
418 * \return #MBEDTLS_ERR_CTR_DRBG_INPUT_TOO_BIG if \p len is
419 * more than #MBEDTLS_CTR_DRBG_MAX_SEED_INPUT.
420 * \return #MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED
421 * if the initial seeding has already taken place.
422 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100423int mbedtls_ctr_drbg_set_nonce_len(mbedtls_ctr_drbg_context *ctx,
424 size_t len);
Gilles Peskine9be50982019-10-22 18:42:27 +0200425
426/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000427 * \brief This function sets the reseed interval.
Gilles Peskineec51dd12019-09-30 15:01:02 +0200428 *
429 * The reseed interval is the number of calls to mbedtls_ctr_drbg_random()
430 * or mbedtls_ctr_drbg_random_with_add() after which the entropy function
431 * is called again.
432 *
433 * The default value is #MBEDTLS_CTR_DRBG_RESEED_INTERVAL.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000434 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000435 * \param ctx The CTR_DRBG context.
436 * \param interval The reseed interval.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000437 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100438void mbedtls_ctr_drbg_set_reseed_interval(mbedtls_ctr_drbg_context *ctx,
439 int interval);
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000440
441/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000442 * \brief This function reseeds the CTR_DRBG context, that is
443 * extracts data from the entropy source.
Paul Bakker9af723c2014-05-01 13:03:14 +0200444 *
Gilles Peskinef305d922021-02-09 18:44:18 +0100445 * \note This function is not thread-safe. It is not safe
446 * to call this function if another thread might be
447 * concurrently obtaining random numbers from the same
448 * context or updating or reseeding the same context.
449 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000450 * \param ctx The CTR_DRBG context.
Gilles Peskine10f16ac2019-10-01 18:30:02 +0200451 * \param additional Additional data to add to the state. Can be \c NULL.
Rose Zadik2f8163d2018-01-25 21:55:14 +0000452 * \param len The length of the additional data.
Gilles Peskine944bc582019-09-24 14:48:30 +0200453 * This must be less than
454 * #MBEDTLS_CTR_DRBG_MAX_SEED_INPUT - \c entropy_len
455 * where \c entropy_len is the entropy length
456 * configured for the context.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000457 *
Rose Zadikc9474eb2018-03-27 10:58:22 +0100458 * \return \c 0 on success.
459 * \return #MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED on failure.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000460 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100461int mbedtls_ctr_drbg_reseed(mbedtls_ctr_drbg_context *ctx,
462 const unsigned char *additional, size_t len);
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000463
464/**
Rose Zadikc9474eb2018-03-27 10:58:22 +0100465 * \brief This function updates the state of the CTR_DRBG context.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000466 *
Gilles Peskinef305d922021-02-09 18:44:18 +0100467 * \note This function is not thread-safe. It is not safe
468 * to call this function if another thread might be
469 * concurrently obtaining random numbers from the same
470 * context or updating or reseeding the same context.
471 *
Rose Zadikc9474eb2018-03-27 10:58:22 +0100472 * \param ctx The CTR_DRBG context.
Gilles Peskine08875d42019-09-24 14:40:40 +0200473 * \param additional The data to update the state with. This must not be
Gilles Peskine10f16ac2019-10-01 18:30:02 +0200474 * \c NULL unless \p add_len is \c 0.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500475 * \param add_len Length of \p additional in bytes. This must be at
476 * most #MBEDTLS_CTR_DRBG_MAX_SEED_INPUT.
Rose Zadikc9474eb2018-03-27 10:58:22 +0100477 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500478 * \return \c 0 on success.
479 * \return #MBEDTLS_ERR_CTR_DRBG_INPUT_TOO_BIG if
480 * \p add_len is more than
481 * #MBEDTLS_CTR_DRBG_MAX_SEED_INPUT.
482 * \return An error from the underlying AES cipher on failure.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000483 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100484int mbedtls_ctr_drbg_update(mbedtls_ctr_drbg_context *ctx,
485 const unsigned char *additional,
486 size_t add_len);
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000487
488/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000489 * \brief This function updates a CTR_DRBG instance with additional
490 * data and uses it to generate random data.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000491 *
Gilles Peskine2d8f0692019-10-01 18:31:28 +0200492 * This function automatically reseeds if the reseed counter is exceeded
493 * or prediction resistance is enabled.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000494 *
Gilles Peskinef305d922021-02-09 18:44:18 +0100495 * \note This function is not thread-safe. It is not safe
496 * to call this function if another thread might be
497 * concurrently obtaining random numbers from the same
498 * context or updating or reseeding the same context.
499 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000500 * \param p_rng The CTR_DRBG context. This must be a pointer to a
501 * #mbedtls_ctr_drbg_context structure.
502 * \param output The buffer to fill.
Gilles Peskineec51dd12019-09-30 15:01:02 +0200503 * \param output_len The length of the buffer in bytes.
Gilles Peskine10f16ac2019-10-01 18:30:02 +0200504 * \param additional Additional data to update. Can be \c NULL, in which
Gilles Peskine08875d42019-09-24 14:40:40 +0200505 * case the additional data is empty regardless of
506 * the value of \p add_len.
507 * \param add_len The length of the additional data
Gilles Peskine10f16ac2019-10-01 18:30:02 +0200508 * if \p additional is not \c NULL.
Gilles Peskine944bc582019-09-24 14:48:30 +0200509 * This must be less than #MBEDTLS_CTR_DRBG_MAX_INPUT
510 * and less than
511 * #MBEDTLS_CTR_DRBG_MAX_SEED_INPUT - \c entropy_len
512 * where \c entropy_len is the entropy length
513 * configured for the context.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000514 *
Rose Zadikc9474eb2018-03-27 10:58:22 +0100515 * \return \c 0 on success.
516 * \return #MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED or
Rose Zadik2f8163d2018-01-25 21:55:14 +0000517 * #MBEDTLS_ERR_CTR_DRBG_REQUEST_TOO_BIG on failure.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000518 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100519int mbedtls_ctr_drbg_random_with_add(void *p_rng,
520 unsigned char *output, size_t output_len,
521 const unsigned char *additional, size_t add_len);
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000522
523/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000524 * \brief This function uses CTR_DRBG to generate random data.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000525 *
Gilles Peskine2d8f0692019-10-01 18:31:28 +0200526 * This function automatically reseeds if the reseed counter is exceeded
527 * or prediction resistance is enabled.
Gilles Peskinef305d922021-02-09 18:44:18 +0100528 */
529#if defined(MBEDTLS_THREADING_C)
530/**
531 * \note When Mbed TLS is built with threading support,
532 * it is safe to call mbedtls_ctr_drbg_random()
533 * from multiple threads. Other operations, including
534 * reseeding, are not thread-safe.
535 */
536#endif /* MBEDTLS_THREADING_C */
537/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000538 * \param p_rng The CTR_DRBG context. This must be a pointer to a
539 * #mbedtls_ctr_drbg_context structure.
540 * \param output The buffer to fill.
Gilles Peskine944bc582019-09-24 14:48:30 +0200541 * \param output_len The length of the buffer in bytes.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000542 *
Rose Zadikc9474eb2018-03-27 10:58:22 +0100543 * \return \c 0 on success.
544 * \return #MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED or
Rose Zadik2f8163d2018-01-25 21:55:14 +0000545 * #MBEDTLS_ERR_CTR_DRBG_REQUEST_TOO_BIG on failure.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000546 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100547int mbedtls_ctr_drbg_random(void *p_rng,
548 unsigned char *output, size_t output_len);
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000549
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200550#if defined(MBEDTLS_FS_IO)
Paul Bakkerfc754a92011-12-05 13:23:51 +0000551/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000552 * \brief This function writes a seed file.
Paul Bakkerfc754a92011-12-05 13:23:51 +0000553 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000554 * \param ctx The CTR_DRBG context.
555 * \param path The name of the file.
Paul Bakkerfc754a92011-12-05 13:23:51 +0000556 *
Rose Zadikc9474eb2018-03-27 10:58:22 +0100557 * \return \c 0 on success.
Rose Zadikf25eb6e2018-04-16 14:51:52 +0100558 * \return #MBEDTLS_ERR_CTR_DRBG_FILE_IO_ERROR on file error.
Gilles Peskineec51dd12019-09-30 15:01:02 +0200559 * \return #MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED on reseed
Rose Zadik2f8163d2018-01-25 21:55:14 +0000560 * failure.
Paul Bakkerfc754a92011-12-05 13:23:51 +0000561 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100562int mbedtls_ctr_drbg_write_seed_file(mbedtls_ctr_drbg_context *ctx, const char *path);
Paul Bakkerfc754a92011-12-05 13:23:51 +0000563
564/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000565 * \brief This function reads and updates a seed file. The seed
566 * is added to this instance.
Paul Bakkerfc754a92011-12-05 13:23:51 +0000567 *
Rose Zadik2f8163d2018-01-25 21:55:14 +0000568 * \param ctx The CTR_DRBG context.
569 * \param path The name of the file.
Paul Bakkerfc754a92011-12-05 13:23:51 +0000570 *
Rose Zadikc9474eb2018-03-27 10:58:22 +0100571 * \return \c 0 on success.
572 * \return #MBEDTLS_ERR_CTR_DRBG_FILE_IO_ERROR on file error.
Gilles Peskineec51dd12019-09-30 15:01:02 +0200573 * \return #MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED on
574 * reseed failure.
575 * \return #MBEDTLS_ERR_CTR_DRBG_INPUT_TOO_BIG if the existing
576 * seed file is too large.
Paul Bakkerfc754a92011-12-05 13:23:51 +0000577 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100578int mbedtls_ctr_drbg_update_seed_file(mbedtls_ctr_drbg_context *ctx, const char *path);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200579#endif /* MBEDTLS_FS_IO */
Paul Bakkerfc754a92011-12-05 13:23:51 +0000580
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500581#if defined(MBEDTLS_SELF_TEST)
582
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000583/**
Rose Zadik2f8163d2018-01-25 21:55:14 +0000584 * \brief The CTR_DRBG checkup routine.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000585 *
Rose Zadikc9474eb2018-03-27 10:58:22 +0100586 * \return \c 0 on success.
587 * \return \c 1 on failure.
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000588 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100589int mbedtls_ctr_drbg_self_test(int verbose);
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000590
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500591#endif /* MBEDTLS_SELF_TEST */
592
Paul Bakker0e04d0e2011-11-27 14:46:59 +0000593#ifdef __cplusplus
594}
595#endif
596
597#endif /* ctr_drbg.h */