Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1 | /** |
Simon Butcher | 5b331b9 | 2016-01-03 16:14:14 +0000 | [diff] [blame] | 2 | * \file sha512.h |
Rose Zadik | 1a6275a | 2018-03-27 13:03:42 +0100 | [diff] [blame] | 3 | * \brief This file contains SHA-384 and SHA-512 definitions and functions. |
Paul Bakker | e0ccd0a | 2009-01-04 16:27:10 +0000 | [diff] [blame] | 4 | * |
Rose Zadik | 1a6275a | 2018-03-27 13:03:42 +0100 | [diff] [blame] | 5 | * The Secure Hash Algorithms 384 and 512 (SHA-384 and SHA-512) cryptographic |
| 6 | * hash functions are defined in <em>FIPS 180-4: Secure Hash Standard (SHS)</em>. |
Darryl Green | a40a101 | 2018-01-05 15:33:17 +0000 | [diff] [blame] | 7 | */ |
| 8 | /* |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 9 | * Copyright The Mbed TLS Contributors |
Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame^] | 10 | * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 11 | */ |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 12 | #ifndef MBEDTLS_SHA512_H |
| 13 | #define MBEDTLS_SHA512_H |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 14 | #include "mbedtls/private_access.h" |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 15 | |
Bence Szépkúti | c662b36 | 2021-05-27 11:25:03 +0200 | [diff] [blame] | 16 | #include "mbedtls/build_info.h" |
Paul Bakker | 90995b5 | 2013-06-24 19:20:35 +0200 | [diff] [blame] | 17 | |
Rich Evans | 00ab470 | 2015-02-06 13:43:58 +0000 | [diff] [blame] | 18 | #include <stddef.h> |
Manuel Pégourié-Gonnard | ab22910 | 2015-04-15 11:53:16 +0200 | [diff] [blame] | 19 | #include <stdint.h> |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 20 | |
Gilles Peskine | d297157 | 2021-07-26 18:48:10 +0200 | [diff] [blame] | 21 | /** SHA-512 input data was malformed. */ |
| 22 | #define MBEDTLS_ERR_SHA512_BAD_INPUT_DATA -0x0075 |
Gilles Peskine | a381fe8 | 2018-01-23 18:16:11 +0100 | [diff] [blame] | 23 | |
Paul Bakker | 407a0da | 2013-06-27 14:29:21 +0200 | [diff] [blame] | 24 | #ifdef __cplusplus |
| 25 | extern "C" { |
| 26 | #endif |
| 27 | |
Ron Eldor | b2aacec | 2017-05-18 16:53:08 +0300 | [diff] [blame] | 28 | #if !defined(MBEDTLS_SHA512_ALT) |
| 29 | // Regular implementation |
| 30 | // |
| 31 | |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 32 | /** |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 33 | * \brief The SHA-512 context structure. |
| 34 | * |
| 35 | * The structure is used both for SHA-384 and for SHA-512 |
| 36 | * checksum calculations. The choice between these two is |
TRodziewicz | 26371e4 | 2021-06-08 16:45:41 +0200 | [diff] [blame] | 37 | * made in the call to mbedtls_sha512_starts(). |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 38 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 39 | typedef struct mbedtls_sha512_context { |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 40 | uint64_t MBEDTLS_PRIVATE(total)[2]; /*!< The number of Bytes processed. */ |
| 41 | uint64_t MBEDTLS_PRIVATE(state)[8]; /*!< The intermediate digest state. */ |
| 42 | unsigned char MBEDTLS_PRIVATE(buffer)[128]; /*!< The data block being processed. */ |
Mateusz Starzyk | 3352a53 | 2021-04-06 14:28:22 +0200 | [diff] [blame] | 43 | #if defined(MBEDTLS_SHA384_C) |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 44 | int MBEDTLS_PRIVATE(is384); /*!< Determines which function to use: |
| 45 | 0: Use SHA-512, or 1: Use SHA-384. */ |
Manuel Pégourié-Gonnard | 3df4e60 | 2019-07-17 15:16:14 +0200 | [diff] [blame] | 46 | #endif |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 47 | } |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 48 | mbedtls_sha512_context; |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 49 | |
Ron Eldor | b2aacec | 2017-05-18 16:53:08 +0300 | [diff] [blame] | 50 | #else /* MBEDTLS_SHA512_ALT */ |
| 51 | #include "sha512_alt.h" |
| 52 | #endif /* MBEDTLS_SHA512_ALT */ |
| 53 | |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 54 | /** |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 55 | * \brief This function initializes a SHA-512 context. |
Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 56 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 57 | * \param ctx The SHA-512 context to initialize. This must |
| 58 | * not be \c NULL. |
Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 59 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 60 | void mbedtls_sha512_init(mbedtls_sha512_context *ctx); |
Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 61 | |
| 62 | /** |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 63 | * \brief This function clears a SHA-512 context. |
Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 64 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 65 | * \param ctx The SHA-512 context to clear. This may be \c NULL, |
| 66 | * in which case this function does nothing. If it |
| 67 | * is not \c NULL, it must point to an initialized |
| 68 | * SHA-512 context. |
Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 69 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 70 | void mbedtls_sha512_free(mbedtls_sha512_context *ctx); |
Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 71 | |
| 72 | /** |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 73 | * \brief This function clones the state of a SHA-512 context. |
Manuel Pégourié-Gonnard | 16d412f | 2015-07-06 15:26:26 +0200 | [diff] [blame] | 74 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 75 | * \param dst The destination context. This must be initialized. |
| 76 | * \param src The context to clone. This must be initialized. |
Manuel Pégourié-Gonnard | 16d412f | 2015-07-06 15:26:26 +0200 | [diff] [blame] | 77 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 78 | void mbedtls_sha512_clone(mbedtls_sha512_context *dst, |
| 79 | const mbedtls_sha512_context *src); |
Manuel Pégourié-Gonnard | 16d412f | 2015-07-06 15:26:26 +0200 | [diff] [blame] | 80 | |
| 81 | /** |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 82 | * \brief This function starts a SHA-384 or SHA-512 checksum |
| 83 | * calculation. |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 84 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 85 | * \param ctx The SHA-512 context to use. This must be initialized. |
| 86 | * \param is384 Determines which function to use. This must be |
Manuel Pégourié-Gonnard | 663ee20 | 2020-01-07 10:11:22 +0100 | [diff] [blame] | 87 | * either \c 0 for SHA-512, or \c 1 for SHA-384. |
| 88 | * |
Valerio Setti | e269750 | 2022-12-23 14:29:54 +0100 | [diff] [blame] | 89 | * \note is384 must be defined accordingly to the enabled |
| 90 | * MBEDTLS_SHA384_C/MBEDTLS_SHA512_C symbols otherwise the |
| 91 | * function will return #MBEDTLS_ERR_SHA512_BAD_INPUT_DATA. |
Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 92 | * |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 93 | * \return \c 0 on success. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 94 | * \return A negative error code on failure. |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 95 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 96 | int mbedtls_sha512_starts(mbedtls_sha512_context *ctx, int is384); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 97 | |
| 98 | /** |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 99 | * \brief This function feeds an input buffer into an ongoing |
| 100 | * SHA-512 checksum calculation. |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 101 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 102 | * \param ctx The SHA-512 context. This must be initialized |
| 103 | * and have a hash operation started. |
| 104 | * \param input The buffer holding the input data. This must |
| 105 | * be a readable buffer of length \p ilen Bytes. |
| 106 | * \param ilen The length of the input data in Bytes. |
Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 107 | * |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 108 | * \return \c 0 on success. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 109 | * \return A negative error code on failure. |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 110 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 111 | int mbedtls_sha512_update(mbedtls_sha512_context *ctx, |
| 112 | const unsigned char *input, |
| 113 | size_t ilen); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 114 | |
| 115 | /** |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 116 | * \brief This function finishes the SHA-512 operation, and writes |
Gilles Peskine | 383c245 | 2020-11-22 13:59:43 +0100 | [diff] [blame] | 117 | * the result to the output buffer. |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 118 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 119 | * \param ctx The SHA-512 context. This must be initialized |
| 120 | * and have a hash operation started. |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 121 | * \param output The SHA-384 or SHA-512 checksum result. |
Gilles Peskine | e02e02f | 2021-05-13 00:22:35 +0200 | [diff] [blame] | 122 | * This must be a writable buffer of length \c 64 bytes |
Gilles Peskine | 96d6e08 | 2021-05-18 20:06:04 +0200 | [diff] [blame] | 123 | * for SHA-512, \c 48 bytes for SHA-384. |
Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 124 | * |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 125 | * \return \c 0 on success. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 126 | * \return A negative error code on failure. |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 127 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 128 | int mbedtls_sha512_finish(mbedtls_sha512_context *ctx, |
| 129 | unsigned char *output); |
Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 130 | |
| 131 | /** |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 132 | * \brief This function processes a single data block within |
| 133 | * the ongoing SHA-512 computation. |
Gilles Peskine | 383c245 | 2020-11-22 13:59:43 +0100 | [diff] [blame] | 134 | * This function is for internal use only. |
Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 135 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 136 | * \param ctx The SHA-512 context. This must be initialized. |
| 137 | * \param data The buffer holding one block of data. This |
| 138 | * must be a readable buffer of length \c 128 Bytes. |
Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 139 | * |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 140 | * \return \c 0 on success. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 141 | * \return A negative error code on failure. |
Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 142 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 143 | int mbedtls_internal_sha512_process(mbedtls_sha512_context *ctx, |
| 144 | const unsigned char data[128]); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 145 | |
| 146 | /** |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 147 | * \brief This function calculates the SHA-512 or SHA-384 |
| 148 | * checksum of a buffer. |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 149 | * |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 150 | * The function allocates the context, performs the |
| 151 | * calculation, and frees the context. |
Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 152 | * |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 153 | * The SHA-512 result is calculated as |
| 154 | * output = SHA-512(input buffer). |
| 155 | * |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 156 | * \param input The buffer holding the input data. This must be |
| 157 | * a readable buffer of length \p ilen Bytes. |
| 158 | * \param ilen The length of the input data in Bytes. |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 159 | * \param output The SHA-384 or SHA-512 checksum result. |
Gilles Peskine | e02e02f | 2021-05-13 00:22:35 +0200 | [diff] [blame] | 160 | * This must be a writable buffer of length \c 64 bytes |
Gilles Peskine | 96d6e08 | 2021-05-18 20:06:04 +0200 | [diff] [blame] | 161 | * for SHA-512, \c 48 bytes for SHA-384. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 162 | * \param is384 Determines which function to use. This must be either |
| 163 | * \c 0 for SHA-512, or \c 1 for SHA-384. |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 164 | * |
Valerio Setti | 43363f5 | 2022-12-14 08:53:23 +0100 | [diff] [blame] | 165 | * \note is384 must be defined accordingly with the supported |
| 166 | * symbols in the config file. If: |
| 167 | * - is384 is 0, but \c MBEDTLS_SHA384_C is not defined, or |
| 168 | * - is384 is 1, but \c MBEDTLS_SHA512_C is not defined |
| 169 | * then the function will return |
Manuel Pégourié-Gonnard | 3a3b5c7 | 2020-01-24 10:57:25 +0100 | [diff] [blame] | 170 | * #MBEDTLS_ERR_SHA512_BAD_INPUT_DATA. |
Manuel Pégourié-Gonnard | 663ee20 | 2020-01-07 10:11:22 +0100 | [diff] [blame] | 171 | * |
Rose Zadik | 27ff120 | 2018-01-26 11:01:31 +0000 | [diff] [blame] | 172 | * \return \c 0 on success. |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 173 | * \return A negative error code on failure. |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 174 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 175 | int mbedtls_sha512(const unsigned char *input, |
| 176 | size_t ilen, |
| 177 | unsigned char *output, |
| 178 | int is384); |
Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 179 | |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 180 | #if defined(MBEDTLS_SELF_TEST) |
| 181 | |
Valerio Setti | d10e0a6 | 2022-12-22 14:25:26 +0100 | [diff] [blame] | 182 | #if defined(MBEDTLS_SHA384_C) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 183 | /** |
Valerio Setti | 43363f5 | 2022-12-14 08:53:23 +0100 | [diff] [blame] | 184 | * \brief The SHA-384 checkup routine. |
| 185 | * |
| 186 | * \return \c 0 on success. |
| 187 | * \return \c 1 on failure. |
| 188 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 189 | int mbedtls_sha384_self_test(int verbose); |
Valerio Setti | d10e0a6 | 2022-12-22 14:25:26 +0100 | [diff] [blame] | 190 | #endif /* MBEDTLS_SHA384_C */ |
Valerio Setti | 43363f5 | 2022-12-14 08:53:23 +0100 | [diff] [blame] | 191 | |
Valerio Setti | d10e0a6 | 2022-12-22 14:25:26 +0100 | [diff] [blame] | 192 | #if defined(MBEDTLS_SHA512_C) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 193 | /** |
Valerio Setti | 43363f5 | 2022-12-14 08:53:23 +0100 | [diff] [blame] | 194 | * \brief The SHA-512 checkup routine. |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 195 | * |
Rose Zadik | 1a6275a | 2018-03-27 13:03:42 +0100 | [diff] [blame] | 196 | * \return \c 0 on success. |
| 197 | * \return \c 1 on failure. |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 198 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 199 | int mbedtls_sha512_self_test(int verbose); |
Valerio Setti | d10e0a6 | 2022-12-22 14:25:26 +0100 | [diff] [blame] | 200 | #endif /* MBEDTLS_SHA512_C */ |
| 201 | |
Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 202 | #endif /* MBEDTLS_SELF_TEST */ |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 203 | |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 204 | #ifdef __cplusplus |
| 205 | } |
| 206 | #endif |
| 207 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 208 | #endif /* mbedtls_sha512.h */ |