xref: /optee_os/lib/libmbedtls/mbedtls/library/sha256.c (revision 7901324d9530594155991c8b283023d567741cc7)
1817466cbSJens Wiklander /*
2817466cbSJens Wiklander  *  FIPS-180-2 compliant SHA-256 implementation
3817466cbSJens Wiklander  *
4*7901324dSJerome Forissier  *  Copyright The Mbed TLS Contributors
5*7901324dSJerome Forissier  *  SPDX-License-Identifier: Apache-2.0
6817466cbSJens Wiklander  *
7817466cbSJens Wiklander  *  Licensed under the Apache License, Version 2.0 (the "License"); you may
8817466cbSJens Wiklander  *  not use this file except in compliance with the License.
9817466cbSJens Wiklander  *  You may obtain a copy of the License at
10817466cbSJens Wiklander  *
11817466cbSJens Wiklander  *  http://www.apache.org/licenses/LICENSE-2.0
12817466cbSJens Wiklander  *
13817466cbSJens Wiklander  *  Unless required by applicable law or agreed to in writing, software
14817466cbSJens Wiklander  *  distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15817466cbSJens Wiklander  *  WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16817466cbSJens Wiklander  *  See the License for the specific language governing permissions and
17817466cbSJens Wiklander  *  limitations under the License.
18817466cbSJens Wiklander  */
19817466cbSJens Wiklander /*
20817466cbSJens Wiklander  *  The SHA-256 Secure Hash Standard was published by NIST in 2002.
21817466cbSJens Wiklander  *
22817466cbSJens Wiklander  *  http://csrc.nist.gov/publications/fips/fips180-2/fips180-2.pdf
23817466cbSJens Wiklander  */
24817466cbSJens Wiklander 
25*7901324dSJerome Forissier #include "common.h"
26817466cbSJens Wiklander 
27817466cbSJens Wiklander #if defined(MBEDTLS_SHA256_C)
28817466cbSJens Wiklander 
29817466cbSJens Wiklander #include "mbedtls/sha256.h"
303d3b0591SJens Wiklander #include "mbedtls/platform_util.h"
3111fa71b9SJerome Forissier #include "mbedtls/error.h"
32817466cbSJens Wiklander 
33817466cbSJens Wiklander #include <string.h>
34817466cbSJens Wiklander 
35817466cbSJens Wiklander #if defined(MBEDTLS_SELF_TEST)
36817466cbSJens Wiklander #if defined(MBEDTLS_PLATFORM_C)
37817466cbSJens Wiklander #include "mbedtls/platform.h"
38817466cbSJens Wiklander #else
39817466cbSJens Wiklander #include <stdio.h>
40817466cbSJens Wiklander #include <stdlib.h>
41817466cbSJens Wiklander #define mbedtls_printf printf
42817466cbSJens Wiklander #define mbedtls_calloc    calloc
43817466cbSJens Wiklander #define mbedtls_free       free
44817466cbSJens Wiklander #endif /* MBEDTLS_PLATFORM_C */
45817466cbSJens Wiklander #endif /* MBEDTLS_SELF_TEST */
46817466cbSJens Wiklander 
473d3b0591SJens Wiklander #define SHA256_VALIDATE_RET(cond)                           \
483d3b0591SJens Wiklander     MBEDTLS_INTERNAL_VALIDATE_RET( cond, MBEDTLS_ERR_SHA256_BAD_INPUT_DATA )
493d3b0591SJens Wiklander #define SHA256_VALIDATE(cond)  MBEDTLS_INTERNAL_VALIDATE( cond )
50817466cbSJens Wiklander 
513d3b0591SJens Wiklander #if !defined(MBEDTLS_SHA256_ALT)
52817466cbSJens Wiklander 
53817466cbSJens Wiklander /*
54817466cbSJens Wiklander  * 32-bit integer manipulation macros (big endian)
55817466cbSJens Wiklander  */
56817466cbSJens Wiklander #ifndef GET_UINT32_BE
57817466cbSJens Wiklander #define GET_UINT32_BE(n,b,i)                            \
58817466cbSJens Wiklander do {                                                    \
59817466cbSJens Wiklander     (n) = ( (uint32_t) (b)[(i)    ] << 24 )             \
60817466cbSJens Wiklander         | ( (uint32_t) (b)[(i) + 1] << 16 )             \
61817466cbSJens Wiklander         | ( (uint32_t) (b)[(i) + 2] <<  8 )             \
62817466cbSJens Wiklander         | ( (uint32_t) (b)[(i) + 3]       );            \
63817466cbSJens Wiklander } while( 0 )
64817466cbSJens Wiklander #endif
65817466cbSJens Wiklander 
66817466cbSJens Wiklander #ifndef PUT_UINT32_BE
67817466cbSJens Wiklander #define PUT_UINT32_BE(n,b,i)                            \
68817466cbSJens Wiklander do {                                                    \
69817466cbSJens Wiklander     (b)[(i)    ] = (unsigned char) ( (n) >> 24 );       \
70817466cbSJens Wiklander     (b)[(i) + 1] = (unsigned char) ( (n) >> 16 );       \
71817466cbSJens Wiklander     (b)[(i) + 2] = (unsigned char) ( (n) >>  8 );       \
72817466cbSJens Wiklander     (b)[(i) + 3] = (unsigned char) ( (n)       );       \
73817466cbSJens Wiklander } while( 0 )
74817466cbSJens Wiklander #endif
75817466cbSJens Wiklander 
76817466cbSJens Wiklander void mbedtls_sha256_init( mbedtls_sha256_context *ctx )
77817466cbSJens Wiklander {
783d3b0591SJens Wiklander     SHA256_VALIDATE( ctx != NULL );
793d3b0591SJens Wiklander 
80817466cbSJens Wiklander     memset( ctx, 0, sizeof( mbedtls_sha256_context ) );
81817466cbSJens Wiklander }
82817466cbSJens Wiklander 
83817466cbSJens Wiklander void mbedtls_sha256_free( mbedtls_sha256_context *ctx )
84817466cbSJens Wiklander {
85817466cbSJens Wiklander     if( ctx == NULL )
86817466cbSJens Wiklander         return;
87817466cbSJens Wiklander 
883d3b0591SJens Wiklander     mbedtls_platform_zeroize( ctx, sizeof( mbedtls_sha256_context ) );
89817466cbSJens Wiklander }
90817466cbSJens Wiklander 
91817466cbSJens Wiklander void mbedtls_sha256_clone( mbedtls_sha256_context *dst,
92817466cbSJens Wiklander                            const mbedtls_sha256_context *src )
93817466cbSJens Wiklander {
943d3b0591SJens Wiklander     SHA256_VALIDATE( dst != NULL );
953d3b0591SJens Wiklander     SHA256_VALIDATE( src != NULL );
963d3b0591SJens Wiklander 
97817466cbSJens Wiklander     *dst = *src;
98817466cbSJens Wiklander }
99817466cbSJens Wiklander 
100817466cbSJens Wiklander /*
101817466cbSJens Wiklander  * SHA-256 context setup
102817466cbSJens Wiklander  */
1033d3b0591SJens Wiklander int mbedtls_sha256_starts_ret( mbedtls_sha256_context *ctx, int is224 )
104817466cbSJens Wiklander {
1053d3b0591SJens Wiklander     SHA256_VALIDATE_RET( ctx != NULL );
1063d3b0591SJens Wiklander     SHA256_VALIDATE_RET( is224 == 0 || is224 == 1 );
1073d3b0591SJens Wiklander 
108817466cbSJens Wiklander     ctx->total[0] = 0;
109817466cbSJens Wiklander     ctx->total[1] = 0;
110817466cbSJens Wiklander 
111817466cbSJens Wiklander     if( is224 == 0 )
112817466cbSJens Wiklander     {
113817466cbSJens Wiklander         /* SHA-256 */
114817466cbSJens Wiklander         ctx->state[0] = 0x6A09E667;
115817466cbSJens Wiklander         ctx->state[1] = 0xBB67AE85;
116817466cbSJens Wiklander         ctx->state[2] = 0x3C6EF372;
117817466cbSJens Wiklander         ctx->state[3] = 0xA54FF53A;
118817466cbSJens Wiklander         ctx->state[4] = 0x510E527F;
119817466cbSJens Wiklander         ctx->state[5] = 0x9B05688C;
120817466cbSJens Wiklander         ctx->state[6] = 0x1F83D9AB;
121817466cbSJens Wiklander         ctx->state[7] = 0x5BE0CD19;
122817466cbSJens Wiklander     }
123817466cbSJens Wiklander     else
124817466cbSJens Wiklander     {
125817466cbSJens Wiklander         /* SHA-224 */
126817466cbSJens Wiklander         ctx->state[0] = 0xC1059ED8;
127817466cbSJens Wiklander         ctx->state[1] = 0x367CD507;
128817466cbSJens Wiklander         ctx->state[2] = 0x3070DD17;
129817466cbSJens Wiklander         ctx->state[3] = 0xF70E5939;
130817466cbSJens Wiklander         ctx->state[4] = 0xFFC00B31;
131817466cbSJens Wiklander         ctx->state[5] = 0x68581511;
132817466cbSJens Wiklander         ctx->state[6] = 0x64F98FA7;
133817466cbSJens Wiklander         ctx->state[7] = 0xBEFA4FA4;
134817466cbSJens Wiklander     }
135817466cbSJens Wiklander 
136817466cbSJens Wiklander     ctx->is224 = is224;
1373d3b0591SJens Wiklander 
1383d3b0591SJens Wiklander     return( 0 );
139817466cbSJens Wiklander }
140817466cbSJens Wiklander 
1413d3b0591SJens Wiklander #if !defined(MBEDTLS_DEPRECATED_REMOVED)
1423d3b0591SJens Wiklander void mbedtls_sha256_starts( mbedtls_sha256_context *ctx,
1433d3b0591SJens Wiklander                             int is224 )
1443d3b0591SJens Wiklander {
1453d3b0591SJens Wiklander     mbedtls_sha256_starts_ret( ctx, is224 );
1463d3b0591SJens Wiklander }
1473d3b0591SJens Wiklander #endif
1483d3b0591SJens Wiklander 
149817466cbSJens Wiklander #if !defined(MBEDTLS_SHA256_PROCESS_ALT)
150817466cbSJens Wiklander static const uint32_t K[] =
151817466cbSJens Wiklander {
152817466cbSJens Wiklander     0x428A2F98, 0x71374491, 0xB5C0FBCF, 0xE9B5DBA5,
153817466cbSJens Wiklander     0x3956C25B, 0x59F111F1, 0x923F82A4, 0xAB1C5ED5,
154817466cbSJens Wiklander     0xD807AA98, 0x12835B01, 0x243185BE, 0x550C7DC3,
155817466cbSJens Wiklander     0x72BE5D74, 0x80DEB1FE, 0x9BDC06A7, 0xC19BF174,
156817466cbSJens Wiklander     0xE49B69C1, 0xEFBE4786, 0x0FC19DC6, 0x240CA1CC,
157817466cbSJens Wiklander     0x2DE92C6F, 0x4A7484AA, 0x5CB0A9DC, 0x76F988DA,
158817466cbSJens Wiklander     0x983E5152, 0xA831C66D, 0xB00327C8, 0xBF597FC7,
159817466cbSJens Wiklander     0xC6E00BF3, 0xD5A79147, 0x06CA6351, 0x14292967,
160817466cbSJens Wiklander     0x27B70A85, 0x2E1B2138, 0x4D2C6DFC, 0x53380D13,
161817466cbSJens Wiklander     0x650A7354, 0x766A0ABB, 0x81C2C92E, 0x92722C85,
162817466cbSJens Wiklander     0xA2BFE8A1, 0xA81A664B, 0xC24B8B70, 0xC76C51A3,
163817466cbSJens Wiklander     0xD192E819, 0xD6990624, 0xF40E3585, 0x106AA070,
164817466cbSJens Wiklander     0x19A4C116, 0x1E376C08, 0x2748774C, 0x34B0BCB5,
165817466cbSJens Wiklander     0x391C0CB3, 0x4ED8AA4A, 0x5B9CCA4F, 0x682E6FF3,
166817466cbSJens Wiklander     0x748F82EE, 0x78A5636F, 0x84C87814, 0x8CC70208,
167817466cbSJens Wiklander     0x90BEFFFA, 0xA4506CEB, 0xBEF9A3F7, 0xC67178F2,
168817466cbSJens Wiklander };
169817466cbSJens Wiklander 
1705b25c76aSJerome Forissier #define  SHR(x,n) (((x) & 0xFFFFFFFF) >> (n))
1715b25c76aSJerome Forissier #define ROTR(x,n) (SHR(x,n) | ((x) << (32 - (n))))
172817466cbSJens Wiklander 
173817466cbSJens Wiklander #define S0(x) (ROTR(x, 7) ^ ROTR(x,18) ^  SHR(x, 3))
174817466cbSJens Wiklander #define S1(x) (ROTR(x,17) ^ ROTR(x,19) ^  SHR(x,10))
175817466cbSJens Wiklander 
176817466cbSJens Wiklander #define S2(x) (ROTR(x, 2) ^ ROTR(x,13) ^ ROTR(x,22))
177817466cbSJens Wiklander #define S3(x) (ROTR(x, 6) ^ ROTR(x,11) ^ ROTR(x,25))
178817466cbSJens Wiklander 
1795b25c76aSJerome Forissier #define F0(x,y,z) (((x) & (y)) | ((z) & ((x) | (y))))
1805b25c76aSJerome Forissier #define F1(x,y,z) ((z) ^ ((x) & ((y) ^ (z))))
181817466cbSJens Wiklander 
182817466cbSJens Wiklander #define R(t)                                                        \
183817466cbSJens Wiklander     (                                                               \
184*7901324dSJerome Forissier         local.W[t] = S1(local.W[(t) -  2]) + local.W[(t) -  7] +    \
185*7901324dSJerome Forissier                      S0(local.W[(t) - 15]) + local.W[(t) - 16]      \
186817466cbSJens Wiklander     )
187817466cbSJens Wiklander 
188817466cbSJens Wiklander #define P(a,b,c,d,e,f,g,h,x,K)                                      \
1895b25c76aSJerome Forissier     do                                                              \
190817466cbSJens Wiklander     {                                                               \
191*7901324dSJerome Forissier         local.temp1 = (h) + S3(e) + F1((e),(f),(g)) + (K) + (x);    \
192*7901324dSJerome Forissier         local.temp2 = S2(a) + F0((a),(b),(c));                      \
193*7901324dSJerome Forissier         (d) += local.temp1; (h) = local.temp1 + local.temp2;        \
1945b25c76aSJerome Forissier     } while( 0 )
195817466cbSJens Wiklander 
1963d3b0591SJens Wiklander int mbedtls_internal_sha256_process( mbedtls_sha256_context *ctx,
1973d3b0591SJens Wiklander                                 const unsigned char data[64] )
198817466cbSJens Wiklander {
199*7901324dSJerome Forissier     struct
200*7901324dSJerome Forissier     {
201817466cbSJens Wiklander         uint32_t temp1, temp2, W[64];
202817466cbSJens Wiklander         uint32_t A[8];
203*7901324dSJerome Forissier     } local;
204*7901324dSJerome Forissier 
205817466cbSJens Wiklander     unsigned int i;
206817466cbSJens Wiklander 
2073d3b0591SJens Wiklander     SHA256_VALIDATE_RET( ctx != NULL );
2083d3b0591SJens Wiklander     SHA256_VALIDATE_RET( (const unsigned char *)data != NULL );
2093d3b0591SJens Wiklander 
210817466cbSJens Wiklander     for( i = 0; i < 8; i++ )
211*7901324dSJerome Forissier         local.A[i] = ctx->state[i];
212817466cbSJens Wiklander 
213817466cbSJens Wiklander #if defined(MBEDTLS_SHA256_SMALLER)
214817466cbSJens Wiklander     for( i = 0; i < 64; i++ )
215817466cbSJens Wiklander     {
216817466cbSJens Wiklander         if( i < 16 )
217*7901324dSJerome Forissier             GET_UINT32_BE( local.W[i], data, 4 * i );
218817466cbSJens Wiklander         else
219817466cbSJens Wiklander             R( i );
220817466cbSJens Wiklander 
221*7901324dSJerome Forissier         P( local.A[0], local.A[1], local.A[2], local.A[3], local.A[4],
222*7901324dSJerome Forissier            local.A[5], local.A[6], local.A[7], local.W[i], K[i] );
223817466cbSJens Wiklander 
224*7901324dSJerome Forissier         local.temp1 = local.A[7]; local.A[7] = local.A[6];
225*7901324dSJerome Forissier         local.A[6] = local.A[5]; local.A[5] = local.A[4];
226*7901324dSJerome Forissier         local.A[4] = local.A[3]; local.A[3] = local.A[2];
227*7901324dSJerome Forissier         local.A[2] = local.A[1]; local.A[1] = local.A[0];
228*7901324dSJerome Forissier         local.A[0] = local.temp1;
229817466cbSJens Wiklander     }
230817466cbSJens Wiklander #else /* MBEDTLS_SHA256_SMALLER */
231817466cbSJens Wiklander     for( i = 0; i < 16; i++ )
232*7901324dSJerome Forissier         GET_UINT32_BE( local.W[i], data, 4 * i );
233817466cbSJens Wiklander 
234817466cbSJens Wiklander     for( i = 0; i < 16; i += 8 )
235817466cbSJens Wiklander     {
236*7901324dSJerome Forissier         P( local.A[0], local.A[1], local.A[2], local.A[3], local.A[4],
237*7901324dSJerome Forissier            local.A[5], local.A[6], local.A[7], local.W[i+0], K[i+0] );
238*7901324dSJerome Forissier         P( local.A[7], local.A[0], local.A[1], local.A[2], local.A[3],
239*7901324dSJerome Forissier            local.A[4], local.A[5], local.A[6], local.W[i+1], K[i+1] );
240*7901324dSJerome Forissier         P( local.A[6], local.A[7], local.A[0], local.A[1], local.A[2],
241*7901324dSJerome Forissier            local.A[3], local.A[4], local.A[5], local.W[i+2], K[i+2] );
242*7901324dSJerome Forissier         P( local.A[5], local.A[6], local.A[7], local.A[0], local.A[1],
243*7901324dSJerome Forissier            local.A[2], local.A[3], local.A[4], local.W[i+3], K[i+3] );
244*7901324dSJerome Forissier         P( local.A[4], local.A[5], local.A[6], local.A[7], local.A[0],
245*7901324dSJerome Forissier            local.A[1], local.A[2], local.A[3], local.W[i+4], K[i+4] );
246*7901324dSJerome Forissier         P( local.A[3], local.A[4], local.A[5], local.A[6], local.A[7],
247*7901324dSJerome Forissier            local.A[0], local.A[1], local.A[2], local.W[i+5], K[i+5] );
248*7901324dSJerome Forissier         P( local.A[2], local.A[3], local.A[4], local.A[5], local.A[6],
249*7901324dSJerome Forissier            local.A[7], local.A[0], local.A[1], local.W[i+6], K[i+6] );
250*7901324dSJerome Forissier         P( local.A[1], local.A[2], local.A[3], local.A[4], local.A[5],
251*7901324dSJerome Forissier            local.A[6], local.A[7], local.A[0], local.W[i+7], K[i+7] );
252817466cbSJens Wiklander     }
253817466cbSJens Wiklander 
254817466cbSJens Wiklander     for( i = 16; i < 64; i += 8 )
255817466cbSJens Wiklander     {
256*7901324dSJerome Forissier         P( local.A[0], local.A[1], local.A[2], local.A[3], local.A[4],
257*7901324dSJerome Forissier            local.A[5], local.A[6], local.A[7], R(i+0), K[i+0] );
258*7901324dSJerome Forissier         P( local.A[7], local.A[0], local.A[1], local.A[2], local.A[3],
259*7901324dSJerome Forissier            local.A[4], local.A[5], local.A[6], R(i+1), K[i+1] );
260*7901324dSJerome Forissier         P( local.A[6], local.A[7], local.A[0], local.A[1], local.A[2],
261*7901324dSJerome Forissier            local.A[3], local.A[4], local.A[5], R(i+2), K[i+2] );
262*7901324dSJerome Forissier         P( local.A[5], local.A[6], local.A[7], local.A[0], local.A[1],
263*7901324dSJerome Forissier            local.A[2], local.A[3], local.A[4], R(i+3), K[i+3] );
264*7901324dSJerome Forissier         P( local.A[4], local.A[5], local.A[6], local.A[7], local.A[0],
265*7901324dSJerome Forissier            local.A[1], local.A[2], local.A[3], R(i+4), K[i+4] );
266*7901324dSJerome Forissier         P( local.A[3], local.A[4], local.A[5], local.A[6], local.A[7],
267*7901324dSJerome Forissier            local.A[0], local.A[1], local.A[2], R(i+5), K[i+5] );
268*7901324dSJerome Forissier         P( local.A[2], local.A[3], local.A[4], local.A[5], local.A[6],
269*7901324dSJerome Forissier            local.A[7], local.A[0], local.A[1], R(i+6), K[i+6] );
270*7901324dSJerome Forissier         P( local.A[1], local.A[2], local.A[3], local.A[4], local.A[5],
271*7901324dSJerome Forissier            local.A[6], local.A[7], local.A[0], R(i+7), K[i+7] );
272817466cbSJens Wiklander     }
273817466cbSJens Wiklander #endif /* MBEDTLS_SHA256_SMALLER */
274817466cbSJens Wiklander 
275817466cbSJens Wiklander     for( i = 0; i < 8; i++ )
276*7901324dSJerome Forissier         ctx->state[i] += local.A[i];
277*7901324dSJerome Forissier 
278*7901324dSJerome Forissier     /* Zeroise buffers and variables to clear sensitive data from memory. */
279*7901324dSJerome Forissier     mbedtls_platform_zeroize( &local, sizeof( local ) );
2803d3b0591SJens Wiklander 
2813d3b0591SJens Wiklander     return( 0 );
282817466cbSJens Wiklander }
2833d3b0591SJens Wiklander 
2843d3b0591SJens Wiklander #if !defined(MBEDTLS_DEPRECATED_REMOVED)
2853d3b0591SJens Wiklander void mbedtls_sha256_process( mbedtls_sha256_context *ctx,
2863d3b0591SJens Wiklander                              const unsigned char data[64] )
2873d3b0591SJens Wiklander {
2883d3b0591SJens Wiklander     mbedtls_internal_sha256_process( ctx, data );
2893d3b0591SJens Wiklander }
2903d3b0591SJens Wiklander #endif
291817466cbSJens Wiklander #endif /* !MBEDTLS_SHA256_PROCESS_ALT */
292817466cbSJens Wiklander 
293817466cbSJens Wiklander /*
294817466cbSJens Wiklander  * SHA-256 process buffer
295817466cbSJens Wiklander  */
2963d3b0591SJens Wiklander int mbedtls_sha256_update_ret( mbedtls_sha256_context *ctx,
2973d3b0591SJens Wiklander                                const unsigned char *input,
298817466cbSJens Wiklander                                size_t ilen )
299817466cbSJens Wiklander {
30011fa71b9SJerome Forissier     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
301817466cbSJens Wiklander     size_t fill;
302817466cbSJens Wiklander     uint32_t left;
303817466cbSJens Wiklander 
3043d3b0591SJens Wiklander     SHA256_VALIDATE_RET( ctx != NULL );
3053d3b0591SJens Wiklander     SHA256_VALIDATE_RET( ilen == 0 || input != NULL );
3063d3b0591SJens Wiklander 
307817466cbSJens Wiklander     if( ilen == 0 )
3083d3b0591SJens Wiklander         return( 0 );
309817466cbSJens Wiklander 
310817466cbSJens Wiklander     left = ctx->total[0] & 0x3F;
311817466cbSJens Wiklander     fill = 64 - left;
312817466cbSJens Wiklander 
313817466cbSJens Wiklander     ctx->total[0] += (uint32_t) ilen;
314817466cbSJens Wiklander     ctx->total[0] &= 0xFFFFFFFF;
315817466cbSJens Wiklander 
316817466cbSJens Wiklander     if( ctx->total[0] < (uint32_t) ilen )
317817466cbSJens Wiklander         ctx->total[1]++;
318817466cbSJens Wiklander 
319817466cbSJens Wiklander     if( left && ilen >= fill )
320817466cbSJens Wiklander     {
321817466cbSJens Wiklander         memcpy( (void *) (ctx->buffer + left), input, fill );
3223d3b0591SJens Wiklander 
3233d3b0591SJens Wiklander         if( ( ret = mbedtls_internal_sha256_process( ctx, ctx->buffer ) ) != 0 )
3243d3b0591SJens Wiklander             return( ret );
3253d3b0591SJens Wiklander 
326817466cbSJens Wiklander         input += fill;
327817466cbSJens Wiklander         ilen  -= fill;
328817466cbSJens Wiklander         left = 0;
329817466cbSJens Wiklander     }
330817466cbSJens Wiklander 
331817466cbSJens Wiklander     while( ilen >= 64 )
332817466cbSJens Wiklander     {
3333d3b0591SJens Wiklander         if( ( ret = mbedtls_internal_sha256_process( ctx, input ) ) != 0 )
3343d3b0591SJens Wiklander             return( ret );
3353d3b0591SJens Wiklander 
336817466cbSJens Wiklander         input += 64;
337817466cbSJens Wiklander         ilen  -= 64;
338817466cbSJens Wiklander     }
339817466cbSJens Wiklander 
340817466cbSJens Wiklander     if( ilen > 0 )
341817466cbSJens Wiklander         memcpy( (void *) (ctx->buffer + left), input, ilen );
3423d3b0591SJens Wiklander 
3433d3b0591SJens Wiklander     return( 0 );
344817466cbSJens Wiklander }
345817466cbSJens Wiklander 
3463d3b0591SJens Wiklander #if !defined(MBEDTLS_DEPRECATED_REMOVED)
3473d3b0591SJens Wiklander void mbedtls_sha256_update( mbedtls_sha256_context *ctx,
3483d3b0591SJens Wiklander                             const unsigned char *input,
3493d3b0591SJens Wiklander                             size_t ilen )
350817466cbSJens Wiklander {
3513d3b0591SJens Wiklander     mbedtls_sha256_update_ret( ctx, input, ilen );
3523d3b0591SJens Wiklander }
3533d3b0591SJens Wiklander #endif
354817466cbSJens Wiklander 
355817466cbSJens Wiklander /*
356817466cbSJens Wiklander  * SHA-256 final digest
357817466cbSJens Wiklander  */
3583d3b0591SJens Wiklander int mbedtls_sha256_finish_ret( mbedtls_sha256_context *ctx,
3593d3b0591SJens Wiklander                                unsigned char output[32] )
360817466cbSJens Wiklander {
36111fa71b9SJerome Forissier     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
3623d3b0591SJens Wiklander     uint32_t used;
363817466cbSJens Wiklander     uint32_t high, low;
364817466cbSJens Wiklander 
3653d3b0591SJens Wiklander     SHA256_VALIDATE_RET( ctx != NULL );
3663d3b0591SJens Wiklander     SHA256_VALIDATE_RET( (unsigned char *)output != NULL );
3673d3b0591SJens Wiklander 
3683d3b0591SJens Wiklander     /*
3693d3b0591SJens Wiklander      * Add padding: 0x80 then 0x00 until 8 bytes remain for the length
3703d3b0591SJens Wiklander      */
3713d3b0591SJens Wiklander     used = ctx->total[0] & 0x3F;
3723d3b0591SJens Wiklander 
3733d3b0591SJens Wiklander     ctx->buffer[used++] = 0x80;
3743d3b0591SJens Wiklander 
3753d3b0591SJens Wiklander     if( used <= 56 )
3763d3b0591SJens Wiklander     {
3773d3b0591SJens Wiklander         /* Enough room for padding + length in current block */
3783d3b0591SJens Wiklander         memset( ctx->buffer + used, 0, 56 - used );
3793d3b0591SJens Wiklander     }
3803d3b0591SJens Wiklander     else
3813d3b0591SJens Wiklander     {
3823d3b0591SJens Wiklander         /* We'll need an extra block */
3833d3b0591SJens Wiklander         memset( ctx->buffer + used, 0, 64 - used );
3843d3b0591SJens Wiklander 
3853d3b0591SJens Wiklander         if( ( ret = mbedtls_internal_sha256_process( ctx, ctx->buffer ) ) != 0 )
3863d3b0591SJens Wiklander             return( ret );
3873d3b0591SJens Wiklander 
3883d3b0591SJens Wiklander         memset( ctx->buffer, 0, 56 );
3893d3b0591SJens Wiklander     }
3903d3b0591SJens Wiklander 
3913d3b0591SJens Wiklander     /*
3923d3b0591SJens Wiklander      * Add message length
3933d3b0591SJens Wiklander      */
394817466cbSJens Wiklander     high = ( ctx->total[0] >> 29 )
395817466cbSJens Wiklander          | ( ctx->total[1] <<  3 );
396817466cbSJens Wiklander     low  = ( ctx->total[0] <<  3 );
397817466cbSJens Wiklander 
3983d3b0591SJens Wiklander     PUT_UINT32_BE( high, ctx->buffer, 56 );
3993d3b0591SJens Wiklander     PUT_UINT32_BE( low,  ctx->buffer, 60 );
400817466cbSJens Wiklander 
4013d3b0591SJens Wiklander     if( ( ret = mbedtls_internal_sha256_process( ctx, ctx->buffer ) ) != 0 )
4023d3b0591SJens Wiklander         return( ret );
403817466cbSJens Wiklander 
4043d3b0591SJens Wiklander     /*
4053d3b0591SJens Wiklander      * Output final state
4063d3b0591SJens Wiklander      */
407817466cbSJens Wiklander     PUT_UINT32_BE( ctx->state[0], output,  0 );
408817466cbSJens Wiklander     PUT_UINT32_BE( ctx->state[1], output,  4 );
409817466cbSJens Wiklander     PUT_UINT32_BE( ctx->state[2], output,  8 );
410817466cbSJens Wiklander     PUT_UINT32_BE( ctx->state[3], output, 12 );
411817466cbSJens Wiklander     PUT_UINT32_BE( ctx->state[4], output, 16 );
412817466cbSJens Wiklander     PUT_UINT32_BE( ctx->state[5], output, 20 );
413817466cbSJens Wiklander     PUT_UINT32_BE( ctx->state[6], output, 24 );
414817466cbSJens Wiklander 
415817466cbSJens Wiklander     if( ctx->is224 == 0 )
416817466cbSJens Wiklander         PUT_UINT32_BE( ctx->state[7], output, 28 );
4173d3b0591SJens Wiklander 
4183d3b0591SJens Wiklander     return( 0 );
419817466cbSJens Wiklander }
420817466cbSJens Wiklander 
4213d3b0591SJens Wiklander #if !defined(MBEDTLS_DEPRECATED_REMOVED)
4223d3b0591SJens Wiklander void mbedtls_sha256_finish( mbedtls_sha256_context *ctx,
4233d3b0591SJens Wiklander                             unsigned char output[32] )
4243d3b0591SJens Wiklander {
4253d3b0591SJens Wiklander     mbedtls_sha256_finish_ret( ctx, output );
4263d3b0591SJens Wiklander }
4273d3b0591SJens Wiklander #endif
4283d3b0591SJens Wiklander 
429817466cbSJens Wiklander #endif /* !MBEDTLS_SHA256_ALT */
430817466cbSJens Wiklander 
431817466cbSJens Wiklander /*
432817466cbSJens Wiklander  * output = SHA-256( input buffer )
433817466cbSJens Wiklander  */
4343d3b0591SJens Wiklander int mbedtls_sha256_ret( const unsigned char *input,
4353d3b0591SJens Wiklander                         size_t ilen,
4363d3b0591SJens Wiklander                         unsigned char output[32],
4373d3b0591SJens Wiklander                         int is224 )
438817466cbSJens Wiklander {
43911fa71b9SJerome Forissier     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
440817466cbSJens Wiklander     mbedtls_sha256_context ctx;
441817466cbSJens Wiklander 
4423d3b0591SJens Wiklander     SHA256_VALIDATE_RET( is224 == 0 || is224 == 1 );
4433d3b0591SJens Wiklander     SHA256_VALIDATE_RET( ilen == 0 || input != NULL );
4443d3b0591SJens Wiklander     SHA256_VALIDATE_RET( (unsigned char *)output != NULL );
4453d3b0591SJens Wiklander 
446817466cbSJens Wiklander     mbedtls_sha256_init( &ctx );
4473d3b0591SJens Wiklander 
4483d3b0591SJens Wiklander     if( ( ret = mbedtls_sha256_starts_ret( &ctx, is224 ) ) != 0 )
4493d3b0591SJens Wiklander         goto exit;
4503d3b0591SJens Wiklander 
4513d3b0591SJens Wiklander     if( ( ret = mbedtls_sha256_update_ret( &ctx, input, ilen ) ) != 0 )
4523d3b0591SJens Wiklander         goto exit;
4533d3b0591SJens Wiklander 
4543d3b0591SJens Wiklander     if( ( ret = mbedtls_sha256_finish_ret( &ctx, output ) ) != 0 )
4553d3b0591SJens Wiklander         goto exit;
4563d3b0591SJens Wiklander 
4573d3b0591SJens Wiklander exit:
458817466cbSJens Wiklander     mbedtls_sha256_free( &ctx );
4593d3b0591SJens Wiklander 
4603d3b0591SJens Wiklander     return( ret );
461817466cbSJens Wiklander }
462817466cbSJens Wiklander 
4633d3b0591SJens Wiklander #if !defined(MBEDTLS_DEPRECATED_REMOVED)
4643d3b0591SJens Wiklander void mbedtls_sha256( const unsigned char *input,
4653d3b0591SJens Wiklander                      size_t ilen,
4663d3b0591SJens Wiklander                      unsigned char output[32],
4673d3b0591SJens Wiklander                      int is224 )
4683d3b0591SJens Wiklander {
4693d3b0591SJens Wiklander     mbedtls_sha256_ret( input, ilen, output, is224 );
4703d3b0591SJens Wiklander }
4713d3b0591SJens Wiklander #endif
4723d3b0591SJens Wiklander 
473817466cbSJens Wiklander #if defined(MBEDTLS_SELF_TEST)
474817466cbSJens Wiklander /*
475817466cbSJens Wiklander  * FIPS-180-2 test vectors
476817466cbSJens Wiklander  */
477817466cbSJens Wiklander static const unsigned char sha256_test_buf[3][57] =
478817466cbSJens Wiklander {
479817466cbSJens Wiklander     { "abc" },
480817466cbSJens Wiklander     { "abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq" },
481817466cbSJens Wiklander     { "" }
482817466cbSJens Wiklander };
483817466cbSJens Wiklander 
4843d3b0591SJens Wiklander static const size_t sha256_test_buflen[3] =
485817466cbSJens Wiklander {
486817466cbSJens Wiklander     3, 56, 1000
487817466cbSJens Wiklander };
488817466cbSJens Wiklander 
489817466cbSJens Wiklander static const unsigned char sha256_test_sum[6][32] =
490817466cbSJens Wiklander {
491817466cbSJens Wiklander     /*
492817466cbSJens Wiklander      * SHA-224 test vectors
493817466cbSJens Wiklander      */
494817466cbSJens Wiklander     { 0x23, 0x09, 0x7D, 0x22, 0x34, 0x05, 0xD8, 0x22,
495817466cbSJens Wiklander       0x86, 0x42, 0xA4, 0x77, 0xBD, 0xA2, 0x55, 0xB3,
496817466cbSJens Wiklander       0x2A, 0xAD, 0xBC, 0xE4, 0xBD, 0xA0, 0xB3, 0xF7,
497817466cbSJens Wiklander       0xE3, 0x6C, 0x9D, 0xA7 },
498817466cbSJens Wiklander     { 0x75, 0x38, 0x8B, 0x16, 0x51, 0x27, 0x76, 0xCC,
499817466cbSJens Wiklander       0x5D, 0xBA, 0x5D, 0xA1, 0xFD, 0x89, 0x01, 0x50,
500817466cbSJens Wiklander       0xB0, 0xC6, 0x45, 0x5C, 0xB4, 0xF5, 0x8B, 0x19,
501817466cbSJens Wiklander       0x52, 0x52, 0x25, 0x25 },
502817466cbSJens Wiklander     { 0x20, 0x79, 0x46, 0x55, 0x98, 0x0C, 0x91, 0xD8,
503817466cbSJens Wiklander       0xBB, 0xB4, 0xC1, 0xEA, 0x97, 0x61, 0x8A, 0x4B,
504817466cbSJens Wiklander       0xF0, 0x3F, 0x42, 0x58, 0x19, 0x48, 0xB2, 0xEE,
505817466cbSJens Wiklander       0x4E, 0xE7, 0xAD, 0x67 },
506817466cbSJens Wiklander 
507817466cbSJens Wiklander     /*
508817466cbSJens Wiklander      * SHA-256 test vectors
509817466cbSJens Wiklander      */
510817466cbSJens Wiklander     { 0xBA, 0x78, 0x16, 0xBF, 0x8F, 0x01, 0xCF, 0xEA,
511817466cbSJens Wiklander       0x41, 0x41, 0x40, 0xDE, 0x5D, 0xAE, 0x22, 0x23,
512817466cbSJens Wiklander       0xB0, 0x03, 0x61, 0xA3, 0x96, 0x17, 0x7A, 0x9C,
513817466cbSJens Wiklander       0xB4, 0x10, 0xFF, 0x61, 0xF2, 0x00, 0x15, 0xAD },
514817466cbSJens Wiklander     { 0x24, 0x8D, 0x6A, 0x61, 0xD2, 0x06, 0x38, 0xB8,
515817466cbSJens Wiklander       0xE5, 0xC0, 0x26, 0x93, 0x0C, 0x3E, 0x60, 0x39,
516817466cbSJens Wiklander       0xA3, 0x3C, 0xE4, 0x59, 0x64, 0xFF, 0x21, 0x67,
517817466cbSJens Wiklander       0xF6, 0xEC, 0xED, 0xD4, 0x19, 0xDB, 0x06, 0xC1 },
518817466cbSJens Wiklander     { 0xCD, 0xC7, 0x6E, 0x5C, 0x99, 0x14, 0xFB, 0x92,
519817466cbSJens Wiklander       0x81, 0xA1, 0xC7, 0xE2, 0x84, 0xD7, 0x3E, 0x67,
520817466cbSJens Wiklander       0xF1, 0x80, 0x9A, 0x48, 0xA4, 0x97, 0x20, 0x0E,
521817466cbSJens Wiklander       0x04, 0x6D, 0x39, 0xCC, 0xC7, 0x11, 0x2C, 0xD0 }
522817466cbSJens Wiklander };
523817466cbSJens Wiklander 
524817466cbSJens Wiklander /*
525817466cbSJens Wiklander  * Checkup routine
526817466cbSJens Wiklander  */
527817466cbSJens Wiklander int mbedtls_sha256_self_test( int verbose )
528817466cbSJens Wiklander {
529817466cbSJens Wiklander     int i, j, k, buflen, ret = 0;
530817466cbSJens Wiklander     unsigned char *buf;
531817466cbSJens Wiklander     unsigned char sha256sum[32];
532817466cbSJens Wiklander     mbedtls_sha256_context ctx;
533817466cbSJens Wiklander 
534817466cbSJens Wiklander     buf = mbedtls_calloc( 1024, sizeof(unsigned char) );
535817466cbSJens Wiklander     if( NULL == buf )
536817466cbSJens Wiklander     {
537817466cbSJens Wiklander         if( verbose != 0 )
538817466cbSJens Wiklander             mbedtls_printf( "Buffer allocation failed\n" );
539817466cbSJens Wiklander 
540817466cbSJens Wiklander         return( 1 );
541817466cbSJens Wiklander     }
542817466cbSJens Wiklander 
543817466cbSJens Wiklander     mbedtls_sha256_init( &ctx );
544817466cbSJens Wiklander 
545817466cbSJens Wiklander     for( i = 0; i < 6; i++ )
546817466cbSJens Wiklander     {
547817466cbSJens Wiklander         j = i % 3;
548817466cbSJens Wiklander         k = i < 3;
549817466cbSJens Wiklander 
550817466cbSJens Wiklander         if( verbose != 0 )
551817466cbSJens Wiklander             mbedtls_printf( "  SHA-%d test #%d: ", 256 - k * 32, j + 1 );
552817466cbSJens Wiklander 
5533d3b0591SJens Wiklander         if( ( ret = mbedtls_sha256_starts_ret( &ctx, k ) ) != 0 )
5543d3b0591SJens Wiklander             goto fail;
555817466cbSJens Wiklander 
556817466cbSJens Wiklander         if( j == 2 )
557817466cbSJens Wiklander         {
558817466cbSJens Wiklander             memset( buf, 'a', buflen = 1000 );
559817466cbSJens Wiklander 
560817466cbSJens Wiklander             for( j = 0; j < 1000; j++ )
5613d3b0591SJens Wiklander             {
5623d3b0591SJens Wiklander                 ret = mbedtls_sha256_update_ret( &ctx, buf, buflen );
5633d3b0591SJens Wiklander                 if( ret != 0 )
5643d3b0591SJens Wiklander                     goto fail;
5653d3b0591SJens Wiklander             }
5663d3b0591SJens Wiklander 
567817466cbSJens Wiklander         }
568817466cbSJens Wiklander         else
5693d3b0591SJens Wiklander         {
5703d3b0591SJens Wiklander             ret = mbedtls_sha256_update_ret( &ctx, sha256_test_buf[j],
571817466cbSJens Wiklander                                              sha256_test_buflen[j] );
5723d3b0591SJens Wiklander             if( ret != 0 )
5733d3b0591SJens Wiklander                  goto fail;
5743d3b0591SJens Wiklander         }
575817466cbSJens Wiklander 
5763d3b0591SJens Wiklander         if( ( ret = mbedtls_sha256_finish_ret( &ctx, sha256sum ) ) != 0 )
5773d3b0591SJens Wiklander             goto fail;
5783d3b0591SJens Wiklander 
579817466cbSJens Wiklander 
580817466cbSJens Wiklander         if( memcmp( sha256sum, sha256_test_sum[i], 32 - k * 4 ) != 0 )
581817466cbSJens Wiklander         {
582817466cbSJens Wiklander             ret = 1;
5833d3b0591SJens Wiklander             goto fail;
584817466cbSJens Wiklander         }
585817466cbSJens Wiklander 
586817466cbSJens Wiklander         if( verbose != 0 )
587817466cbSJens Wiklander             mbedtls_printf( "passed\n" );
588817466cbSJens Wiklander     }
589817466cbSJens Wiklander 
590817466cbSJens Wiklander     if( verbose != 0 )
591817466cbSJens Wiklander         mbedtls_printf( "\n" );
592817466cbSJens Wiklander 
5933d3b0591SJens Wiklander     goto exit;
5943d3b0591SJens Wiklander 
5953d3b0591SJens Wiklander fail:
5963d3b0591SJens Wiklander     if( verbose != 0 )
5973d3b0591SJens Wiklander         mbedtls_printf( "failed\n" );
5983d3b0591SJens Wiklander 
599817466cbSJens Wiklander exit:
600817466cbSJens Wiklander     mbedtls_sha256_free( &ctx );
601817466cbSJens Wiklander     mbedtls_free( buf );
602817466cbSJens Wiklander 
603817466cbSJens Wiklander     return( ret );
604817466cbSJens Wiklander }
605817466cbSJens Wiklander 
606817466cbSJens Wiklander #endif /* MBEDTLS_SELF_TEST */
607817466cbSJens Wiklander 
608817466cbSJens Wiklander #endif /* MBEDTLS_SHA256_C */
609