blob: 9723a17b65fdb21b3f307ff7974b5219289ea970 [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
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020016 * SPDX-License-Identifier: Apache-2.0
17 *
18 * Licensed under the Apache License, Version 2.0 (the "License"); you may
19 * not use this file except in compliance with the License.
20 * You may obtain a copy of the License at
21 *
22 * http://www.apache.org/licenses/LICENSE-2.0
23 *
24 * Unless required by applicable law or agreed to in writing, software
25 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
26 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
27 * See the License for the specific language governing permissions and
28 * limitations under the License.
Paul Bakker89e80c92012-03-20 13:50:09 +000029 */
Rose Zadik17b4f7f2018-01-26 10:56:42 +000030
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020031#ifndef MBEDTLS_GCM_H
32#define MBEDTLS_GCM_H
Paul Bakker89e80c92012-03-20 13:50:09 +000033
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050034#if !defined(MBEDTLS_CONFIG_FILE)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010035#include "mbedtls/config.h"
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050036#else
37#include MBEDTLS_CONFIG_FILE
38#endif
39
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010040#include "mbedtls/cipher.h"
Paul Bakker89e80c92012-03-20 13:50:09 +000041
42#include <stdint.h>
43
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020044#define MBEDTLS_GCM_ENCRYPT 1
45#define MBEDTLS_GCM_DECRYPT 0
Paul Bakker89e80c92012-03-20 13:50:09 +000046
Gilles Peskinea3974432021-07-26 18:48:10 +020047/** Authenticated decryption failed. */
48#define MBEDTLS_ERR_GCM_AUTH_FAILED -0x0012
Ron Eldor9924bdc2018-10-04 10:59:13 +030049
50/* MBEDTLS_ERR_GCM_HW_ACCEL_FAILED is deprecated and should not be used. */
Gilles Peskinea3974432021-07-26 18:48:10 +020051/** GCM hardware accelerator failed. */
52#define MBEDTLS_ERR_GCM_HW_ACCEL_FAILED -0x0013
Ron Eldor9924bdc2018-10-04 10:59:13 +030053
Gilles Peskinea3974432021-07-26 18:48:10 +020054/** Bad input parameters to function. */
55#define MBEDTLS_ERR_GCM_BAD_INPUT -0x0014
Paul Bakker89e80c92012-03-20 13:50:09 +000056
Paul Bakker407a0da2013-06-27 14:29:21 +020057#ifdef __cplusplus
58extern "C" {
59#endif
60
Ron Eldor4e6d55d2018-02-07 16:36:15 +020061#if !defined(MBEDTLS_GCM_ALT)
62
Paul Bakker89e80c92012-03-20 13:50:09 +000063/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000064 * \brief The GCM context structure.
Paul Bakker89e80c92012-03-20 13:50:09 +000065 */
Dawid Drozd428cc522018-07-24 10:02:47 +020066typedef struct mbedtls_gcm_context
67{
Rose Zadik17b4f7f2018-01-26 10:56:42 +000068 mbedtls_cipher_context_t cipher_ctx; /*!< The cipher context used. */
69 uint64_t HL[16]; /*!< Precalculated HTable low. */
70 uint64_t HH[16]; /*!< Precalculated HTable high. */
71 uint64_t len; /*!< The total length of the encrypted data. */
72 uint64_t add_len; /*!< The total length of the additional data. */
73 unsigned char base_ectr[16]; /*!< The first ECTR for tag. */
74 unsigned char y[16]; /*!< The Y working value. */
75 unsigned char buf[16]; /*!< The buf working value. */
76 int mode; /*!< The operation to perform:
77 #MBEDTLS_GCM_ENCRYPT or
78 #MBEDTLS_GCM_DECRYPT. */
Paul Bakker89e80c92012-03-20 13:50:09 +000079}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020080mbedtls_gcm_context;
Paul Bakker89e80c92012-03-20 13:50:09 +000081
Ron Eldor4e6d55d2018-02-07 16:36:15 +020082#else /* !MBEDTLS_GCM_ALT */
83#include "gcm_alt.h"
84#endif /* !MBEDTLS_GCM_ALT */
85
Paul Bakker89e80c92012-03-20 13:50:09 +000086/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000087 * \brief This function initializes the specified GCM context,
88 * to make references valid, and prepares the context
89 * for mbedtls_gcm_setkey() or mbedtls_gcm_free().
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020090 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000091 * The function does not bind the GCM context to a particular
92 * cipher, nor set the key. For this purpose, use
93 * mbedtls_gcm_setkey().
94 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050095 * \param ctx The GCM context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020096 */
97void mbedtls_gcm_init( mbedtls_gcm_context *ctx );
98
99/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000100 * \brief This function associates a GCM context with a
101 * cipher algorithm and a key.
Paul Bakker89e80c92012-03-20 13:50:09 +0000102 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500103 * \param ctx The GCM context. This must be initialized.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000104 * \param cipher The 128-bit block cipher to use.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500105 * \param key The encryption key. This must be a readable buffer of at
106 * least \p keybits bits.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000107 * \param keybits The key size in bits. Valid options are:
108 * <ul><li>128 bits</li>
109 * <li>192 bits</li>
110 * <li>256 bits</li></ul>
Paul Bakker89e80c92012-03-20 13:50:09 +0000111 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100112 * \return \c 0 on success.
113 * \return A cipher-specific error code on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000114 */
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200115int mbedtls_gcm_setkey( mbedtls_gcm_context *ctx,
116 mbedtls_cipher_id_t cipher,
117 const unsigned char *key,
Manuel Pégourié-Gonnardb8186a52015-06-18 14:58:58 +0200118 unsigned int keybits );
Paul Bakker89e80c92012-03-20 13:50:09 +0000119
120/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000121 * \brief This function performs GCM encryption or decryption of a buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000122 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100123 * \note For encryption, the output buffer can be the same as the
124 * input buffer. For decryption, the output buffer cannot be
125 * the same as input buffer. If the buffers overlap, the output
126 * buffer must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000127 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200128 * \warning When this function performs a decryption, it outputs the
129 * authentication tag and does not verify that the data is
130 * authentic. You should use this function to perform encryption
131 * only. For decryption, use mbedtls_gcm_auth_decrypt() instead.
132 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500133 * \param ctx The GCM context to use for encryption or decryption. This
134 * must be initialized.
Gilles Peskine0a0e08a2018-06-07 14:46:02 +0200135 * \param mode The operation to perform:
136 * - #MBEDTLS_GCM_ENCRYPT to perform authenticated encryption.
137 * The ciphertext is written to \p output and the
138 * authentication tag is written to \p tag.
139 * - #MBEDTLS_GCM_DECRYPT to perform decryption.
140 * The plaintext is written to \p output and the
141 * authentication tag is written to \p tag.
142 * Note that this mode is not recommended, because it does
143 * not verify the authenticity of the data. For this reason,
144 * you should use mbedtls_gcm_auth_decrypt() instead of
145 * calling this function in decryption mode.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200146 * \param length The length of the input data, which is equal to the length
147 * of the output data.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500148 * \param iv The initialization vector. This must be a readable buffer of
149 * at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000150 * \param iv_len The length of the IV.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500151 * \param add The buffer holding the additional data. This must be of at
152 * least that size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000153 * \param add_len The length of the additional data.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500154 * \param input The buffer holding the input data. If \p length is greater
155 * than zero, this must be a readable buffer of at least that
156 * size in Bytes.
157 * \param output The buffer for holding the output data. If \p length is greater
158 * than zero, this must be a writable buffer of at least that
159 * size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000160 * \param tag_len The length of the tag to generate.
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300161 * \param tag The buffer for holding the tag. This must be a writable
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500162 * buffer of at least \p tag_len Bytes.
Paul Bakker89e80c92012-03-20 13:50:09 +0000163 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200164 * \return \c 0 if the encryption or decryption was performed
165 * successfully. Note that in #MBEDTLS_GCM_DECRYPT mode,
166 * this does not indicate that the data is authentic.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500167 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths or pointers are
168 * not valid or a cipher-specific error code if the encryption
Ron Eldor9924bdc2018-10-04 10:59:13 +0300169 * or decryption failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000170 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200171int mbedtls_gcm_crypt_and_tag( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000172 int mode,
173 size_t length,
174 const unsigned char *iv,
175 size_t iv_len,
176 const unsigned char *add,
177 size_t add_len,
178 const unsigned char *input,
179 unsigned char *output,
180 size_t tag_len,
181 unsigned char *tag );
182
183/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000184 * \brief This function performs a GCM authenticated decryption of a
185 * buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000186 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100187 * \note For decryption, the output buffer cannot be the same as
188 * input buffer. If the buffers overlap, the output buffer
189 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000190 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500191 * \param ctx The GCM context. This must be initialized.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200192 * \param length The length of the ciphertext to decrypt, which is also
193 * the length of the decrypted plaintext.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500194 * \param iv The initialization vector. This must be a readable buffer
195 * of at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000196 * \param iv_len The length of the IV.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500197 * \param add The buffer holding the additional data. This must be of at
198 * least that size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000199 * \param add_len The length of the additional data.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500200 * \param tag The buffer holding the tag to verify. This must be a
201 * readable buffer of at least \p tag_len Bytes.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200202 * \param tag_len The length of the tag to verify.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500203 * \param input The buffer holding the ciphertext. If \p length is greater
204 * than zero, this must be a readable buffer of at least that
205 * size.
206 * \param output The buffer for holding the decrypted plaintext. If \p length
207 * is greater than zero, this must be a writable buffer of at
208 * least that size.
Paul Bakker89e80c92012-03-20 13:50:09 +0000209 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200210 * \return \c 0 if successful and authenticated.
211 * \return #MBEDTLS_ERR_GCM_AUTH_FAILED if the tag does not match.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500212 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths or pointers are
213 * not valid or a cipher-specific error code if the decryption
214 * failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000215 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216int mbedtls_gcm_auth_decrypt( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000217 size_t length,
218 const unsigned char *iv,
219 size_t iv_len,
220 const unsigned char *add,
221 size_t add_len,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200222 const unsigned char *tag,
Paul Bakker89e80c92012-03-20 13:50:09 +0000223 size_t tag_len,
224 const unsigned char *input,
225 unsigned char *output );
226
227/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000228 * \brief This function starts a GCM encryption or decryption
229 * operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200230 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500231 * \param ctx The GCM context. This must be initialized.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000232 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
233 * #MBEDTLS_GCM_DECRYPT.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500234 * \param iv The initialization vector. This must be a readable buffer of
235 * at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000236 * \param iv_len The length of the IV.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500237 * \param add The buffer holding the additional data, or \c NULL
238 * if \p add_len is \c 0.
239 * \param add_len The length of the additional data. If \c 0,
240 * \p add may be \c NULL.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200241 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100242 * \return \c 0 on success.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200243 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200244int mbedtls_gcm_starts( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200245 int mode,
246 const unsigned char *iv,
247 size_t iv_len,
248 const unsigned char *add,
249 size_t add_len );
250
251/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000252 * \brief This function feeds an input buffer into an ongoing GCM
253 * encryption or decryption operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200254 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000255 * ` The function expects input to be a multiple of 16
256 * Bytes. Only the last call before calling
257 * mbedtls_gcm_finish() can be less than 16 Bytes.
258 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100259 * \note For decryption, the output buffer cannot be the same as
260 * input buffer. If the buffers overlap, the output buffer
261 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200262 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500263 * \param ctx The GCM context. This must be initialized.
Rose Zadikd8c4f612018-03-27 11:43:04 +0100264 * \param length The length of the input data. This must be a multiple of
265 * 16 except in the last call before mbedtls_gcm_finish().
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500266 * \param input The buffer holding the input data. If \p length is greater
267 * than zero, this must be a readable buffer of at least that
268 * size in Bytes.
269 * \param output The buffer for holding the output data. If \p length is
270 * greater than zero, this must be a writable buffer of at
271 * least that size in Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200272 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100273 * \return \c 0 on success.
274 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200275 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200276int mbedtls_gcm_update( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200277 size_t length,
278 const unsigned char *input,
279 unsigned char *output );
280
281/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000282 * \brief This function finishes the GCM operation and generates
283 * the authentication tag.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200284 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000285 * It wraps up the GCM stream, and generates the
286 * tag. The tag can have a maximum length of 16 Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200287 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500288 * \param ctx The GCM context. This must be initialized.
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300289 * \param tag The buffer for holding the tag. This must be a writable
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500290 * buffer of at least \p tag_len Bytes.
291 * \param tag_len The length of the tag to generate. This must be at least
292 * four.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000293 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100294 * \return \c 0 on success.
295 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200296 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200297int mbedtls_gcm_finish( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200298 unsigned char *tag,
299 size_t tag_len );
300
301/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000302 * \brief This function clears a GCM context and the underlying
303 * cipher sub-context.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200304 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500305 * \param ctx The GCM context to clear. If this is \c NULL, the call has
306 * no effect. Otherwise, this must be initialized.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200307 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200308void mbedtls_gcm_free( mbedtls_gcm_context *ctx );
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200309
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500310#if defined(MBEDTLS_SELF_TEST)
311
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200312/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000313 * \brief The GCM checkup routine.
Paul Bakker89e80c92012-03-20 13:50:09 +0000314 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100315 * \return \c 0 on success.
316 * \return \c 1 on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000317 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200318int mbedtls_gcm_self_test( int verbose );
Paul Bakker89e80c92012-03-20 13:50:09 +0000319
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500320#endif /* MBEDTLS_SELF_TEST */
321
Paul Bakker89e80c92012-03-20 13:50:09 +0000322#ifdef __cplusplus
323}
324#endif
325
Jaeden Amero15263302017-09-21 12:53:48 +0100326
Paul Bakker89e80c92012-03-20 13:50:09 +0000327#endif /* gcm.h */