| 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 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 50 | typedef struct mbedtls_chacha20_context { | 
| Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 51 | uint32_t MBEDTLS_PRIVATE(state)[16];          /*! The state (before round operations). */ | 
|  | 52 | uint8_t  MBEDTLS_PRIVATE(keystream8)[64];     /*! Leftover keystream bytes. */ | 
|  | 53 | 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] | 54 | } | 
|  | 55 | mbedtls_chacha20_context; | 
|  | 56 |  | 
| Manuel Pégourié-Gonnard | 95d0bdb | 2018-05-07 09:58:35 +0200 | [diff] [blame] | 57 | #else  /* MBEDTLS_CHACHA20_ALT */ | 
|  | 58 | #include "chacha20_alt.h" | 
|  | 59 | #endif /* MBEDTLS_CHACHA20_ALT */ | 
|  | 60 |  | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 61 | /** | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 62 | * \brief           This function initializes the specified ChaCha20 context. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 63 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 64 | *                  It must be the first API called before using | 
|  | 65 | *                  the context. | 
|  | 66 | * | 
|  | 67 | *                  It is usually followed by calls to | 
|  | 68 | *                  \c mbedtls_chacha20_setkey() and | 
|  | 69 | *                  \c mbedtls_chacha20_starts(), then one or more calls to | 
|  | 70 | *                  to \c mbedtls_chacha20_update(), and finally to | 
|  | 71 | *                  \c mbedtls_chacha20_free(). | 
|  | 72 | * | 
|  | 73 | * \param ctx       The ChaCha20 context to initialize. | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 74 | *                  This must not be \c NULL. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 75 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 76 | void mbedtls_chacha20_init(mbedtls_chacha20_context *ctx); | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 77 |  | 
|  | 78 | /** | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 79 | * \brief           This function releases and clears the specified | 
|  | 80 | *                  ChaCha20 context. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 81 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 82 | * \param ctx       The ChaCha20 context to clear. This may be \c NULL, | 
|  | 83 | *                  in which case this function is a no-op. If it is not | 
|  | 84 | *                  \c NULL, it must point to an initialized context. | 
|  | 85 | * | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 86 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 87 | void mbedtls_chacha20_free(mbedtls_chacha20_context *ctx); | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 88 |  | 
|  | 89 | /** | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 90 | * \brief           This function sets the encryption/decryption key. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 91 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 92 | * \note            After using this function, you must also call | 
|  | 93 | *                  \c mbedtls_chacha20_starts() to set a nonce before you | 
|  | 94 | *                  start encrypting/decrypting data with | 
|  | 95 | *                  \c mbedtls_chacha_update(). | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 96 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 97 | * \param ctx       The ChaCha20 context to which the key should be bound. | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 98 | *                  It must be initialized. | 
|  | 99 | * \param key       The encryption/decryption key. This must be \c 32 Bytes | 
|  | 100 | *                  in length. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 101 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 102 | * \return          \c 0 on success. | 
|  | 103 | * \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] | 104 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 105 | int mbedtls_chacha20_setkey(mbedtls_chacha20_context *ctx, | 
|  | 106 | const unsigned char key[32]); | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 107 |  | 
|  | 108 | /** | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 109 | * \brief           This function sets the nonce and initial counter value. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 110 | * | 
|  | 111 | * \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] | 112 | *                  calling this function to change the nonce. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 113 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 114 | * \warning         You must never use the same nonce twice with the same key. | 
|  | 115 | *                  This would void any confidentiality guarantees for the | 
|  | 116 | *                  messages encrypted with the same nonce and key. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 117 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 118 | * \param ctx       The ChaCha20 context to which the nonce should be bound. | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 119 | *                  It must be initialized and bound to a key. | 
|  | 120 | * \param nonce     The nonce. This must be \c 12 Bytes in size. | 
|  | 121 | * \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] | 122 | * | 
|  | 123 | * \return          \c 0 on success. | 
|  | 124 | * \return          #MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA if ctx or nonce is | 
|  | 125 | *                  NULL. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 126 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 127 | int mbedtls_chacha20_starts(mbedtls_chacha20_context *ctx, | 
|  | 128 | const unsigned char nonce[12], | 
|  | 129 | uint32_t counter); | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 130 |  | 
|  | 131 | /** | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 132 | * \brief           This function encrypts or decrypts data. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 133 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 134 | *                  Since ChaCha20 is a stream cipher, the same operation is | 
|  | 135 | *                  used for encrypting and decrypting data. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 136 | * | 
| Manuel Pégourié-Gonnard | 502f189 | 2018-05-07 11:57:05 +0200 | [diff] [blame] | 137 | * \note            The \p input and \p output pointers must either be equal or | 
|  | 138 | *                  point to non-overlapping buffers. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 139 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 140 | * \note            \c mbedtls_chacha20_setkey() and | 
|  | 141 | *                  \c mbedtls_chacha20_starts() must be called at least once | 
|  | 142 | *                  to setup the context before this function can be called. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 143 | * | 
| Manuel Pégourié-Gonnard | c7bc9e1 | 2018-06-18 10:30:30 +0200 | [diff] [blame] | 144 | * \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] | 145 | *                  order to encrypt of decrypt data piecewise with the same | 
|  | 146 | *                  key and nonce. | 
|  | 147 | * | 
|  | 148 | * \param ctx       The ChaCha20 context to use for encryption or decryption. | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 149 | *                  It must be initialized and bound to a key and nonce. | 
|  | 150 | * \param size      The length of the input data in Bytes. | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 151 | * \param input     The buffer holding the input data. | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 152 | *                  This pointer can be \c NULL if `size == 0`. | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 153 | * \param output    The buffer holding the output data. | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 154 | *                  This must be able to hold \p size Bytes. | 
|  | 155 | *                  This pointer can be \c NULL if `size == 0`. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 156 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 157 | * \return          \c 0 on success. | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 158 | * \return          A negative error code on failure. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 159 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 160 | int mbedtls_chacha20_update(mbedtls_chacha20_context *ctx, | 
|  | 161 | size_t size, | 
|  | 162 | const unsigned char *input, | 
|  | 163 | unsigned char *output); | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 164 |  | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 165 | /** | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 166 | * \brief           This function encrypts or decrypts data with ChaCha20 and | 
|  | 167 | *                  the given key and nonce. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 168 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 169 | *                  Since ChaCha20 is a stream cipher, the same operation is | 
|  | 170 | *                  used for encrypting and decrypting data. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 171 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 172 | * \warning         You must never use the same (key, nonce) pair more than | 
|  | 173 | *                  once. This would void any confidentiality guarantees for | 
|  | 174 | *                  the messages encrypted with the same nonce and key. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 175 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 176 | * \note            The \p input and \p output pointers must either be equal or | 
|  | 177 | *                  point to non-overlapping buffers. | 
|  | 178 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 179 | * \param key       The encryption/decryption key. | 
|  | 180 | *                  This must be \c 32 Bytes in length. | 
|  | 181 | * \param nonce     The nonce. This must be \c 12 Bytes in size. | 
|  | 182 | * \param counter   The initial counter value. This is usually \c 0. | 
|  | 183 | * \param size      The length of the input data in Bytes. | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 184 | * \param input     The buffer holding the input data. | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 185 | *                  This pointer can be \c NULL if `size == 0`. | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 186 | * \param output    The buffer holding the output data. | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 187 | *                  This must be able to hold \p size Bytes. | 
|  | 188 | *                  This pointer can be \c NULL if `size == 0`. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 189 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 190 | * \return          \c 0 on success. | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 191 | * \return          A negative error code on failure. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 192 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 193 | int mbedtls_chacha20_crypt(const unsigned char key[32], | 
|  | 194 | const unsigned char nonce[12], | 
|  | 195 | uint32_t counter, | 
|  | 196 | size_t size, | 
|  | 197 | const unsigned char *input, | 
|  | 198 | unsigned char *output); | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 199 |  | 
| Manuel Pégourié-Gonnard | c22e61a | 2018-05-24 13:51:05 +0200 | [diff] [blame] | 200 | #if defined(MBEDTLS_SELF_TEST) | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 201 | /** | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 202 | * \brief           The ChaCha20 checkup routine. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 203 | * | 
| Manuel Pégourié-Gonnard | b500f8b | 2018-05-08 12:43:48 +0200 | [diff] [blame] | 204 | * \return          \c 0 on success. | 
|  | 205 | * \return          \c 1 on failure. | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 206 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 207 | int mbedtls_chacha20_self_test(int verbose); | 
| Manuel Pégourié-Gonnard | c22e61a | 2018-05-24 13:51:05 +0200 | [diff] [blame] | 208 | #endif /* MBEDTLS_SELF_TEST */ | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 209 |  | 
| Manuel Pégourié-Gonnard | 823b7a0 | 2018-05-07 10:10:30 +0200 | [diff] [blame] | 210 | #ifdef __cplusplus | 
|  | 211 | } | 
|  | 212 | #endif | 
|  | 213 |  | 
| Daniel King | 34b822c | 2016-05-15 17:28:08 -0300 | [diff] [blame] | 214 | #endif /* MBEDTLS_CHACHA20_H */ |