blob: f4757102768137c65cc8e729a2f72cc4c20a6a04 [file] [log] [blame]
Paul Bakker89e80c92012-03-20 13:50:09 +00001/**
2 * \file gcm.h
3 *
Rose Zadikd8c4f612018-03-27 11:43:04 +01004 * \brief This file contains GCM definitions and functions.
5 *
6 * The Galois/Counter Mode (GCM) for 128-bit block ciphers is defined
7 * in <em>D. McGrew, J. Viega, The Galois/Counter Mode of Operation
8 * (GCM), Natl. Inst. Stand. Technol.</em>
Rose Zadik17b4f7f2018-01-26 10:56:42 +00009 *
10 * For more information on GCM, see <em>NIST SP 800-38D: Recommendation for
11 * Block Cipher Modes of Operation: Galois/Counter Mode (GCM) and GMAC</em>.
12 *
Darryl Greena40a1012018-01-05 15:33:17 +000013 */
14/*
Bence Szépkúti1e148272020-08-07 13:07:28 +020015 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +000016 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakker89e80c92012-03-20 13:50:09 +000017 */
Rose Zadik17b4f7f2018-01-26 10:56:42 +000018
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020019#ifndef MBEDTLS_GCM_H
20#define MBEDTLS_GCM_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020021#include "mbedtls/private_access.h"
Paul Bakker89e80c92012-03-20 13:50:09 +000022
Bence Szépkútic662b362021-05-27 11:25:03 +020023#include "mbedtls/build_info.h"
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050024
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010025#include "mbedtls/cipher.h"
Paul Bakker89e80c92012-03-20 13:50:09 +000026
Valerio Settibd7528a2023-12-14 09:36:03 +010027#if defined(MBEDTLS_BLOCK_CIPHER_C)
Valerio Setti9b7a8b22023-11-16 08:24:51 +010028#include "mbedtls/block_cipher.h"
29#endif
30
Paul Bakker89e80c92012-03-20 13:50:09 +000031#include <stdint.h>
32
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020033#define MBEDTLS_GCM_ENCRYPT 1
34#define MBEDTLS_GCM_DECRYPT 0
Paul Bakker89e80c92012-03-20 13:50:09 +000035
Matthias Schulz0767fda2024-02-07 10:46:28 +010036#define MBEDTLS_GCM_ACC_SMALLTABLE 0
37#define MBEDTLS_GCM_ACC_LARGETABLE 1
38#define MBEDTLS_GCM_ACC_AESNI 2
39#define MBEDTLS_GCM_ACC_AESCE 3
40
Gilles Peskined2971572021-07-26 18:48:10 +020041/** Authenticated decryption failed. */
42#define MBEDTLS_ERR_GCM_AUTH_FAILED -0x0012
43/** Bad input parameters to function. */
44#define MBEDTLS_ERR_GCM_BAD_INPUT -0x0014
Mateusz Starzykf28261f2021-09-30 16:39:07 +020045/** An output buffer is too small. */
Mateusz Starzyk30bd7fa2021-10-22 10:33:25 +020046#define MBEDTLS_ERR_GCM_BUFFER_TOO_SMALL -0x0016
Paul Bakker89e80c92012-03-20 13:50:09 +000047
Paul Bakker407a0da2013-06-27 14:29:21 +020048#ifdef __cplusplus
49extern "C" {
50#endif
51
Ron Eldor4e6d55d2018-02-07 16:36:15 +020052#if !defined(MBEDTLS_GCM_ALT)
53
Matthias Schulz0767fda2024-02-07 10:46:28 +010054#if defined(MBEDTLS_GCM_LARGETABLE)
55#define MBEDTLS_GCM_HTABLE_SIZE 256
56#else
57#define MBEDTLS_GCM_HTABLE_SIZE 16
58#endif
59
Paul Bakker89e80c92012-03-20 13:50:09 +000060/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000061 * \brief The GCM context structure.
Paul Bakker89e80c92012-03-20 13:50:09 +000062 */
Gilles Peskine449bd832023-01-11 14:50:10 +010063typedef struct mbedtls_gcm_context {
Valerio Settibd7528a2023-12-14 09:36:03 +010064#if defined(MBEDTLS_BLOCK_CIPHER_C)
Valerio Setti9b7a8b22023-11-16 08:24:51 +010065 mbedtls_block_cipher_context_t MBEDTLS_PRIVATE(block_cipher_ctx); /*!< The cipher context used. */
Valerio Settibd7528a2023-12-14 09:36:03 +010066#else
Matthias Schulz0767fda2024-02-07 10:46:28 +010067 mbedtls_cipher_context_t MBEDTLS_PRIVATE(cipher_ctx); /*!< The cipher context used. */
Valerio Setti9b7a8b22023-11-16 08:24:51 +010068#endif
Matthias Schulz0767fda2024-02-07 10:46:28 +010069 uint64_t MBEDTLS_PRIVATE(H)[MBEDTLS_GCM_HTABLE_SIZE][2]; /*!< Precalculated HTable. */
70 uint64_t MBEDTLS_PRIVATE(len); /*!< The total length of the encrypted data. */
71 uint64_t MBEDTLS_PRIVATE(add_len); /*!< The total length of the additional data. */
72 unsigned char MBEDTLS_PRIVATE(base_ectr)[16]; /*!< The first ECTR for tag. */
73 unsigned char MBEDTLS_PRIVATE(y)[16]; /*!< The Y working value. */
74 unsigned char MBEDTLS_PRIVATE(buf)[16]; /*!< The buf working value. */
75 unsigned char MBEDTLS_PRIVATE(mode); /*!< The operation to perform:
76 #MBEDTLS_GCM_ENCRYPT or
77 #MBEDTLS_GCM_DECRYPT. */
78 unsigned char MBEDTLS_PRIVATE(acceleration); /*!< The acceleration to use:
79 #MBEDTLS_GCM_ACC_SMALLTABLE,
80 #MBEDTLS_GCM_ACC_LARGETABLE,
81 #MBEDTLS_GCM_ACC_AESNI,
82 #MBEDTLS_GCM_ACC_AESCE */
Paul Bakker89e80c92012-03-20 13:50:09 +000083}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020084mbedtls_gcm_context;
Paul Bakker89e80c92012-03-20 13:50:09 +000085
Ron Eldor4e6d55d2018-02-07 16:36:15 +020086#else /* !MBEDTLS_GCM_ALT */
87#include "gcm_alt.h"
88#endif /* !MBEDTLS_GCM_ALT */
89
Paul Bakker89e80c92012-03-20 13:50:09 +000090/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000091 * \brief This function initializes the specified GCM context,
92 * to make references valid, and prepares the context
93 * for mbedtls_gcm_setkey() or mbedtls_gcm_free().
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020094 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000095 * The function does not bind the GCM context to a particular
96 * cipher, nor set the key. For this purpose, use
97 * mbedtls_gcm_setkey().
98 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050099 * \param ctx The GCM context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200100 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100101void mbedtls_gcm_init(mbedtls_gcm_context *ctx);
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200102
103/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000104 * \brief This function associates a GCM context with a
105 * cipher algorithm and a key.
Paul Bakker89e80c92012-03-20 13:50:09 +0000106 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500107 * \param ctx The GCM context. This must be initialized.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000108 * \param cipher The 128-bit block cipher to use.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500109 * \param key The encryption key. This must be a readable buffer of at
110 * least \p keybits bits.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000111 * \param keybits The key size in bits. Valid options are:
112 * <ul><li>128 bits</li>
113 * <li>192 bits</li>
114 * <li>256 bits</li></ul>
Paul Bakker89e80c92012-03-20 13:50:09 +0000115 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100116 * \return \c 0 on success.
117 * \return A cipher-specific error code on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000118 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100119int mbedtls_gcm_setkey(mbedtls_gcm_context *ctx,
120 mbedtls_cipher_id_t cipher,
121 const unsigned char *key,
122 unsigned int keybits);
Paul Bakker89e80c92012-03-20 13:50:09 +0000123
124/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000125 * \brief This function performs GCM encryption or decryption of a buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000126 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100127 * \note For encryption, the output buffer can be the same as the
128 * input buffer. For decryption, the output buffer cannot be
129 * the same as input buffer. If the buffers overlap, the output
130 * buffer must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000131 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200132 * \warning When this function performs a decryption, it outputs the
133 * authentication tag and does not verify that the data is
134 * authentic. You should use this function to perform encryption
135 * only. For decryption, use mbedtls_gcm_auth_decrypt() instead.
136 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500137 * \param ctx The GCM context to use for encryption or decryption. This
138 * must be initialized.
Gilles Peskine0a0e08a2018-06-07 14:46:02 +0200139 * \param mode The operation to perform:
140 * - #MBEDTLS_GCM_ENCRYPT to perform authenticated encryption.
141 * The ciphertext is written to \p output and the
142 * authentication tag is written to \p tag.
143 * - #MBEDTLS_GCM_DECRYPT to perform decryption.
144 * The plaintext is written to \p output and the
145 * authentication tag is written to \p tag.
146 * Note that this mode is not recommended, because it does
147 * not verify the authenticity of the data. For this reason,
148 * you should use mbedtls_gcm_auth_decrypt() instead of
149 * calling this function in decryption mode.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200150 * \param length The length of the input data, which is equal to the length
151 * of the output data.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500152 * \param iv The initialization vector. This must be a readable buffer of
153 * at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000154 * \param iv_len The length of the IV.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500155 * \param add The buffer holding the additional data. This must be of at
156 * least that size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000157 * \param add_len The length of the additional data.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500158 * \param input The buffer holding the input data. If \p length is greater
159 * than zero, this must be a readable buffer of at least that
160 * size in Bytes.
161 * \param output The buffer for holding the output data. If \p length is greater
162 * than zero, this must be a writable buffer of at least that
163 * size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000164 * \param tag_len The length of the tag to generate.
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300165 * \param tag The buffer for holding the tag. This must be a writable
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500166 * buffer of at least \p tag_len Bytes.
Paul Bakker89e80c92012-03-20 13:50:09 +0000167 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200168 * \return \c 0 if the encryption or decryption was performed
169 * successfully. Note that in #MBEDTLS_GCM_DECRYPT mode,
170 * this does not indicate that the data is authentic.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500171 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths or pointers are
172 * not valid or a cipher-specific error code if the encryption
Ron Eldor9924bdc2018-10-04 10:59:13 +0300173 * or decryption failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000174 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100175int mbedtls_gcm_crypt_and_tag(mbedtls_gcm_context *ctx,
176 int mode,
177 size_t length,
178 const unsigned char *iv,
179 size_t iv_len,
180 const unsigned char *add,
181 size_t add_len,
182 const unsigned char *input,
183 unsigned char *output,
184 size_t tag_len,
185 unsigned char *tag);
Paul Bakker89e80c92012-03-20 13:50:09 +0000186
187/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000188 * \brief This function performs a GCM authenticated decryption of a
189 * buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000190 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100191 * \note For decryption, the output buffer cannot be the same as
192 * input buffer. If the buffers overlap, the output buffer
193 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000194 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500195 * \param ctx The GCM context. This must be initialized.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200196 * \param length The length of the ciphertext to decrypt, which is also
197 * the length of the decrypted plaintext.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500198 * \param iv The initialization vector. This must be a readable buffer
199 * of at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000200 * \param iv_len The length of the IV.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500201 * \param add The buffer holding the additional data. This must be of at
202 * least that size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000203 * \param add_len The length of the additional data.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500204 * \param tag The buffer holding the tag to verify. This must be a
205 * readable buffer of at least \p tag_len Bytes.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200206 * \param tag_len The length of the tag to verify.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500207 * \param input The buffer holding the ciphertext. If \p length is greater
208 * than zero, this must be a readable buffer of at least that
209 * size.
210 * \param output The buffer for holding the decrypted plaintext. If \p length
211 * is greater than zero, this must be a writable buffer of at
212 * least that size.
Paul Bakker89e80c92012-03-20 13:50:09 +0000213 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200214 * \return \c 0 if successful and authenticated.
215 * \return #MBEDTLS_ERR_GCM_AUTH_FAILED if the tag does not match.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500216 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths or pointers are
217 * not valid or a cipher-specific error code if the decryption
218 * failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000219 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100220int mbedtls_gcm_auth_decrypt(mbedtls_gcm_context *ctx,
221 size_t length,
222 const unsigned char *iv,
223 size_t iv_len,
224 const unsigned char *add,
225 size_t add_len,
226 const unsigned char *tag,
227 size_t tag_len,
228 const unsigned char *input,
229 unsigned char *output);
Paul Bakker89e80c92012-03-20 13:50:09 +0000230
231/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000232 * \brief This function starts a GCM encryption or decryption
233 * operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200234 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500235 * \param ctx The GCM context. This must be initialized.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000236 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
237 * #MBEDTLS_GCM_DECRYPT.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500238 * \param iv The initialization vector. This must be a readable buffer of
239 * at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000240 * \param iv_len The length of the IV.
Gilles Peskine295fc132021-04-15 18:32:23 +0200241 *
242 * \return \c 0 on success.
243 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100244int mbedtls_gcm_starts(mbedtls_gcm_context *ctx,
245 int mode,
246 const unsigned char *iv,
247 size_t iv_len);
Gilles Peskine295fc132021-04-15 18:32:23 +0200248
249/**
Gilles Peskine52118182021-05-18 20:38:33 +0200250 * \brief This function feeds an input buffer as associated data
251 * (authenticated but not encrypted data) in a GCM
252 * encryption or decryption operation.
Gilles Peskine295fc132021-04-15 18:32:23 +0200253 *
Gilles Peskine8e8cdd12021-05-18 21:02:13 +0200254 * Call this function after mbedtls_gcm_starts() to pass
255 * the associated data. If the associated data is empty,
256 * you do not need to call this function. You may not
257 * call this function after calling mbedtls_cipher_update().
258 *
Gilles Peskine295fc132021-04-15 18:32:23 +0200259 * \param ctx The GCM context. This must have been started with
260 * mbedtls_gcm_starts() and must not have yet received
261 * any input with mbedtls_gcm_update().
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500262 * \param add The buffer holding the additional data, or \c NULL
263 * if \p add_len is \c 0.
264 * \param add_len The length of the additional data. If \c 0,
265 * \p add may be \c NULL.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200266 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100267 * \return \c 0 on success.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200268 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100269int mbedtls_gcm_update_ad(mbedtls_gcm_context *ctx,
270 const unsigned char *add,
271 size_t add_len);
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200272
273/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000274 * \brief This function feeds an input buffer into an ongoing GCM
275 * encryption or decryption operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200276 *
Gilles Peskine8e8cdd12021-05-18 21:02:13 +0200277 * You may call this function zero, one or more times
278 * to pass successive parts of the input: the plaintext to
279 * encrypt, or the ciphertext (not including the tag) to
280 * decrypt. After the last part of the input, call
281 * mbedtls_gcm_finish().
282 *
Gilles Peskineb7bb06872021-05-18 22:31:53 +0200283 * This function may produce output in one of the following
284 * ways:
285 * - Immediate output: the output length is always equal
286 * to the input length.
287 * - Buffered output: the output consists of a whole number
288 * of 16-byte blocks. If the total input length so far
289 * (not including associated data) is 16 \* *B* + *A*
290 * with *A* < 16 then the total output length is 16 \* *B*.
291 *
292 * In particular:
293 * - It is always correct to call this function with
Gilles Peskineaf5b26a2021-05-19 12:24:33 +0200294 * \p output_size >= \p input_length + 15.
295 * - If \p input_length is a multiple of 16 for all the calls
Gilles Peskineb7bb06872021-05-18 22:31:53 +0200296 * to this function during an operation, then it is
Gilles Peskineaf5b26a2021-05-19 12:24:33 +0200297 * correct to use \p output_size = \p input_length.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000298 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100299 * \note For decryption, the output buffer cannot be the same as
300 * input buffer. If the buffers overlap, the output buffer
301 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200302 *
Gilles Peskinea56c4482021-04-15 17:22:35 +0200303 * \param ctx The GCM context. This must be initialized.
304 * \param input The buffer holding the input data. If \p input_length
305 * is greater than zero, this must be a readable buffer
306 * of at least \p input_length bytes.
307 * \param input_length The length of the input data in bytes.
Gilles Peskine518fdb02021-05-18 20:43:31 +0200308 * \param output The buffer for the output data. If \p output_size
Gilles Peskinea56c4482021-04-15 17:22:35 +0200309 * is greater than zero, this must be a writable buffer of
310 * of at least \p output_size bytes.
Gilles Peskinea56c4482021-04-15 17:22:35 +0200311 * \param output_size The size of the output buffer in bytes.
Gilles Peskineb7bb06872021-05-18 22:31:53 +0200312 * See the function description regarding the output size.
Gilles Peskinea56c4482021-04-15 17:22:35 +0200313 * \param output_length On success, \p *output_length contains the actual
314 * length of the output written in \p output.
315 * On failure, the content of \p *output_length is
316 * unspecified.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200317 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100318 * \return \c 0 on success.
Gilles Peskined9380b52021-05-18 21:02:52 +0200319 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure:
320 * total input length too long,
321 * unsupported input/output buffer overlap detected,
322 * or \p output_size too small.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200323 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100324int mbedtls_gcm_update(mbedtls_gcm_context *ctx,
325 const unsigned char *input, size_t input_length,
326 unsigned char *output, size_t output_size,
327 size_t *output_length);
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200328
329/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000330 * \brief This function finishes the GCM operation and generates
331 * the authentication tag.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200332 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000333 * It wraps up the GCM stream, and generates the
334 * tag. The tag can have a maximum length of 16 Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200335 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500336 * \param ctx The GCM context. This must be initialized.
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300337 * \param tag The buffer for holding the tag. This must be a writable
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500338 * buffer of at least \p tag_len Bytes.
339 * \param tag_len The length of the tag to generate. This must be at least
340 * four.
Gilles Peskine9461e452021-04-15 16:48:32 +0200341 * \param output The buffer for the final output.
Gilles Peskineb7bb06872021-05-18 22:31:53 +0200342 * If \p output_size is nonzero, this must be a writable
343 * buffer of at least \p output_size bytes.
344 * \param output_size The size of the \p output buffer in bytes.
345 * This must be large enough for the output that
346 * mbedtls_gcm_update() has not produced. In particular:
347 * - If mbedtls_gcm_update() produces immediate output,
348 * or if the total input size is a multiple of \c 16,
349 * then mbedtls_gcm_finish() never produces any output,
350 * so \p output_size can be \c 0.
351 * - \p output_size never needs to be more than \c 15.
Gilles Peskine5a7be102021-06-23 21:51:32 +0200352 * \param output_length On success, \p *output_length contains the actual
353 * length of the output written in \p output.
354 * On failure, the content of \p *output_length is
355 * unspecified.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000356 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100357 * \return \c 0 on success.
Gilles Peskined9380b52021-05-18 21:02:52 +0200358 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure:
359 * invalid value of \p tag_len,
Gilles Peskineaf5b26a2021-05-19 12:24:33 +0200360 * or \p output_size too small.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200361 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100362int mbedtls_gcm_finish(mbedtls_gcm_context *ctx,
363 unsigned char *output, size_t output_size,
364 size_t *output_length,
365 unsigned char *tag, size_t tag_len);
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200366
367/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000368 * \brief This function clears a GCM context and the underlying
369 * cipher sub-context.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200370 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500371 * \param ctx The GCM context to clear. If this is \c NULL, the call has
372 * no effect. Otherwise, this must be initialized.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200373 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100374void mbedtls_gcm_free(mbedtls_gcm_context *ctx);
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200375
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500376#if defined(MBEDTLS_SELF_TEST)
377
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200378/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000379 * \brief The GCM checkup routine.
Paul Bakker89e80c92012-03-20 13:50:09 +0000380 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100381 * \return \c 0 on success.
382 * \return \c 1 on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000383 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100384int mbedtls_gcm_self_test(int verbose);
Paul Bakker89e80c92012-03-20 13:50:09 +0000385
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500386#endif /* MBEDTLS_SELF_TEST */
387
Paul Bakker89e80c92012-03-20 13:50:09 +0000388#ifdef __cplusplus
389}
390#endif
391
Jaeden Amero15263302017-09-21 12:53:48 +0100392
Paul Bakker89e80c92012-03-20 13:50:09 +0000393#endif /* gcm.h */