blob: 031e11329f907b10597bf69d72b1f6026a319b55 [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útia2947ac2020-08-19 16:37:36 +020015 * Copyright The Mbed TLS Contributors
Bence Szépkútif744bd72020-06-05 13:02:18 +020016 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
17 *
18 * This file is provided under the Apache License 2.0, or the
19 * GNU General Public License v2.0 or later.
20 *
21 * **********
22 * Apache License 2.0:
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020023 *
24 * Licensed under the Apache License, Version 2.0 (the "License"); you may
25 * not use this file except in compliance with the License.
26 * You may obtain a copy of the License at
27 *
28 * http://www.apache.org/licenses/LICENSE-2.0
29 *
30 * Unless required by applicable law or agreed to in writing, software
31 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
32 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
33 * See the License for the specific language governing permissions and
34 * limitations under the License.
Paul Bakker89e80c92012-03-20 13:50:09 +000035 *
Bence Szépkútif744bd72020-06-05 13:02:18 +020036 * **********
37 *
38 * **********
39 * GNU General Public License v2.0 or later:
40 *
41 * This program is free software; you can redistribute it and/or modify
42 * it under the terms of the GNU General Public License as published by
43 * the Free Software Foundation; either version 2 of the License, or
44 * (at your option) any later version.
45 *
46 * This program is distributed in the hope that it will be useful,
47 * but WITHOUT ANY WARRANTY; without even the implied warranty of
48 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
49 * GNU General Public License for more details.
50 *
51 * You should have received a copy of the GNU General Public License along
52 * with this program; if not, write to the Free Software Foundation, Inc.,
53 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
54 *
55 * **********
Paul Bakker89e80c92012-03-20 13:50:09 +000056 */
Rose Zadik17b4f7f2018-01-26 10:56:42 +000057
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020058#ifndef MBEDTLS_GCM_H
59#define MBEDTLS_GCM_H
Paul Bakker89e80c92012-03-20 13:50:09 +000060
Ron Eldor8b0cf2e2018-02-14 16:02:41 +020061#if !defined(MBEDTLS_CONFIG_FILE)
62#include "config.h"
63#else
64#include MBEDTLS_CONFIG_FILE
65#endif
66
Paul Bakker43aff2a2013-09-09 00:10:27 +020067#include "cipher.h"
Paul Bakker89e80c92012-03-20 13:50:09 +000068
69#include <stdint.h>
70
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020071#define MBEDTLS_GCM_ENCRYPT 1
72#define MBEDTLS_GCM_DECRYPT 0
Paul Bakker89e80c92012-03-20 13:50:09 +000073
Gilles Peskine1990fab2021-07-26 18:48:10 +020074/** Authenticated decryption failed. */
75#define MBEDTLS_ERR_GCM_AUTH_FAILED -0x0012
Ron Eldor9924bdc2018-10-04 10:59:13 +030076
77/* MBEDTLS_ERR_GCM_HW_ACCEL_FAILED is deprecated and should not be used. */
Gilles Peskine1990fab2021-07-26 18:48:10 +020078/** GCM hardware accelerator failed. */
79#define MBEDTLS_ERR_GCM_HW_ACCEL_FAILED -0x0013
Ron Eldor9924bdc2018-10-04 10:59:13 +030080
Gilles Peskine1990fab2021-07-26 18:48:10 +020081/** Bad input parameters to function. */
82#define MBEDTLS_ERR_GCM_BAD_INPUT -0x0014
Paul Bakker89e80c92012-03-20 13:50:09 +000083
Paul Bakker407a0da2013-06-27 14:29:21 +020084#ifdef __cplusplus
85extern "C" {
86#endif
87
Ron Eldor4e6d55d2018-02-07 16:36:15 +020088#if !defined(MBEDTLS_GCM_ALT)
89
Paul Bakker89e80c92012-03-20 13:50:09 +000090/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000091 * \brief The GCM context structure.
Paul Bakker89e80c92012-03-20 13:50:09 +000092 */
Dawid Drozd428cc522018-07-24 10:02:47 +020093typedef struct mbedtls_gcm_context
94{
Rose Zadik17b4f7f2018-01-26 10:56:42 +000095 mbedtls_cipher_context_t cipher_ctx; /*!< The cipher context used. */
96 uint64_t HL[16]; /*!< Precalculated HTable low. */
97 uint64_t HH[16]; /*!< Precalculated HTable high. */
98 uint64_t len; /*!< The total length of the encrypted data. */
99 uint64_t add_len; /*!< The total length of the additional data. */
100 unsigned char base_ectr[16]; /*!< The first ECTR for tag. */
101 unsigned char y[16]; /*!< The Y working value. */
102 unsigned char buf[16]; /*!< The buf working value. */
103 int mode; /*!< The operation to perform:
104 #MBEDTLS_GCM_ENCRYPT or
105 #MBEDTLS_GCM_DECRYPT. */
Paul Bakker89e80c92012-03-20 13:50:09 +0000106}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200107mbedtls_gcm_context;
Paul Bakker89e80c92012-03-20 13:50:09 +0000108
Ron Eldor4e6d55d2018-02-07 16:36:15 +0200109#else /* !MBEDTLS_GCM_ALT */
110#include "gcm_alt.h"
111#endif /* !MBEDTLS_GCM_ALT */
112
Paul Bakker89e80c92012-03-20 13:50:09 +0000113/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000114 * \brief This function initializes the specified GCM context,
115 * to make references valid, and prepares the context
116 * for mbedtls_gcm_setkey() or mbedtls_gcm_free().
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200117 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000118 * The function does not bind the GCM context to a particular
119 * cipher, nor set the key. For this purpose, use
120 * mbedtls_gcm_setkey().
121 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100122 * \param ctx The GCM context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200123 */
124void mbedtls_gcm_init( mbedtls_gcm_context *ctx );
125
126/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000127 * \brief This function associates a GCM context with a
128 * cipher algorithm and a key.
Paul Bakker89e80c92012-03-20 13:50:09 +0000129 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100130 * \param ctx The GCM context. This must be initialized.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000131 * \param cipher The 128-bit block cipher to use.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100132 * \param key The encryption key. This must be a readable buffer of at
133 * least \p keybits bits.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000134 * \param keybits The key size in bits. Valid options are:
135 * <ul><li>128 bits</li>
136 * <li>192 bits</li>
137 * <li>256 bits</li></ul>
Paul Bakker89e80c92012-03-20 13:50:09 +0000138 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100139 * \return \c 0 on success.
140 * \return A cipher-specific error code on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000141 */
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200142int mbedtls_gcm_setkey( mbedtls_gcm_context *ctx,
143 mbedtls_cipher_id_t cipher,
144 const unsigned char *key,
Manuel Pégourié-Gonnardb8186a52015-06-18 14:58:58 +0200145 unsigned int keybits );
Paul Bakker89e80c92012-03-20 13:50:09 +0000146
147/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000148 * \brief This function performs GCM encryption or decryption of a buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000149 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100150 * \note For encryption, the output buffer can be the same as the
151 * input buffer. For decryption, the output buffer cannot be
152 * the same as input buffer. If the buffers overlap, the output
153 * buffer must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000154 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200155 * \warning When this function performs a decryption, it outputs the
156 * authentication tag and does not verify that the data is
157 * authentic. You should use this function to perform encryption
158 * only. For decryption, use mbedtls_gcm_auth_decrypt() instead.
159 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100160 * \param ctx The GCM context to use for encryption or decryption. This
161 * must be initialized.
Gilles Peskine0a0e08a2018-06-07 14:46:02 +0200162 * \param mode The operation to perform:
163 * - #MBEDTLS_GCM_ENCRYPT to perform authenticated encryption.
164 * The ciphertext is written to \p output and the
165 * authentication tag is written to \p tag.
166 * - #MBEDTLS_GCM_DECRYPT to perform decryption.
167 * The plaintext is written to \p output and the
168 * authentication tag is written to \p tag.
169 * Note that this mode is not recommended, because it does
170 * not verify the authenticity of the data. For this reason,
171 * you should use mbedtls_gcm_auth_decrypt() instead of
172 * calling this function in decryption mode.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200173 * \param length The length of the input data, which is equal to the length
174 * of the output data.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100175 * \param iv The initialization vector. This must be a readable buffer of
176 * at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000177 * \param iv_len The length of the IV.
k-stachowiak6009ece2018-12-19 13:24:29 +0100178 * \param add The buffer holding the additional data. This must be of at
179 * least that size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000180 * \param add_len The length of the additional data.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100181 * \param input The buffer holding the input data. If \p length is greater
182 * than zero, this must be a readable buffer of at least that
183 * size in Bytes.
184 * \param output The buffer for holding the output data. If \p length is greater
185 * than zero, this must be a writable buffer of at least that
186 * size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000187 * \param tag_len The length of the tag to generate.
Yonatan Goldschmidtf9604bb2020-09-12 00:19:52 +0300188 * \param tag The buffer for holding the tag. This must be a writable
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100189 * buffer of at least \p tag_len Bytes.
Paul Bakker89e80c92012-03-20 13:50:09 +0000190 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200191 * \return \c 0 if the encryption or decryption was performed
192 * successfully. Note that in #MBEDTLS_GCM_DECRYPT mode,
193 * this does not indicate that the data is authentic.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100194 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths or pointers are
195 * not valid or a cipher-specific error code if the encryption
Ron Eldor9924bdc2018-10-04 10:59:13 +0300196 * or decryption failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000197 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200198int mbedtls_gcm_crypt_and_tag( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000199 int mode,
200 size_t length,
201 const unsigned char *iv,
202 size_t iv_len,
203 const unsigned char *add,
204 size_t add_len,
205 const unsigned char *input,
206 unsigned char *output,
207 size_t tag_len,
208 unsigned char *tag );
209
210/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000211 * \brief This function performs a GCM authenticated decryption of a
212 * buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000213 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100214 * \note For decryption, the output buffer cannot be the same as
215 * input buffer. If the buffers overlap, the output buffer
216 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000217 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100218 * \param ctx The GCM context. This must be initialized.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200219 * \param length The length of the ciphertext to decrypt, which is also
220 * the length of the decrypted plaintext.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100221 * \param iv The initialization vector. This must be a readable buffer
222 * of at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000223 * \param iv_len The length of the IV.
k-stachowiak6009ece2018-12-19 13:24:29 +0100224 * \param add The buffer holding the additional data. This must be of at
225 * least that size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000226 * \param add_len The length of the additional data.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100227 * \param tag The buffer holding the tag to verify. This must be a
228 * readable buffer of at least \p tag_len Bytes.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200229 * \param tag_len The length of the tag to verify.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100230 * \param input The buffer holding the ciphertext. If \p length is greater
231 * than zero, this must be a readable buffer of at least that
232 * size.
233 * \param output The buffer for holding the decrypted plaintext. If \p length
234 * is greater than zero, this must be a writable buffer of at
235 * least that size.
Paul Bakker89e80c92012-03-20 13:50:09 +0000236 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200237 * \return \c 0 if successful and authenticated.
238 * \return #MBEDTLS_ERR_GCM_AUTH_FAILED if the tag does not match.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100239 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths or pointers are
240 * not valid or a cipher-specific error code if the decryption
241 * failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000242 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200243int mbedtls_gcm_auth_decrypt( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000244 size_t length,
245 const unsigned char *iv,
246 size_t iv_len,
247 const unsigned char *add,
248 size_t add_len,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200249 const unsigned char *tag,
Paul Bakker89e80c92012-03-20 13:50:09 +0000250 size_t tag_len,
251 const unsigned char *input,
252 unsigned char *output );
253
254/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000255 * \brief This function starts a GCM encryption or decryption
256 * operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200257 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100258 * \param ctx The GCM context. This must be initialized.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000259 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
260 * #MBEDTLS_GCM_DECRYPT.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100261 * \param iv The initialization vector. This must be a readable buffer of
262 * at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000263 * \param iv_len The length of the IV.
k-stachowiak2ae7ae52018-12-13 14:48:30 +0100264 * \param add The buffer holding the additional data, or \c NULL
265 * if \p add_len is \c 0.
266 * \param add_len The length of the additional data. If \c 0,
267 * \p add may be \c NULL.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200268 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100269 * \return \c 0 on success.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200270 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200271int mbedtls_gcm_starts( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200272 int mode,
273 const unsigned char *iv,
274 size_t iv_len,
275 const unsigned char *add,
276 size_t add_len );
277
278/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000279 * \brief This function feeds an input buffer into an ongoing GCM
280 * encryption or decryption operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200281 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000282 * ` The function expects input to be a multiple of 16
283 * Bytes. Only the last call before calling
284 * mbedtls_gcm_finish() can be less than 16 Bytes.
285 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100286 * \note For decryption, the output buffer cannot be the same as
287 * input buffer. If the buffers overlap, the output buffer
288 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200289 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100290 * \param ctx The GCM context. This must be initialized.
Rose Zadikd8c4f612018-03-27 11:43:04 +0100291 * \param length The length of the input data. This must be a multiple of
292 * 16 except in the last call before mbedtls_gcm_finish().
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100293 * \param input The buffer holding the input data. If \p length is greater
294 * than zero, this must be a readable buffer of at least that
295 * size in Bytes.
296 * \param output The buffer for holding the output data. If \p length is
297 * greater than zero, this must be a writable buffer of at
298 * least that size in Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200299 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100300 * \return \c 0 on success.
301 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200302 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200303int mbedtls_gcm_update( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200304 size_t length,
305 const unsigned char *input,
306 unsigned char *output );
307
308/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000309 * \brief This function finishes the GCM operation and generates
310 * the authentication tag.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200311 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000312 * It wraps up the GCM stream, and generates the
313 * tag. The tag can have a maximum length of 16 Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200314 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100315 * \param ctx The GCM context. This must be initialized.
Yonatan Goldschmidtf9604bb2020-09-12 00:19:52 +0300316 * \param tag The buffer for holding the tag. This must be a writable
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100317 * buffer of at least \p tag_len Bytes.
318 * \param tag_len The length of the tag to generate. This must be at least
319 * four.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000320 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100321 * \return \c 0 on success.
322 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200323 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200324int mbedtls_gcm_finish( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200325 unsigned char *tag,
326 size_t tag_len );
327
328/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000329 * \brief This function clears a GCM context and the underlying
330 * cipher sub-context.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200331 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100332 * \param ctx The GCM context to clear. If this is \c NULL, the call has
k-stachowiak21298a22018-12-13 17:11:58 +0100333 * no effect. Otherwise, this must be initialized.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200334 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200335void mbedtls_gcm_free( mbedtls_gcm_context *ctx );
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200336
Ron Eldorfa8f6352017-06-20 15:48:46 +0300337#if defined(MBEDTLS_SELF_TEST)
338
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200339/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000340 * \brief The GCM checkup routine.
Paul Bakker89e80c92012-03-20 13:50:09 +0000341 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100342 * \return \c 0 on success.
343 * \return \c 1 on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000344 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200345int mbedtls_gcm_self_test( int verbose );
Paul Bakker89e80c92012-03-20 13:50:09 +0000346
Ron Eldorfa8f6352017-06-20 15:48:46 +0300347#endif /* MBEDTLS_SELF_TEST */
348
Paul Bakker89e80c92012-03-20 13:50:09 +0000349#ifdef __cplusplus
350}
351#endif
352
Jaeden Amero15263302017-09-21 12:53:48 +0100353
Paul Bakker89e80c92012-03-20 13:50:09 +0000354#endif /* gcm.h */