| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1 | /* | 
|  | 2 | *  FIPS-180-2 compliant SHA-384/512 implementation | 
|  | 3 | * | 
| Manuel Pégourié-Gonnard | 6fb8187 | 2015-07-27 11:11:48 +0200 | [diff] [blame] | 4 | *  Copyright (C) 2006-2015, ARM Limited, All Rights Reserved | 
| Manuel Pégourié-Gonnard | 37ff140 | 2015-09-04 14:21:07 +0200 | [diff] [blame] | 5 | *  SPDX-License-Identifier: Apache-2.0 | 
|  | 6 | * | 
|  | 7 | *  Licensed under the Apache License, Version 2.0 (the "License"); you may | 
|  | 8 | *  not use this file except in compliance with the License. | 
|  | 9 | *  You may obtain a copy of the License at | 
|  | 10 | * | 
|  | 11 | *  http://www.apache.org/licenses/LICENSE-2.0 | 
|  | 12 | * | 
|  | 13 | *  Unless required by applicable law or agreed to in writing, software | 
|  | 14 | *  distributed under the License is distributed on an "AS IS" BASIS, WITHOUT | 
|  | 15 | *  WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | 
|  | 16 | *  See the License for the specific language governing permissions and | 
|  | 17 | *  limitations under the License. | 
| Paul Bakker | b96f154 | 2010-07-18 20:36:00 +0000 | [diff] [blame] | 18 | * | 
| Manuel Pégourié-Gonnard | fe44643 | 2015-03-06 13:17:10 +0000 | [diff] [blame] | 19 | *  This file is part of mbed TLS (https://tls.mbed.org) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 20 | */ | 
|  | 21 | /* | 
|  | 22 | *  The SHA-512 Secure Hash Standard was published by NIST in 2002. | 
|  | 23 | * | 
|  | 24 | *  http://csrc.nist.gov/publications/fips/fips180-2/fips180-2.pdf | 
|  | 25 | */ | 
|  | 26 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 27 | #if !defined(MBEDTLS_CONFIG_FILE) | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 28 | #include "mbedtls/config.h" | 
| Manuel Pégourié-Gonnard | cef4ad2 | 2014-04-29 12:39:06 +0200 | [diff] [blame] | 29 | #else | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 30 | #include MBEDTLS_CONFIG_FILE | 
| Manuel Pégourié-Gonnard | cef4ad2 | 2014-04-29 12:39:06 +0200 | [diff] [blame] | 31 | #endif | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 32 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 33 | #if defined(MBEDTLS_SHA512_C) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 34 |  | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 35 | #include "mbedtls/sha512.h" | 
| Andres Amaya Garcia | 1f6301b | 2018-04-17 09:51:09 -0500 | [diff] [blame] | 36 | #include "mbedtls/platform_util.h" | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 37 |  | 
| Manuel Pégourié-Gonnard | 1dd1674 | 2015-03-05 16:13:04 +0000 | [diff] [blame] | 38 | #if defined(_MSC_VER) || defined(__WATCOMC__) | 
|  | 39 | #define UL64(x) x##ui64 | 
|  | 40 | #else | 
|  | 41 | #define UL64(x) x##ULL | 
|  | 42 | #endif | 
|  | 43 |  | 
| Rich Evans | 00ab470 | 2015-02-06 13:43:58 +0000 | [diff] [blame] | 44 | #include <string.h> | 
|  | 45 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 46 | #if defined(MBEDTLS_SELF_TEST) | 
|  | 47 | #if defined(MBEDTLS_PLATFORM_C) | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 48 | #include "mbedtls/platform.h" | 
| Paul Bakker | 7dc4c44 | 2014-02-01 22:50:26 +0100 | [diff] [blame] | 49 | #else | 
| Rich Evans | 00ab470 | 2015-02-06 13:43:58 +0000 | [diff] [blame] | 50 | #include <stdio.h> | 
| Russ Butler | bb83b42 | 2016-10-12 17:36:50 -0500 | [diff] [blame] | 51 | #include <stdlib.h> | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 52 | #define mbedtls_printf printf | 
| Russ Butler | bb83b42 | 2016-10-12 17:36:50 -0500 | [diff] [blame] | 53 | #define mbedtls_calloc    calloc | 
|  | 54 | #define mbedtls_free       free | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 55 | #endif /* MBEDTLS_PLATFORM_C */ | 
|  | 56 | #endif /* MBEDTLS_SELF_TEST */ | 
| Paul Bakker | 7dc4c44 | 2014-02-01 22:50:26 +0100 | [diff] [blame] | 57 |  | 
| Manuel Pégourié-Gonnard | 8b2641d | 2015-08-27 20:03:46 +0200 | [diff] [blame] | 58 | #if !defined(MBEDTLS_SHA512_ALT) | 
|  | 59 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 60 | /* | 
|  | 61 | * 64-bit integer manipulation macros (big endian) | 
|  | 62 | */ | 
|  | 63 | #ifndef GET_UINT64_BE | 
|  | 64 | #define GET_UINT64_BE(n,b,i)                            \ | 
|  | 65 | {                                                       \ | 
| Paul Bakker | 5c2364c | 2012-10-01 14:41:15 +0000 | [diff] [blame] | 66 | (n) = ( (uint64_t) (b)[(i)    ] << 56 )       \ | 
|  | 67 | | ( (uint64_t) (b)[(i) + 1] << 48 )       \ | 
|  | 68 | | ( (uint64_t) (b)[(i) + 2] << 40 )       \ | 
|  | 69 | | ( (uint64_t) (b)[(i) + 3] << 32 )       \ | 
|  | 70 | | ( (uint64_t) (b)[(i) + 4] << 24 )       \ | 
|  | 71 | | ( (uint64_t) (b)[(i) + 5] << 16 )       \ | 
|  | 72 | | ( (uint64_t) (b)[(i) + 6] <<  8 )       \ | 
|  | 73 | | ( (uint64_t) (b)[(i) + 7]       );      \ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 74 | } | 
| Paul Bakker | 9af723c | 2014-05-01 13:03:14 +0200 | [diff] [blame] | 75 | #endif /* GET_UINT64_BE */ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 76 |  | 
|  | 77 | #ifndef PUT_UINT64_BE | 
|  | 78 | #define PUT_UINT64_BE(n,b,i)                            \ | 
|  | 79 | {                                                       \ | 
|  | 80 | (b)[(i)    ] = (unsigned char) ( (n) >> 56 );       \ | 
|  | 81 | (b)[(i) + 1] = (unsigned char) ( (n) >> 48 );       \ | 
|  | 82 | (b)[(i) + 2] = (unsigned char) ( (n) >> 40 );       \ | 
|  | 83 | (b)[(i) + 3] = (unsigned char) ( (n) >> 32 );       \ | 
|  | 84 | (b)[(i) + 4] = (unsigned char) ( (n) >> 24 );       \ | 
|  | 85 | (b)[(i) + 5] = (unsigned char) ( (n) >> 16 );       \ | 
|  | 86 | (b)[(i) + 6] = (unsigned char) ( (n) >>  8 );       \ | 
|  | 87 | (b)[(i) + 7] = (unsigned char) ( (n)       );       \ | 
|  | 88 | } | 
| Paul Bakker | 9af723c | 2014-05-01 13:03:14 +0200 | [diff] [blame] | 89 | #endif /* PUT_UINT64_BE */ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 90 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 91 | void mbedtls_sha512_init( mbedtls_sha512_context *ctx ) | 
| Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 92 | { | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 93 | memset( ctx, 0, sizeof( mbedtls_sha512_context ) ); | 
| Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 94 | } | 
|  | 95 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 96 | void mbedtls_sha512_free( mbedtls_sha512_context *ctx ) | 
| Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 97 | { | 
|  | 98 | if( ctx == NULL ) | 
|  | 99 | return; | 
|  | 100 |  | 
| Andres Amaya Garcia | 1f6301b | 2018-04-17 09:51:09 -0500 | [diff] [blame] | 101 | mbedtls_platform_zeroize( ctx, sizeof( mbedtls_sha512_context ) ); | 
| Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 102 | } | 
|  | 103 |  | 
| Manuel Pégourié-Gonnard | 16d412f | 2015-07-06 15:26:26 +0200 | [diff] [blame] | 104 | void mbedtls_sha512_clone( mbedtls_sha512_context *dst, | 
|  | 105 | const mbedtls_sha512_context *src ) | 
|  | 106 | { | 
|  | 107 | *dst = *src; | 
|  | 108 | } | 
|  | 109 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 110 | /* | 
|  | 111 | * SHA-512 context setup | 
|  | 112 | */ | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 113 | int mbedtls_sha512_starts_ret( mbedtls_sha512_context *ctx, int is384 ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 114 | { | 
|  | 115 | ctx->total[0] = 0; | 
|  | 116 | ctx->total[1] = 0; | 
|  | 117 |  | 
|  | 118 | if( is384 == 0 ) | 
|  | 119 | { | 
|  | 120 | /* SHA-512 */ | 
|  | 121 | ctx->state[0] = UL64(0x6A09E667F3BCC908); | 
|  | 122 | ctx->state[1] = UL64(0xBB67AE8584CAA73B); | 
|  | 123 | ctx->state[2] = UL64(0x3C6EF372FE94F82B); | 
|  | 124 | ctx->state[3] = UL64(0xA54FF53A5F1D36F1); | 
|  | 125 | ctx->state[4] = UL64(0x510E527FADE682D1); | 
|  | 126 | ctx->state[5] = UL64(0x9B05688C2B3E6C1F); | 
|  | 127 | ctx->state[6] = UL64(0x1F83D9ABFB41BD6B); | 
|  | 128 | ctx->state[7] = UL64(0x5BE0CD19137E2179); | 
|  | 129 | } | 
|  | 130 | else | 
|  | 131 | { | 
|  | 132 | /* SHA-384 */ | 
|  | 133 | ctx->state[0] = UL64(0xCBBB9D5DC1059ED8); | 
|  | 134 | ctx->state[1] = UL64(0x629A292A367CD507); | 
|  | 135 | ctx->state[2] = UL64(0x9159015A3070DD17); | 
|  | 136 | ctx->state[3] = UL64(0x152FECD8F70E5939); | 
|  | 137 | ctx->state[4] = UL64(0x67332667FFC00B31); | 
|  | 138 | ctx->state[5] = UL64(0x8EB44A8768581511); | 
|  | 139 | ctx->state[6] = UL64(0xDB0C2E0D64F98FA7); | 
|  | 140 | ctx->state[7] = UL64(0x47B5481DBEFA4FA4); | 
|  | 141 | } | 
|  | 142 |  | 
|  | 143 | ctx->is384 = is384; | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 144 |  | 
|  | 145 | return( 0 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 146 | } | 
|  | 147 |  | 
| Jaeden Amero | 041039f | 2018-02-19 15:28:08 +0000 | [diff] [blame] | 148 | #if !defined(MBEDTLS_DEPRECATED_REMOVED) | 
|  | 149 | void mbedtls_sha512_starts( mbedtls_sha512_context *ctx, | 
|  | 150 | int is384 ) | 
|  | 151 | { | 
|  | 152 | mbedtls_sha512_starts_ret( ctx, is384 ); | 
|  | 153 | } | 
|  | 154 | #endif | 
|  | 155 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 156 | #if !defined(MBEDTLS_SHA512_PROCESS_ALT) | 
| Alexey Skalozub | 00b78a9 | 2016-01-13 17:39:58 +0200 | [diff] [blame] | 157 |  | 
|  | 158 | /* | 
|  | 159 | * Round constants | 
|  | 160 | */ | 
|  | 161 | static const uint64_t K[80] = | 
|  | 162 | { | 
|  | 163 | UL64(0x428A2F98D728AE22),  UL64(0x7137449123EF65CD), | 
|  | 164 | UL64(0xB5C0FBCFEC4D3B2F),  UL64(0xE9B5DBA58189DBBC), | 
|  | 165 | UL64(0x3956C25BF348B538),  UL64(0x59F111F1B605D019), | 
|  | 166 | UL64(0x923F82A4AF194F9B),  UL64(0xAB1C5ED5DA6D8118), | 
|  | 167 | UL64(0xD807AA98A3030242),  UL64(0x12835B0145706FBE), | 
|  | 168 | UL64(0x243185BE4EE4B28C),  UL64(0x550C7DC3D5FFB4E2), | 
|  | 169 | UL64(0x72BE5D74F27B896F),  UL64(0x80DEB1FE3B1696B1), | 
|  | 170 | UL64(0x9BDC06A725C71235),  UL64(0xC19BF174CF692694), | 
|  | 171 | UL64(0xE49B69C19EF14AD2),  UL64(0xEFBE4786384F25E3), | 
|  | 172 | UL64(0x0FC19DC68B8CD5B5),  UL64(0x240CA1CC77AC9C65), | 
|  | 173 | UL64(0x2DE92C6F592B0275),  UL64(0x4A7484AA6EA6E483), | 
|  | 174 | UL64(0x5CB0A9DCBD41FBD4),  UL64(0x76F988DA831153B5), | 
|  | 175 | UL64(0x983E5152EE66DFAB),  UL64(0xA831C66D2DB43210), | 
|  | 176 | UL64(0xB00327C898FB213F),  UL64(0xBF597FC7BEEF0EE4), | 
|  | 177 | UL64(0xC6E00BF33DA88FC2),  UL64(0xD5A79147930AA725), | 
|  | 178 | UL64(0x06CA6351E003826F),  UL64(0x142929670A0E6E70), | 
|  | 179 | UL64(0x27B70A8546D22FFC),  UL64(0x2E1B21385C26C926), | 
|  | 180 | UL64(0x4D2C6DFC5AC42AED),  UL64(0x53380D139D95B3DF), | 
|  | 181 | UL64(0x650A73548BAF63DE),  UL64(0x766A0ABB3C77B2A8), | 
|  | 182 | UL64(0x81C2C92E47EDAEE6),  UL64(0x92722C851482353B), | 
|  | 183 | UL64(0xA2BFE8A14CF10364),  UL64(0xA81A664BBC423001), | 
|  | 184 | UL64(0xC24B8B70D0F89791),  UL64(0xC76C51A30654BE30), | 
|  | 185 | UL64(0xD192E819D6EF5218),  UL64(0xD69906245565A910), | 
|  | 186 | UL64(0xF40E35855771202A),  UL64(0x106AA07032BBD1B8), | 
|  | 187 | UL64(0x19A4C116B8D2D0C8),  UL64(0x1E376C085141AB53), | 
|  | 188 | UL64(0x2748774CDF8EEB99),  UL64(0x34B0BCB5E19B48A8), | 
|  | 189 | UL64(0x391C0CB3C5C95A63),  UL64(0x4ED8AA4AE3418ACB), | 
|  | 190 | UL64(0x5B9CCA4F7763E373),  UL64(0x682E6FF3D6B2B8A3), | 
|  | 191 | UL64(0x748F82EE5DEFB2FC),  UL64(0x78A5636F43172F60), | 
|  | 192 | UL64(0x84C87814A1F0AB72),  UL64(0x8CC702081A6439EC), | 
|  | 193 | UL64(0x90BEFFFA23631E28),  UL64(0xA4506CEBDE82BDE9), | 
|  | 194 | UL64(0xBEF9A3F7B2C67915),  UL64(0xC67178F2E372532B), | 
|  | 195 | UL64(0xCA273ECEEA26619C),  UL64(0xD186B8C721C0C207), | 
|  | 196 | UL64(0xEADA7DD6CDE0EB1E),  UL64(0xF57D4F7FEE6ED178), | 
|  | 197 | UL64(0x06F067AA72176FBA),  UL64(0x0A637DC5A2C898A6), | 
|  | 198 | UL64(0x113F9804BEF90DAE),  UL64(0x1B710B35131C471B), | 
|  | 199 | UL64(0x28DB77F523047D84),  UL64(0x32CAAB7B40C72493), | 
|  | 200 | UL64(0x3C9EBE0A15C9BEBC),  UL64(0x431D67C49C100D4C), | 
|  | 201 | UL64(0x4CC5D4BECB3E42B6),  UL64(0x597F299CFC657E2A), | 
|  | 202 | UL64(0x5FCB6FAB3AD6FAEC),  UL64(0x6C44198C4A475817) | 
|  | 203 | }; | 
|  | 204 |  | 
| Andres Amaya Garcia | cccfe08 | 2017-06-28 10:36:39 +0100 | [diff] [blame] | 205 | int mbedtls_internal_sha512_process( mbedtls_sha512_context *ctx, | 
|  | 206 | const unsigned char data[128] ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 207 | { | 
|  | 208 | int i; | 
| Paul Bakker | 5c2364c | 2012-10-01 14:41:15 +0000 | [diff] [blame] | 209 | uint64_t temp1, temp2, W[80]; | 
|  | 210 | uint64_t A, B, C, D, E, F, G, H; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 211 |  | 
|  | 212 | #define  SHR(x,n) (x >> n) | 
|  | 213 | #define ROTR(x,n) (SHR(x,n) | (x << (64 - n))) | 
|  | 214 |  | 
|  | 215 | #define S0(x) (ROTR(x, 1) ^ ROTR(x, 8) ^  SHR(x, 7)) | 
|  | 216 | #define S1(x) (ROTR(x,19) ^ ROTR(x,61) ^  SHR(x, 6)) | 
|  | 217 |  | 
|  | 218 | #define S2(x) (ROTR(x,28) ^ ROTR(x,34) ^ ROTR(x,39)) | 
|  | 219 | #define S3(x) (ROTR(x,14) ^ ROTR(x,18) ^ ROTR(x,41)) | 
|  | 220 |  | 
|  | 221 | #define F0(x,y,z) ((x & y) | (z & (x | y))) | 
|  | 222 | #define F1(x,y,z) (z ^ (x & (y ^ z))) | 
|  | 223 |  | 
|  | 224 | #define P(a,b,c,d,e,f,g,h,x,K)                  \ | 
|  | 225 | {                                               \ | 
|  | 226 | temp1 = h + S3(e) + F1(e,f,g) + K + x;      \ | 
|  | 227 | temp2 = S2(a) + F0(a,b,c);                  \ | 
|  | 228 | d += temp1; h = temp1 + temp2;              \ | 
|  | 229 | } | 
|  | 230 |  | 
|  | 231 | for( i = 0; i < 16; i++ ) | 
|  | 232 | { | 
|  | 233 | GET_UINT64_BE( W[i], data, i << 3 ); | 
|  | 234 | } | 
|  | 235 |  | 
|  | 236 | for( ; i < 80; i++ ) | 
|  | 237 | { | 
|  | 238 | W[i] = S1(W[i -  2]) + W[i -  7] + | 
|  | 239 | S0(W[i - 15]) + W[i - 16]; | 
|  | 240 | } | 
|  | 241 |  | 
|  | 242 | A = ctx->state[0]; | 
|  | 243 | B = ctx->state[1]; | 
|  | 244 | C = ctx->state[2]; | 
|  | 245 | D = ctx->state[3]; | 
|  | 246 | E = ctx->state[4]; | 
|  | 247 | F = ctx->state[5]; | 
|  | 248 | G = ctx->state[6]; | 
|  | 249 | H = ctx->state[7]; | 
|  | 250 | i = 0; | 
|  | 251 |  | 
|  | 252 | do | 
|  | 253 | { | 
|  | 254 | P( A, B, C, D, E, F, G, H, W[i], K[i] ); i++; | 
|  | 255 | P( H, A, B, C, D, E, F, G, W[i], K[i] ); i++; | 
|  | 256 | P( G, H, A, B, C, D, E, F, W[i], K[i] ); i++; | 
|  | 257 | P( F, G, H, A, B, C, D, E, W[i], K[i] ); i++; | 
|  | 258 | P( E, F, G, H, A, B, C, D, W[i], K[i] ); i++; | 
|  | 259 | P( D, E, F, G, H, A, B, C, W[i], K[i] ); i++; | 
|  | 260 | P( C, D, E, F, G, H, A, B, W[i], K[i] ); i++; | 
|  | 261 | P( B, C, D, E, F, G, H, A, W[i], K[i] ); i++; | 
|  | 262 | } | 
|  | 263 | while( i < 80 ); | 
|  | 264 |  | 
|  | 265 | ctx->state[0] += A; | 
|  | 266 | ctx->state[1] += B; | 
|  | 267 | ctx->state[2] += C; | 
|  | 268 | ctx->state[3] += D; | 
|  | 269 | ctx->state[4] += E; | 
|  | 270 | ctx->state[5] += F; | 
|  | 271 | ctx->state[6] += G; | 
|  | 272 | ctx->state[7] += H; | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 273 |  | 
|  | 274 | return( 0 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 275 | } | 
| Jaeden Amero | 041039f | 2018-02-19 15:28:08 +0000 | [diff] [blame] | 276 |  | 
|  | 277 | #if !defined(MBEDTLS_DEPRECATED_REMOVED) | 
|  | 278 | void mbedtls_sha512_process( mbedtls_sha512_context *ctx, | 
|  | 279 | const unsigned char data[128] ) | 
|  | 280 | { | 
|  | 281 | mbedtls_internal_sha512_process( ctx, data ); | 
|  | 282 | } | 
|  | 283 | #endif | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 284 | #endif /* !MBEDTLS_SHA512_PROCESS_ALT */ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 285 |  | 
|  | 286 | /* | 
|  | 287 | * SHA-512 process buffer | 
|  | 288 | */ | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 289 | int mbedtls_sha512_update_ret( mbedtls_sha512_context *ctx, | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 290 | const unsigned char *input, | 
|  | 291 | size_t ilen ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 292 | { | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 293 | int ret; | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 294 | size_t fill; | 
| Paul Bakker | b8213a1 | 2011-07-11 08:16:18 +0000 | [diff] [blame] | 295 | unsigned int left; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 296 |  | 
| Brian White | 12895d1 | 2014-04-11 11:29:42 -0400 | [diff] [blame] | 297 | if( ilen == 0 ) | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 298 | return( 0 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 299 |  | 
| Paul Bakker | b8213a1 | 2011-07-11 08:16:18 +0000 | [diff] [blame] | 300 | left = (unsigned int) (ctx->total[0] & 0x7F); | 
| Paul Bakker | 27fdf46 | 2011-06-09 13:55:13 +0000 | [diff] [blame] | 301 | fill = 128 - left; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 302 |  | 
| Paul Bakker | 5c2364c | 2012-10-01 14:41:15 +0000 | [diff] [blame] | 303 | ctx->total[0] += (uint64_t) ilen; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 304 |  | 
| Paul Bakker | 5c2364c | 2012-10-01 14:41:15 +0000 | [diff] [blame] | 305 | if( ctx->total[0] < (uint64_t) ilen ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 306 | ctx->total[1]++; | 
|  | 307 |  | 
|  | 308 | if( left && ilen >= fill ) | 
|  | 309 | { | 
| Paul Bakker | 3c2122f | 2013-06-24 19:03:14 +0200 | [diff] [blame] | 310 | memcpy( (void *) (ctx->buffer + left), input, fill ); | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 311 |  | 
| Andres Amaya Garcia | cccfe08 | 2017-06-28 10:36:39 +0100 | [diff] [blame] | 312 | if( ( ret = mbedtls_internal_sha512_process( ctx, ctx->buffer ) ) != 0 ) | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 313 | return( ret ); | 
|  | 314 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 315 | input += fill; | 
|  | 316 | ilen  -= fill; | 
|  | 317 | left = 0; | 
|  | 318 | } | 
|  | 319 |  | 
|  | 320 | while( ilen >= 128 ) | 
|  | 321 | { | 
| Andres Amaya Garcia | cccfe08 | 2017-06-28 10:36:39 +0100 | [diff] [blame] | 322 | if( ( ret = mbedtls_internal_sha512_process( ctx, input ) ) != 0 ) | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 323 | return( ret ); | 
|  | 324 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 325 | input += 128; | 
|  | 326 | ilen  -= 128; | 
|  | 327 | } | 
|  | 328 |  | 
|  | 329 | if( ilen > 0 ) | 
| Paul Bakker | 3c2122f | 2013-06-24 19:03:14 +0200 | [diff] [blame] | 330 | memcpy( (void *) (ctx->buffer + left), input, ilen ); | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 331 |  | 
|  | 332 | return( 0 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 333 | } | 
|  | 334 |  | 
| Jaeden Amero | 041039f | 2018-02-19 15:28:08 +0000 | [diff] [blame] | 335 | #if !defined(MBEDTLS_DEPRECATED_REMOVED) | 
|  | 336 | void mbedtls_sha512_update( mbedtls_sha512_context *ctx, | 
|  | 337 | const unsigned char *input, | 
|  | 338 | size_t ilen ) | 
|  | 339 | { | 
|  | 340 | mbedtls_sha512_update_ret( ctx, input, ilen ); | 
|  | 341 | } | 
|  | 342 | #endif | 
|  | 343 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 344 | /* | 
|  | 345 | * SHA-512 final digest | 
|  | 346 | */ | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 347 | int mbedtls_sha512_finish_ret( mbedtls_sha512_context *ctx, | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 348 | unsigned char output[64] ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 349 | { | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 350 | int ret; | 
| Manuel Pégourié-Gonnard | 1cc1fb0 | 2018-06-28 12:10:27 +0200 | [diff] [blame] | 351 | unsigned used; | 
| Paul Bakker | 5c2364c | 2012-10-01 14:41:15 +0000 | [diff] [blame] | 352 | uint64_t high, low; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 353 |  | 
| Manuel Pégourié-Gonnard | 1cc1fb0 | 2018-06-28 12:10:27 +0200 | [diff] [blame] | 354 | /* | 
|  | 355 | * Add padding: 0x80 then 0x00 until 16 bytes remain for the length | 
|  | 356 | */ | 
|  | 357 | used = ctx->total[0] & 0x7F; | 
|  | 358 |  | 
|  | 359 | ctx->buffer[used++] = 0x80; | 
|  | 360 |  | 
|  | 361 | if( used <= 112 ) | 
|  | 362 | { | 
|  | 363 | /* Enough room for padding + length in current block */ | 
|  | 364 | memset( ctx->buffer + used, 0, 112 - used ); | 
|  | 365 | } | 
|  | 366 | else | 
|  | 367 | { | 
|  | 368 | /* We'll need an extra block */ | 
|  | 369 | memset( ctx->buffer + used, 0, 128 - used ); | 
|  | 370 |  | 
|  | 371 | if( ( ret = mbedtls_internal_sha512_process( ctx, ctx->buffer ) ) != 0 ) | 
|  | 372 | return( ret ); | 
|  | 373 |  | 
|  | 374 | memset( ctx->buffer, 0, 112 ); | 
|  | 375 | } | 
|  | 376 |  | 
|  | 377 | /* | 
|  | 378 | * Add message length | 
|  | 379 | */ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 380 | high = ( ctx->total[0] >> 61 ) | 
|  | 381 | | ( ctx->total[1] <<  3 ); | 
|  | 382 | low  = ( ctx->total[0] <<  3 ); | 
|  | 383 |  | 
| Manuel Pégourié-Gonnard | 1cc1fb0 | 2018-06-28 12:10:27 +0200 | [diff] [blame] | 384 | PUT_UINT64_BE( high, ctx->buffer, 112 ); | 
|  | 385 | PUT_UINT64_BE( low,  ctx->buffer, 120 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 386 |  | 
| Manuel Pégourié-Gonnard | 1cc1fb0 | 2018-06-28 12:10:27 +0200 | [diff] [blame] | 387 | if( ( ret = mbedtls_internal_sha512_process( ctx, ctx->buffer ) ) != 0 ) | 
|  | 388 | return( ret ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 389 |  | 
| Manuel Pégourié-Gonnard | 1cc1fb0 | 2018-06-28 12:10:27 +0200 | [diff] [blame] | 390 | /* | 
|  | 391 | * Output final state | 
|  | 392 | */ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 393 | PUT_UINT64_BE( ctx->state[0], output,  0 ); | 
|  | 394 | PUT_UINT64_BE( ctx->state[1], output,  8 ); | 
|  | 395 | PUT_UINT64_BE( ctx->state[2], output, 16 ); | 
|  | 396 | PUT_UINT64_BE( ctx->state[3], output, 24 ); | 
|  | 397 | PUT_UINT64_BE( ctx->state[4], output, 32 ); | 
|  | 398 | PUT_UINT64_BE( ctx->state[5], output, 40 ); | 
|  | 399 |  | 
|  | 400 | if( ctx->is384 == 0 ) | 
|  | 401 | { | 
|  | 402 | PUT_UINT64_BE( ctx->state[6], output, 48 ); | 
|  | 403 | PUT_UINT64_BE( ctx->state[7], output, 56 ); | 
|  | 404 | } | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 405 |  | 
|  | 406 | return( 0 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 407 | } | 
|  | 408 |  | 
| Jaeden Amero | 041039f | 2018-02-19 15:28:08 +0000 | [diff] [blame] | 409 | #if !defined(MBEDTLS_DEPRECATED_REMOVED) | 
|  | 410 | void mbedtls_sha512_finish( mbedtls_sha512_context *ctx, | 
|  | 411 | unsigned char output[64] ) | 
|  | 412 | { | 
|  | 413 | mbedtls_sha512_finish_ret( ctx, output ); | 
|  | 414 | } | 
|  | 415 | #endif | 
|  | 416 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 417 | #endif /* !MBEDTLS_SHA512_ALT */ | 
| Paul Bakker | 90995b5 | 2013-06-24 19:20:35 +0200 | [diff] [blame] | 418 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 419 | /* | 
|  | 420 | * output = SHA-512( input buffer ) | 
|  | 421 | */ | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 422 | int mbedtls_sha512_ret( const unsigned char *input, | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 423 | size_t ilen, | 
|  | 424 | unsigned char output[64], | 
|  | 425 | int is384 ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 426 | { | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 427 | int ret; | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 428 | mbedtls_sha512_context ctx; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 429 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 430 | mbedtls_sha512_init( &ctx ); | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 431 |  | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 432 | if( ( ret = mbedtls_sha512_starts_ret( &ctx, is384 ) ) != 0 ) | 
| Andres Amaya Garcia | 0963e6c | 2017-07-20 14:34:08 +0100 | [diff] [blame] | 433 | goto exit; | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 434 |  | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 435 | if( ( ret = mbedtls_sha512_update_ret( &ctx, input, ilen ) ) != 0 ) | 
| Andres Amaya Garcia | 0963e6c | 2017-07-20 14:34:08 +0100 | [diff] [blame] | 436 | goto exit; | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 437 |  | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 438 | if( ( ret = mbedtls_sha512_finish_ret( &ctx, output ) ) != 0 ) | 
| Andres Amaya Garcia | 0963e6c | 2017-07-20 14:34:08 +0100 | [diff] [blame] | 439 | goto exit; | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 440 |  | 
| Andres Amaya Garcia | 0963e6c | 2017-07-20 14:34:08 +0100 | [diff] [blame] | 441 | exit: | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 442 | mbedtls_sha512_free( &ctx ); | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 443 |  | 
| Andres Amaya Garcia | 0963e6c | 2017-07-20 14:34:08 +0100 | [diff] [blame] | 444 | return( ret ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 445 | } | 
|  | 446 |  | 
| Jaeden Amero | 041039f | 2018-02-19 15:28:08 +0000 | [diff] [blame] | 447 | #if !defined(MBEDTLS_DEPRECATED_REMOVED) | 
|  | 448 | void mbedtls_sha512( const unsigned char *input, | 
|  | 449 | size_t ilen, | 
|  | 450 | unsigned char output[64], | 
|  | 451 | int is384 ) | 
|  | 452 | { | 
|  | 453 | mbedtls_sha512_ret( input, ilen, output, is384 ); | 
|  | 454 | } | 
|  | 455 | #endif | 
|  | 456 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 457 | #if defined(MBEDTLS_SELF_TEST) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 458 |  | 
|  | 459 | /* | 
|  | 460 | * FIPS-180-2 test vectors | 
|  | 461 | */ | 
| Manuel Pégourié-Gonnard | 28122e4 | 2015-03-11 09:13:42 +0000 | [diff] [blame] | 462 | static const unsigned char sha512_test_buf[3][113] = | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 463 | { | 
|  | 464 | { "abc" }, | 
|  | 465 | { "abcdefghbcdefghicdefghijdefghijkefghijklfghijklmghijklmn" | 
|  | 466 | "hijklmnoijklmnopjklmnopqklmnopqrlmnopqrsmnopqrstnopqrstu" }, | 
|  | 467 | { "" } | 
|  | 468 | }; | 
|  | 469 |  | 
| Andres Amaya Garcia | 2d0aa8b | 2017-07-21 14:57:26 +0100 | [diff] [blame] | 470 | static const size_t sha512_test_buflen[3] = | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 471 | { | 
|  | 472 | 3, 112, 1000 | 
|  | 473 | }; | 
|  | 474 |  | 
| Paul Bakker | 9e36f04 | 2013-06-30 14:34:05 +0200 | [diff] [blame] | 475 | static const unsigned char sha512_test_sum[6][64] = | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 476 | { | 
|  | 477 | /* | 
|  | 478 | * SHA-384 test vectors | 
|  | 479 | */ | 
|  | 480 | { 0xCB, 0x00, 0x75, 0x3F, 0x45, 0xA3, 0x5E, 0x8B, | 
|  | 481 | 0xB5, 0xA0, 0x3D, 0x69, 0x9A, 0xC6, 0x50, 0x07, | 
|  | 482 | 0x27, 0x2C, 0x32, 0xAB, 0x0E, 0xDE, 0xD1, 0x63, | 
|  | 483 | 0x1A, 0x8B, 0x60, 0x5A, 0x43, 0xFF, 0x5B, 0xED, | 
|  | 484 | 0x80, 0x86, 0x07, 0x2B, 0xA1, 0xE7, 0xCC, 0x23, | 
|  | 485 | 0x58, 0xBA, 0xEC, 0xA1, 0x34, 0xC8, 0x25, 0xA7 }, | 
|  | 486 | { 0x09, 0x33, 0x0C, 0x33, 0xF7, 0x11, 0x47, 0xE8, | 
|  | 487 | 0x3D, 0x19, 0x2F, 0xC7, 0x82, 0xCD, 0x1B, 0x47, | 
|  | 488 | 0x53, 0x11, 0x1B, 0x17, 0x3B, 0x3B, 0x05, 0xD2, | 
|  | 489 | 0x2F, 0xA0, 0x80, 0x86, 0xE3, 0xB0, 0xF7, 0x12, | 
|  | 490 | 0xFC, 0xC7, 0xC7, 0x1A, 0x55, 0x7E, 0x2D, 0xB9, | 
|  | 491 | 0x66, 0xC3, 0xE9, 0xFA, 0x91, 0x74, 0x60, 0x39 }, | 
|  | 492 | { 0x9D, 0x0E, 0x18, 0x09, 0x71, 0x64, 0x74, 0xCB, | 
|  | 493 | 0x08, 0x6E, 0x83, 0x4E, 0x31, 0x0A, 0x4A, 0x1C, | 
|  | 494 | 0xED, 0x14, 0x9E, 0x9C, 0x00, 0xF2, 0x48, 0x52, | 
|  | 495 | 0x79, 0x72, 0xCE, 0xC5, 0x70, 0x4C, 0x2A, 0x5B, | 
|  | 496 | 0x07, 0xB8, 0xB3, 0xDC, 0x38, 0xEC, 0xC4, 0xEB, | 
|  | 497 | 0xAE, 0x97, 0xDD, 0xD8, 0x7F, 0x3D, 0x89, 0x85 }, | 
|  | 498 |  | 
|  | 499 | /* | 
|  | 500 | * SHA-512 test vectors | 
|  | 501 | */ | 
|  | 502 | { 0xDD, 0xAF, 0x35, 0xA1, 0x93, 0x61, 0x7A, 0xBA, | 
|  | 503 | 0xCC, 0x41, 0x73, 0x49, 0xAE, 0x20, 0x41, 0x31, | 
|  | 504 | 0x12, 0xE6, 0xFA, 0x4E, 0x89, 0xA9, 0x7E, 0xA2, | 
|  | 505 | 0x0A, 0x9E, 0xEE, 0xE6, 0x4B, 0x55, 0xD3, 0x9A, | 
|  | 506 | 0x21, 0x92, 0x99, 0x2A, 0x27, 0x4F, 0xC1, 0xA8, | 
|  | 507 | 0x36, 0xBA, 0x3C, 0x23, 0xA3, 0xFE, 0xEB, 0xBD, | 
|  | 508 | 0x45, 0x4D, 0x44, 0x23, 0x64, 0x3C, 0xE8, 0x0E, | 
|  | 509 | 0x2A, 0x9A, 0xC9, 0x4F, 0xA5, 0x4C, 0xA4, 0x9F }, | 
|  | 510 | { 0x8E, 0x95, 0x9B, 0x75, 0xDA, 0xE3, 0x13, 0xDA, | 
|  | 511 | 0x8C, 0xF4, 0xF7, 0x28, 0x14, 0xFC, 0x14, 0x3F, | 
|  | 512 | 0x8F, 0x77, 0x79, 0xC6, 0xEB, 0x9F, 0x7F, 0xA1, | 
|  | 513 | 0x72, 0x99, 0xAE, 0xAD, 0xB6, 0x88, 0x90, 0x18, | 
|  | 514 | 0x50, 0x1D, 0x28, 0x9E, 0x49, 0x00, 0xF7, 0xE4, | 
|  | 515 | 0x33, 0x1B, 0x99, 0xDE, 0xC4, 0xB5, 0x43, 0x3A, | 
|  | 516 | 0xC7, 0xD3, 0x29, 0xEE, 0xB6, 0xDD, 0x26, 0x54, | 
|  | 517 | 0x5E, 0x96, 0xE5, 0x5B, 0x87, 0x4B, 0xE9, 0x09 }, | 
|  | 518 | { 0xE7, 0x18, 0x48, 0x3D, 0x0C, 0xE7, 0x69, 0x64, | 
|  | 519 | 0x4E, 0x2E, 0x42, 0xC7, 0xBC, 0x15, 0xB4, 0x63, | 
|  | 520 | 0x8E, 0x1F, 0x98, 0xB1, 0x3B, 0x20, 0x44, 0x28, | 
|  | 521 | 0x56, 0x32, 0xA8, 0x03, 0xAF, 0xA9, 0x73, 0xEB, | 
|  | 522 | 0xDE, 0x0F, 0xF2, 0x44, 0x87, 0x7E, 0xA6, 0x0A, | 
|  | 523 | 0x4C, 0xB0, 0x43, 0x2C, 0xE5, 0x77, 0xC3, 0x1B, | 
|  | 524 | 0xEB, 0x00, 0x9C, 0x5C, 0x2C, 0x49, 0xAA, 0x2E, | 
|  | 525 | 0x4E, 0xAD, 0xB2, 0x17, 0xAD, 0x8C, 0xC0, 0x9B } | 
|  | 526 | }; | 
|  | 527 |  | 
|  | 528 | /* | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 529 | * Checkup routine | 
|  | 530 | */ | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 531 | int mbedtls_sha512_self_test( int verbose ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 532 | { | 
| Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 533 | int i, j, k, buflen, ret = 0; | 
| Russ Butler | bb83b42 | 2016-10-12 17:36:50 -0500 | [diff] [blame] | 534 | unsigned char *buf; | 
| Paul Bakker | 9e36f04 | 2013-06-30 14:34:05 +0200 | [diff] [blame] | 535 | unsigned char sha512sum[64]; | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 536 | mbedtls_sha512_context ctx; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 537 |  | 
| Russ Butler | bb83b42 | 2016-10-12 17:36:50 -0500 | [diff] [blame] | 538 | buf = mbedtls_calloc( 1024, sizeof(unsigned char) ); | 
|  | 539 | if( NULL == buf ) | 
|  | 540 | { | 
|  | 541 | if( verbose != 0 ) | 
|  | 542 | mbedtls_printf( "Buffer allocation failed\n" ); | 
|  | 543 |  | 
|  | 544 | return( 1 ); | 
|  | 545 | } | 
|  | 546 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 547 | mbedtls_sha512_init( &ctx ); | 
| Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 548 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 549 | for( i = 0; i < 6; i++ ) | 
|  | 550 | { | 
|  | 551 | j = i % 3; | 
|  | 552 | k = i < 3; | 
|  | 553 |  | 
|  | 554 | if( verbose != 0 ) | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 555 | mbedtls_printf( "  SHA-%d test #%d: ", 512 - k * 128, j + 1 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 556 |  | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 557 | if( ( ret = mbedtls_sha512_starts_ret( &ctx, k ) ) != 0 ) | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 558 | goto fail; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 559 |  | 
|  | 560 | if( j == 2 ) | 
|  | 561 | { | 
|  | 562 | memset( buf, 'a', buflen = 1000 ); | 
|  | 563 |  | 
|  | 564 | for( j = 0; j < 1000; j++ ) | 
| Andres Amaya Garcia | 6a3f305 | 2017-07-20 14:18:54 +0100 | [diff] [blame] | 565 | { | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 566 | ret = mbedtls_sha512_update_ret( &ctx, buf, buflen ); | 
| Andres Amaya Garcia | 6a3f305 | 2017-07-20 14:18:54 +0100 | [diff] [blame] | 567 | if( ret != 0 ) | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 568 | goto fail; | 
| Andres Amaya Garcia | 6a3f305 | 2017-07-20 14:18:54 +0100 | [diff] [blame] | 569 | } | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 570 | } | 
|  | 571 | else | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 572 | { | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 573 | ret = mbedtls_sha512_update_ret( &ctx, sha512_test_buf[j], | 
| Andres Amaya Garcia | 6a3f305 | 2017-07-20 14:18:54 +0100 | [diff] [blame] | 574 | sha512_test_buflen[j] ); | 
|  | 575 | if( ret != 0 ) | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 576 | goto fail; | 
|  | 577 | } | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 578 |  | 
| Gilles Peskine | 9e4f77c | 2018-01-22 11:48:08 +0100 | [diff] [blame] | 579 | if( ( ret = mbedtls_sha512_finish_ret( &ctx, sha512sum ) ) != 0 ) | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 580 | goto fail; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 581 |  | 
| Paul Bakker | 9e36f04 | 2013-06-30 14:34:05 +0200 | [diff] [blame] | 582 | if( memcmp( sha512sum, sha512_test_sum[i], 64 - k * 16 ) != 0 ) | 
| Andres Amaya Garcia | 6a3f305 | 2017-07-20 14:18:54 +0100 | [diff] [blame] | 583 | { | 
|  | 584 | ret = 1; | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 585 | goto fail; | 
| Andres Amaya Garcia | 6a3f305 | 2017-07-20 14:18:54 +0100 | [diff] [blame] | 586 | } | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 587 |  | 
|  | 588 | if( verbose != 0 ) | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 589 | mbedtls_printf( "passed\n" ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 590 | } | 
|  | 591 |  | 
|  | 592 | if( verbose != 0 ) | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 593 | mbedtls_printf( "\n" ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 594 |  | 
| Andres Amaya Garcia | 614c689 | 2017-05-02 12:07:26 +0100 | [diff] [blame] | 595 | goto exit; | 
|  | 596 |  | 
|  | 597 | fail: | 
|  | 598 | if( verbose != 0 ) | 
|  | 599 | mbedtls_printf( "failed\n" ); | 
|  | 600 |  | 
| Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 601 | exit: | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 602 | mbedtls_sha512_free( &ctx ); | 
| Russ Butler | bb83b42 | 2016-10-12 17:36:50 -0500 | [diff] [blame] | 603 | mbedtls_free( buf ); | 
| Paul Bakker | 5b4af39 | 2014-06-26 12:09:34 +0200 | [diff] [blame] | 604 |  | 
|  | 605 | return( ret ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 606 | } | 
|  | 607 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 608 | #endif /* MBEDTLS_SELF_TEST */ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 609 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 610 | #endif /* MBEDTLS_SHA512_C */ |