Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 1 | /** |
| 2 | * \file chacha20.h |
| 3 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 4 | * \brief This file contains ChaCha20 definitions and functions. |
| 5 | * |
| 6 | * ChaCha20 is a stream cipher that can encrypt and decrypt |
| 7 | * information. ChaCha was created by Daniel Bernstein as a variant of |
| 8 | * its Salsa cipher https://cr.yp.to/chacha/chacha-20080128.pdf |
| 9 | * ChaCha20 is the variant with 20 rounds, that was also standardized |
| 10 | * in RFC 7539. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 11 | * |
| 12 | * \author Daniel King <damaki.gh@gmail.com> |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 13 | */ |
| 14 | |
Bence Szépkúti | 8697465 | 2020-06-15 11:59:37 +0200 | [diff] [blame] | 15 | /* |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 16 | * Copyright The Mbed TLS Contributors |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 17 | * SPDX-License-Identifier: Apache-2.0 |
| 18 | * |
| 19 | * Licensed under the Apache License, Version 2.0 (the "License"); you may |
| 20 | * not use this file except in compliance with the License. |
| 21 | * You may obtain a copy of the License at |
| 22 | * |
| 23 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 24 | * |
| 25 | * Unless required by applicable law or agreed to in writing, software |
| 26 | * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| 27 | * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 28 | * See the License for the specific language governing permissions and |
| 29 | * limitations under the License. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 30 | */ |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 31 | |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 32 | #ifndef MBEDTLS_CHACHA20_H |
| 33 | #define MBEDTLS_CHACHA20_H |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 34 | #include "mbedtls/private_access.h" |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 35 | |
Bence Szépkúti | c662b36 | 2021-05-27 11:25:03 +0200 | [diff] [blame] | 36 | #include "mbedtls/build_info.h" |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 37 | |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 38 | #include <stdint.h> |
| 39 | #include <stddef.h> |
| 40 | |
Gilles Peskine | d297157 | 2021-07-26 18:48:10 +0200 | [diff] [blame] | 41 | /** Invalid input parameter(s). */ |
| 42 | #define MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA -0x0051 |
Ron Eldor | 9924bdc | 2018-10-04 10:59:13 +0300 | [diff] [blame] | 43 | |
Manuel Pégourié-Gonnard | 823b7a0 | 2018-05-07 10:10:30 +0200 | [diff] [blame] | 44 | #ifdef __cplusplus |
| 45 | extern "C" { |
| 46 | #endif |
| 47 | |
Manuel Pégourié-Gonnard | 95d0bdb | 2018-05-07 09:58:35 +0200 | [diff] [blame] | 48 | #if !defined(MBEDTLS_CHACHA20_ALT) |
| 49 | |
Dawid Drozd | 428cc52 | 2018-07-24 10:02:47 +0200 | [diff] [blame] | 50 | typedef struct mbedtls_chacha20_context |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 51 | { |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 52 | uint32_t MBEDTLS_PRIVATE(state)[16]; /*! The state (before round operations). */ |
| 53 | uint8_t MBEDTLS_PRIVATE(keystream8)[64]; /*! Leftover keystream bytes. */ |
| 54 | size_t MBEDTLS_PRIVATE(keystream_bytes_used); /*! Number of keystream bytes already used. */ |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 55 | } |
| 56 | mbedtls_chacha20_context; |
| 57 | |
Manuel Pégourié-Gonnard | 95d0bdb | 2018-05-07 09:58:35 +0200 | [diff] [blame] | 58 | #else /* MBEDTLS_CHACHA20_ALT */ |
| 59 | #include "chacha20_alt.h" |
| 60 | #endif /* MBEDTLS_CHACHA20_ALT */ |
| 61 | |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 62 | /** |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 63 | * \brief This function initializes the specified ChaCha20 context. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 64 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 65 | * It must be the first API called before using |
| 66 | * the context. |
| 67 | * |
| 68 | * It is usually followed by calls to |
| 69 | * \c mbedtls_chacha20_setkey() and |
| 70 | * \c mbedtls_chacha20_starts(), then one or more calls to |
| 71 | * to \c mbedtls_chacha20_update(), and finally to |
| 72 | * \c mbedtls_chacha20_free(). |
| 73 | * |
| 74 | * \param ctx The ChaCha20 context to initialize. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 75 | * This must not be \c NULL. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 76 | */ |
| 77 | void mbedtls_chacha20_init( mbedtls_chacha20_context *ctx ); |
| 78 | |
| 79 | /** |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 80 | * \brief This function releases and clears the specified |
| 81 | * ChaCha20 context. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 82 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 83 | * \param ctx The ChaCha20 context to clear. This may be \c NULL, |
| 84 | * in which case this function is a no-op. If it is not |
| 85 | * \c NULL, it must point to an initialized context. |
| 86 | * |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 87 | */ |
| 88 | void mbedtls_chacha20_free( mbedtls_chacha20_context *ctx ); |
| 89 | |
| 90 | /** |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 91 | * \brief This function sets the encryption/decryption key. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 92 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 93 | * \note After using this function, you must also call |
| 94 | * \c mbedtls_chacha20_starts() to set a nonce before you |
| 95 | * start encrypting/decrypting data with |
| 96 | * \c mbedtls_chacha_update(). |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 97 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 98 | * \param ctx The ChaCha20 context to which the key should be bound. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 99 | * It must be initialized. |
| 100 | * \param key The encryption/decryption key. This must be \c 32 Bytes |
| 101 | * in length. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 102 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 103 | * \return \c 0 on success. |
| 104 | * \return #MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA if ctx or key is NULL. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 105 | */ |
| 106 | int mbedtls_chacha20_setkey( mbedtls_chacha20_context *ctx, |
| 107 | const unsigned char key[32] ); |
| 108 | |
| 109 | /** |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 110 | * \brief This function sets the nonce and initial counter value. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 111 | * |
| 112 | * \note A ChaCha20 context can be re-used with the same key by |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 113 | * calling this function to change the nonce. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 114 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 115 | * \warning You must never use the same nonce twice with the same key. |
| 116 | * This would void any confidentiality guarantees for the |
| 117 | * messages encrypted with the same nonce and key. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 118 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 119 | * \param ctx The ChaCha20 context to which the nonce should be bound. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 120 | * It must be initialized and bound to a key. |
| 121 | * \param nonce The nonce. This must be \c 12 Bytes in size. |
| 122 | * \param counter The initial counter value. This is usually \c 0. |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 123 | * |
| 124 | * \return \c 0 on success. |
| 125 | * \return #MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA if ctx or nonce is |
| 126 | * NULL. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 127 | */ |
| 128 | int mbedtls_chacha20_starts( mbedtls_chacha20_context* ctx, |
| 129 | const unsigned char nonce[12], |
| 130 | uint32_t counter ); |
| 131 | |
| 132 | /** |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 133 | * \brief This function encrypts or decrypts data. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 134 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 135 | * Since ChaCha20 is a stream cipher, the same operation is |
| 136 | * used for encrypting and decrypting data. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 137 | * |
Manuel Pégourié-Gonnard | 502f189 | 2018-05-07 11:57:05 +0200 | [diff] [blame] | 138 | * \note The \p input and \p output pointers must either be equal or |
| 139 | * point to non-overlapping buffers. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 140 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 141 | * \note \c mbedtls_chacha20_setkey() and |
| 142 | * \c mbedtls_chacha20_starts() must be called at least once |
| 143 | * to setup the context before this function can be called. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 144 | * |
Manuel Pégourié-Gonnard | c7bc9e1 | 2018-06-18 10:30:30 +0200 | [diff] [blame] | 145 | * \note This function can be called multiple times in a row in |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 146 | * order to encrypt of decrypt data piecewise with the same |
| 147 | * key and nonce. |
| 148 | * |
| 149 | * \param ctx The ChaCha20 context to use for encryption or decryption. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 150 | * It must be initialized and bound to a key and nonce. |
| 151 | * \param size The length of the input data in Bytes. |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 152 | * \param input The buffer holding the input data. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 153 | * This pointer can be \c NULL if `size == 0`. |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 154 | * \param output The buffer holding the output data. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 155 | * This must be able to hold \p size Bytes. |
| 156 | * This pointer can be \c NULL if `size == 0`. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 157 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 158 | * \return \c 0 on success. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 159 | * \return A negative error code on failure. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 160 | */ |
Daniel King | bd92062 | 2016-05-15 19:56:20 -0300 | [diff] [blame] | 161 | int mbedtls_chacha20_update( mbedtls_chacha20_context *ctx, |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 162 | size_t size, |
| 163 | const unsigned char *input, |
| 164 | unsigned char *output ); |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 165 | |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 166 | /** |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 167 | * \brief This function encrypts or decrypts data with ChaCha20 and |
| 168 | * the given key and nonce. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 169 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 170 | * Since ChaCha20 is a stream cipher, the same operation is |
| 171 | * used for encrypting and decrypting data. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 172 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 173 | * \warning You must never use the same (key, nonce) pair more than |
| 174 | * once. This would void any confidentiality guarantees for |
| 175 | * the messages encrypted with the same nonce and key. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 176 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 177 | * \note The \p input and \p output pointers must either be equal or |
| 178 | * point to non-overlapping buffers. |
| 179 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 180 | * \param key The encryption/decryption key. |
| 181 | * This must be \c 32 Bytes in length. |
| 182 | * \param nonce The nonce. This must be \c 12 Bytes in size. |
| 183 | * \param counter The initial counter value. This is usually \c 0. |
| 184 | * \param size The length of the input data in Bytes. |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 185 | * \param input The buffer holding the input data. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 186 | * This pointer can be \c NULL if `size == 0`. |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 187 | * \param output The buffer holding the output data. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 188 | * This must be able to hold \p size Bytes. |
| 189 | * This pointer can be \c NULL if `size == 0`. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 190 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 191 | * \return \c 0 on success. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 192 | * \return A negative error code on failure. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 193 | */ |
| 194 | int mbedtls_chacha20_crypt( const unsigned char key[32], |
| 195 | const unsigned char nonce[12], |
| 196 | uint32_t counter, |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 197 | size_t size, |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 198 | const unsigned char* input, |
| 199 | unsigned char* output ); |
| 200 | |
Manuel Pégourié-Gonnard | c22e61a | 2018-05-24 13:51:05 +0200 | [diff] [blame] | 201 | #if defined(MBEDTLS_SELF_TEST) |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 202 | /** |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 203 | * \brief The ChaCha20 checkup routine. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 204 | * |
Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 205 | * \return \c 0 on success. |
| 206 | * \return \c 1 on failure. |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 207 | */ |
| 208 | int mbedtls_chacha20_self_test( int verbose ); |
Manuel Pégourié-Gonnard | c22e61a | 2018-05-24 13:51:05 +0200 | [diff] [blame] | 209 | #endif /* MBEDTLS_SELF_TEST */ |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 210 | |
Manuel Pégourié-Gonnard | 823b7a0 | 2018-05-07 10:10:30 +0200 | [diff] [blame] | 211 | #ifdef __cplusplus |
| 212 | } |
| 213 | #endif |
| 214 | |
Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 215 | #endif /* MBEDTLS_CHACHA20_H */ |