blob: 166ae1cad0317df9169b0056ea8418f440c795df [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 Rodgman7ff79652023-11-03 12:04:52 +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
Paul Bakker89e80c92012-03-20 13:50:09 +000021
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050022#if !defined(MBEDTLS_CONFIG_FILE)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010023#include "mbedtls/config.h"
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050024#else
25#include MBEDTLS_CONFIG_FILE
26#endif
27
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010028#include "mbedtls/cipher.h"
Paul Bakker89e80c92012-03-20 13:50:09 +000029
30#include <stdint.h>
31
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020032#define MBEDTLS_GCM_ENCRYPT 1
33#define MBEDTLS_GCM_DECRYPT 0
Paul Bakker89e80c92012-03-20 13:50:09 +000034
Gilles Peskinea3974432021-07-26 18:48:10 +020035/** Authenticated decryption failed. */
36#define MBEDTLS_ERR_GCM_AUTH_FAILED -0x0012
Ron Eldor9924bdc2018-10-04 10:59:13 +030037
38/* MBEDTLS_ERR_GCM_HW_ACCEL_FAILED is deprecated and should not be used. */
Gilles Peskinea3974432021-07-26 18:48:10 +020039/** GCM hardware accelerator failed. */
40#define MBEDTLS_ERR_GCM_HW_ACCEL_FAILED -0x0013
Ron Eldor9924bdc2018-10-04 10:59:13 +030041
Gilles Peskinea3974432021-07-26 18:48:10 +020042/** Bad input parameters to function. */
43#define MBEDTLS_ERR_GCM_BAD_INPUT -0x0014
Paul Bakker89e80c92012-03-20 13:50:09 +000044
Paul Bakker407a0da2013-06-27 14:29:21 +020045#ifdef __cplusplus
46extern "C" {
47#endif
48
Ron Eldor4e6d55d2018-02-07 16:36:15 +020049#if !defined(MBEDTLS_GCM_ALT)
50
Paul Bakker89e80c92012-03-20 13:50:09 +000051/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000052 * \brief The GCM context structure.
Paul Bakker89e80c92012-03-20 13:50:09 +000053 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010054typedef struct mbedtls_gcm_context {
Rose Zadik17b4f7f2018-01-26 10:56:42 +000055 mbedtls_cipher_context_t cipher_ctx; /*!< The cipher context used. */
56 uint64_t HL[16]; /*!< Precalculated HTable low. */
57 uint64_t HH[16]; /*!< Precalculated HTable high. */
58 uint64_t len; /*!< The total length of the encrypted data. */
59 uint64_t add_len; /*!< The total length of the additional data. */
60 unsigned char base_ectr[16]; /*!< The first ECTR for tag. */
61 unsigned char y[16]; /*!< The Y working value. */
62 unsigned char buf[16]; /*!< The buf working value. */
63 int mode; /*!< The operation to perform:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010064 #MBEDTLS_GCM_ENCRYPT or
65 #MBEDTLS_GCM_DECRYPT. */
Paul Bakker89e80c92012-03-20 13:50:09 +000066}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020067mbedtls_gcm_context;
Paul Bakker89e80c92012-03-20 13:50:09 +000068
Ron Eldor4e6d55d2018-02-07 16:36:15 +020069#else /* !MBEDTLS_GCM_ALT */
70#include "gcm_alt.h"
71#endif /* !MBEDTLS_GCM_ALT */
72
Paul Bakker89e80c92012-03-20 13:50:09 +000073/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000074 * \brief This function initializes the specified GCM context,
75 * to make references valid, and prepares the context
76 * for mbedtls_gcm_setkey() or mbedtls_gcm_free().
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020077 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000078 * The function does not bind the GCM context to a particular
79 * cipher, nor set the key. For this purpose, use
80 * mbedtls_gcm_setkey().
81 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050082 * \param ctx The GCM context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020083 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010084void mbedtls_gcm_init(mbedtls_gcm_context *ctx);
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020085
86/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000087 * \brief This function associates a GCM context with a
88 * cipher algorithm and a key.
Paul Bakker89e80c92012-03-20 13:50:09 +000089 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050090 * \param ctx The GCM context. This must be initialized.
Rose Zadik17b4f7f2018-01-26 10:56:42 +000091 * \param cipher The 128-bit block cipher to use.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050092 * \param key The encryption key. This must be a readable buffer of at
93 * least \p keybits bits.
Rose Zadik17b4f7f2018-01-26 10:56:42 +000094 * \param keybits The key size in bits. Valid options are:
95 * <ul><li>128 bits</li>
96 * <li>192 bits</li>
97 * <li>256 bits</li></ul>
Paul Bakker89e80c92012-03-20 13:50:09 +000098 *
Rose Zadikd8c4f612018-03-27 11:43:04 +010099 * \return \c 0 on success.
100 * \return A cipher-specific error code on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000101 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100102int mbedtls_gcm_setkey(mbedtls_gcm_context *ctx,
103 mbedtls_cipher_id_t cipher,
104 const unsigned char *key,
105 unsigned int keybits);
Paul Bakker89e80c92012-03-20 13:50:09 +0000106
107/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000108 * \brief This function performs GCM encryption or decryption of a buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000109 *
Harry Ramsey72206522024-11-13 10:03:28 +0000110 * \note The output buffer \p output can be the same as the input
111 * buffer \p input. If \p output is greater than \p input, they
112 * cannot overlap.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000113 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200114 * \warning When this function performs a decryption, it outputs the
115 * authentication tag and does not verify that the data is
116 * authentic. You should use this function to perform encryption
117 * only. For decryption, use mbedtls_gcm_auth_decrypt() instead.
118 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500119 * \param ctx The GCM context to use for encryption or decryption. This
120 * must be initialized.
Gilles Peskine0a0e08a2018-06-07 14:46:02 +0200121 * \param mode The operation to perform:
122 * - #MBEDTLS_GCM_ENCRYPT to perform authenticated encryption.
123 * The ciphertext is written to \p output and the
124 * authentication tag is written to \p tag.
125 * - #MBEDTLS_GCM_DECRYPT to perform decryption.
126 * The plaintext is written to \p output and the
127 * authentication tag is written to \p tag.
128 * Note that this mode is not recommended, because it does
129 * not verify the authenticity of the data. For this reason,
130 * you should use mbedtls_gcm_auth_decrypt() instead of
131 * calling this function in decryption mode.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200132 * \param length The length of the input data, which is equal to the length
133 * of the output data.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500134 * \param iv The initialization vector. This must be a readable buffer of
135 * at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000136 * \param iv_len The length of the IV.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500137 * \param add The buffer holding the additional data. This must be of at
138 * least that size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000139 * \param add_len The length of the additional data.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500140 * \param input The buffer holding the input data. If \p length is greater
141 * than zero, this must be a readable buffer of at least that
142 * size in Bytes.
143 * \param output The buffer for holding the output data. If \p length is greater
144 * than zero, this must be a writable buffer of at least that
145 * size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000146 * \param tag_len The length of the tag to generate.
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300147 * \param tag The buffer for holding the tag. This must be a writable
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500148 * buffer of at least \p tag_len Bytes.
Paul Bakker89e80c92012-03-20 13:50:09 +0000149 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200150 * \return \c 0 if the encryption or decryption was performed
151 * successfully. Note that in #MBEDTLS_GCM_DECRYPT mode,
152 * this does not indicate that the data is authentic.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500153 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths or pointers are
154 * not valid or a cipher-specific error code if the encryption
Ron Eldor9924bdc2018-10-04 10:59:13 +0300155 * or decryption failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000156 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100157int mbedtls_gcm_crypt_and_tag(mbedtls_gcm_context *ctx,
158 int mode,
159 size_t length,
160 const unsigned char *iv,
161 size_t iv_len,
162 const unsigned char *add,
163 size_t add_len,
164 const unsigned char *input,
165 unsigned char *output,
166 size_t tag_len,
167 unsigned char *tag);
Paul Bakker89e80c92012-03-20 13:50:09 +0000168
169/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000170 * \brief This function performs a GCM authenticated decryption of a
171 * buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000172 *
Harry Ramseyc22ead72024-11-13 19:22:51 +0000173 * \note The output buffer \p output can be the same as the input
174 * buffer \p input. If \p output is greater than \p input, they
175 * cannot overlap. Implementations which require
176 * MBEDTLS_GCM_ALT to be enabled may not provide support for
177 * overlapping buffers.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000178 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500179 * \param ctx The GCM context. This must be initialized.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200180 * \param length The length of the ciphertext to decrypt, which is also
181 * the length of the decrypted plaintext.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500182 * \param iv The initialization vector. This must be a readable buffer
183 * of at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000184 * \param iv_len The length of the IV.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500185 * \param add The buffer holding the additional data. This must be of at
186 * least that size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000187 * \param add_len The length of the additional data.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500188 * \param tag The buffer holding the tag to verify. This must be a
189 * readable buffer of at least \p tag_len Bytes.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200190 * \param tag_len The length of the tag to verify.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500191 * \param input The buffer holding the ciphertext. If \p length is greater
192 * than zero, this must be a readable buffer of at least that
193 * size.
194 * \param output The buffer for holding the decrypted plaintext. If \p length
195 * is greater than zero, this must be a writable buffer of at
196 * least that size.
Paul Bakker89e80c92012-03-20 13:50:09 +0000197 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200198 * \return \c 0 if successful and authenticated.
199 * \return #MBEDTLS_ERR_GCM_AUTH_FAILED if the tag does not match.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500200 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths or pointers are
201 * not valid or a cipher-specific error code if the decryption
202 * failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000203 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100204int mbedtls_gcm_auth_decrypt(mbedtls_gcm_context *ctx,
205 size_t length,
206 const unsigned char *iv,
207 size_t iv_len,
208 const unsigned char *add,
209 size_t add_len,
210 const unsigned char *tag,
211 size_t tag_len,
212 const unsigned char *input,
213 unsigned char *output);
Paul Bakker89e80c92012-03-20 13:50:09 +0000214
215/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000216 * \brief This function starts a GCM encryption or decryption
217 * operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200218 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500219 * \param ctx The GCM context. This must be initialized.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000220 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
221 * #MBEDTLS_GCM_DECRYPT.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500222 * \param iv The initialization vector. This must be a readable buffer of
223 * at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000224 * \param iv_len The length of the IV.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500225 * \param add The buffer holding the additional data, or \c NULL
226 * if \p add_len is \c 0.
227 * \param add_len The length of the additional data. If \c 0,
228 * \p add may be \c NULL.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200229 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100230 * \return \c 0 on success.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200231 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100232int mbedtls_gcm_starts(mbedtls_gcm_context *ctx,
233 int mode,
234 const unsigned char *iv,
235 size_t iv_len,
236 const unsigned char *add,
237 size_t add_len);
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200238
239/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000240 * \brief This function feeds an input buffer into an ongoing GCM
241 * encryption or decryption operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200242 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000243 * ` The function expects input to be a multiple of 16
244 * Bytes. Only the last call before calling
245 * mbedtls_gcm_finish() can be less than 16 Bytes.
246 *
Harry Ramsey72206522024-11-13 10:03:28 +0000247 * \note The output buffer \p output can be the same as the input
248 * buffer \p input. If \p output is greater than \p input, they
249 * cannot overlap. Implementations which require
Harry Ramseyc22ead72024-11-13 19:22:51 +0000250 * MBEDTLS_GCM_ALT to be enabled may not provide support for
251 * overlapping buffers.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200252 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500253 * \param ctx The GCM context. This must be initialized.
Rose Zadikd8c4f612018-03-27 11:43:04 +0100254 * \param length The length of the input data. This must be a multiple of
255 * 16 except in the last call before mbedtls_gcm_finish().
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500256 * \param input The buffer holding the input data. If \p length is greater
257 * than zero, this must be a readable buffer of at least that
258 * size in Bytes.
259 * \param output The buffer for holding the output data. If \p length is
260 * greater than zero, this must be a writable buffer of at
261 * least that size in Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200262 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100263 * \return \c 0 on success.
264 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200265 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100266int mbedtls_gcm_update(mbedtls_gcm_context *ctx,
267 size_t length,
268 const unsigned char *input,
269 unsigned char *output);
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200270
271/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000272 * \brief This function finishes the GCM operation and generates
273 * the authentication tag.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200274 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000275 * It wraps up the GCM stream, and generates the
276 * tag. The tag can have a maximum length of 16 Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200277 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500278 * \param ctx The GCM context. This must be initialized.
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300279 * \param tag The buffer for holding the tag. This must be a writable
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500280 * buffer of at least \p tag_len Bytes.
281 * \param tag_len The length of the tag to generate. This must be at least
282 * four.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000283 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100284 * \return \c 0 on success.
285 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200286 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100287int mbedtls_gcm_finish(mbedtls_gcm_context *ctx,
288 unsigned char *tag,
289 size_t tag_len);
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200290
291/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000292 * \brief This function clears a GCM context and the underlying
293 * cipher sub-context.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200294 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500295 * \param ctx The GCM context to clear. If this is \c NULL, the call has
296 * no effect. Otherwise, this must be initialized.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200297 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100298void mbedtls_gcm_free(mbedtls_gcm_context *ctx);
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200299
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500300#if defined(MBEDTLS_SELF_TEST)
301
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200302/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000303 * \brief The GCM checkup routine.
Paul Bakker89e80c92012-03-20 13:50:09 +0000304 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100305 * \return \c 0 on success.
306 * \return \c 1 on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000307 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100308int mbedtls_gcm_self_test(int verbose);
Paul Bakker89e80c92012-03-20 13:50:09 +0000309
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500310#endif /* MBEDTLS_SELF_TEST */
311
Paul Bakker89e80c92012-03-20 13:50:09 +0000312#ifdef __cplusplus
313}
314#endif
315
Jaeden Amero15263302017-09-21 12:53:48 +0100316
Paul Bakker89e80c92012-03-20 13:50:09 +0000317#endif /* gcm.h */