1*f0865ec9SKyle Evans /*
2*f0865ec9SKyle Evans * Copyright (C) 2017 - This file is part of libecc project
3*f0865ec9SKyle Evans *
4*f0865ec9SKyle Evans * Authors:
5*f0865ec9SKyle Evans * Ryad BENADJILA <ryadbenadjila@gmail.com>
6*f0865ec9SKyle Evans * Arnaud EBALARD <arnaud.ebalard@ssi.gouv.fr>
7*f0865ec9SKyle Evans * Jean-Pierre FLORI <jean-pierre.flori@ssi.gouv.fr>
8*f0865ec9SKyle Evans *
9*f0865ec9SKyle Evans * Contributors:
10*f0865ec9SKyle Evans * Nicolas VIVET <nicolas.vivet@ssi.gouv.fr>
11*f0865ec9SKyle Evans * Karim KHALFALLAH <karim.khalfallah@ssi.gouv.fr>
12*f0865ec9SKyle Evans *
13*f0865ec9SKyle Evans * This software is licensed under a dual BSD and GPL v2 license.
14*f0865ec9SKyle Evans * See LICENSE file at the root folder of the project.
15*f0865ec9SKyle Evans */
16*f0865ec9SKyle Evans #include <libecc/lib_ecc_config.h>
17*f0865ec9SKyle Evans #ifdef WITH_HASH_SHA384
18*f0865ec9SKyle Evans
19*f0865ec9SKyle Evans #include <libecc/hash/sha384.h>
20*f0865ec9SKyle Evans
21*f0865ec9SKyle Evans /* SHA-2 core processing. Returns 0 on success, -1 on error. */
sha384_process(sha384_context * ctx,const u8 data[SHA384_BLOCK_SIZE])22*f0865ec9SKyle Evans ATTRIBUTE_WARN_UNUSED_RET static int sha384_process(sha384_context *ctx,
23*f0865ec9SKyle Evans const u8 data[SHA384_BLOCK_SIZE])
24*f0865ec9SKyle Evans {
25*f0865ec9SKyle Evans u64 a, b, c, d, e, f, g, h;
26*f0865ec9SKyle Evans u64 W[80];
27*f0865ec9SKyle Evans unsigned int i;
28*f0865ec9SKyle Evans int ret;
29*f0865ec9SKyle Evans
30*f0865ec9SKyle Evans MUST_HAVE((data != NULL), ret, err);
31*f0865ec9SKyle Evans SHA384_HASH_CHECK_INITIALIZED(ctx, ret, err);
32*f0865ec9SKyle Evans
33*f0865ec9SKyle Evans /* Init our inner variables */
34*f0865ec9SKyle Evans a = ctx->sha384_state[0];
35*f0865ec9SKyle Evans b = ctx->sha384_state[1];
36*f0865ec9SKyle Evans c = ctx->sha384_state[2];
37*f0865ec9SKyle Evans d = ctx->sha384_state[3];
38*f0865ec9SKyle Evans e = ctx->sha384_state[4];
39*f0865ec9SKyle Evans f = ctx->sha384_state[5];
40*f0865ec9SKyle Evans g = ctx->sha384_state[6];
41*f0865ec9SKyle Evans h = ctx->sha384_state[7];
42*f0865ec9SKyle Evans
43*f0865ec9SKyle Evans for (i = 0; i < 16; i++) {
44*f0865ec9SKyle Evans GET_UINT64_BE(W[i], data, 8 * i);
45*f0865ec9SKyle Evans SHA2CORE_SHA512(a, b, c, d, e, f, g, h, W[i], K_SHA512[i]);
46*f0865ec9SKyle Evans }
47*f0865ec9SKyle Evans
48*f0865ec9SKyle Evans for (i = 16; i < 80; i++) {
49*f0865ec9SKyle Evans SHA2CORE_SHA512(a, b, c, d, e, f, g, h, UPDATEW_SHA512(W, i),
50*f0865ec9SKyle Evans K_SHA512[i]);
51*f0865ec9SKyle Evans }
52*f0865ec9SKyle Evans
53*f0865ec9SKyle Evans /* Update state */
54*f0865ec9SKyle Evans ctx->sha384_state[0] += a;
55*f0865ec9SKyle Evans ctx->sha384_state[1] += b;
56*f0865ec9SKyle Evans ctx->sha384_state[2] += c;
57*f0865ec9SKyle Evans ctx->sha384_state[3] += d;
58*f0865ec9SKyle Evans ctx->sha384_state[4] += e;
59*f0865ec9SKyle Evans ctx->sha384_state[5] += f;
60*f0865ec9SKyle Evans ctx->sha384_state[6] += g;
61*f0865ec9SKyle Evans ctx->sha384_state[7] += h;
62*f0865ec9SKyle Evans
63*f0865ec9SKyle Evans ret = 0;
64*f0865ec9SKyle Evans
65*f0865ec9SKyle Evans err:
66*f0865ec9SKyle Evans return ret;
67*f0865ec9SKyle Evans }
68*f0865ec9SKyle Evans
69*f0865ec9SKyle Evans /* Init hash function. Returns 0 on success, -1 on error. */
sha384_init(sha384_context * ctx)70*f0865ec9SKyle Evans int sha384_init(sha384_context *ctx)
71*f0865ec9SKyle Evans {
72*f0865ec9SKyle Evans int ret;
73*f0865ec9SKyle Evans
74*f0865ec9SKyle Evans MUST_HAVE((ctx != NULL), ret, err);
75*f0865ec9SKyle Evans
76*f0865ec9SKyle Evans ctx->sha384_total[0] = ctx->sha384_total[1] = 0;
77*f0865ec9SKyle Evans ctx->sha384_state[0] = (u64)(0xCBBB9D5DC1059ED8);
78*f0865ec9SKyle Evans ctx->sha384_state[1] = (u64)(0x629A292A367CD507);
79*f0865ec9SKyle Evans ctx->sha384_state[2] = (u64)(0x9159015A3070DD17);
80*f0865ec9SKyle Evans ctx->sha384_state[3] = (u64)(0x152FECD8F70E5939);
81*f0865ec9SKyle Evans ctx->sha384_state[4] = (u64)(0x67332667FFC00B31);
82*f0865ec9SKyle Evans ctx->sha384_state[5] = (u64)(0x8EB44A8768581511);
83*f0865ec9SKyle Evans ctx->sha384_state[6] = (u64)(0xDB0C2E0D64F98FA7);
84*f0865ec9SKyle Evans ctx->sha384_state[7] = (u64)(0x47B5481DBEFA4FA4);
85*f0865ec9SKyle Evans
86*f0865ec9SKyle Evans /* Tell that we are initialized */
87*f0865ec9SKyle Evans ctx->magic = SHA384_HASH_MAGIC;
88*f0865ec9SKyle Evans ret = 0;
89*f0865ec9SKyle Evans
90*f0865ec9SKyle Evans err:
91*f0865ec9SKyle Evans return ret;
92*f0865ec9SKyle Evans }
93*f0865ec9SKyle Evans
94*f0865ec9SKyle Evans /* Update hash function. Returns 0 on success, -1 on error. */
sha384_update(sha384_context * ctx,const u8 * input,u32 ilen)95*f0865ec9SKyle Evans int sha384_update(sha384_context *ctx, const u8 *input, u32 ilen)
96*f0865ec9SKyle Evans {
97*f0865ec9SKyle Evans u32 left;
98*f0865ec9SKyle Evans u32 fill;
99*f0865ec9SKyle Evans const u8 *data_ptr = input;
100*f0865ec9SKyle Evans u32 remain_ilen = ilen;
101*f0865ec9SKyle Evans int ret;
102*f0865ec9SKyle Evans
103*f0865ec9SKyle Evans MUST_HAVE((input != NULL), ret, err);
104*f0865ec9SKyle Evans SHA384_HASH_CHECK_INITIALIZED(ctx, ret, err);
105*f0865ec9SKyle Evans
106*f0865ec9SKyle Evans /* Nothing to process, return */
107*f0865ec9SKyle Evans if (ilen == 0) {
108*f0865ec9SKyle Evans ret = 0;
109*f0865ec9SKyle Evans goto err;
110*f0865ec9SKyle Evans }
111*f0865ec9SKyle Evans
112*f0865ec9SKyle Evans /* Get what's left in our local buffer */
113*f0865ec9SKyle Evans left = (ctx->sha384_total[0] & 0x7F);
114*f0865ec9SKyle Evans fill = (SHA384_BLOCK_SIZE - left);
115*f0865ec9SKyle Evans
116*f0865ec9SKyle Evans ADD_UINT128_UINT64(ctx->sha384_total[0], ctx->sha384_total[1], ilen);
117*f0865ec9SKyle Evans
118*f0865ec9SKyle Evans if ((left > 0) && (remain_ilen >= fill)) {
119*f0865ec9SKyle Evans /* Copy data at the end of the buffer */
120*f0865ec9SKyle Evans ret = local_memcpy(ctx->sha384_buffer + left, data_ptr, fill); EG(ret, err);
121*f0865ec9SKyle Evans ret = sha384_process(ctx, ctx->sha384_buffer); EG(ret, err);
122*f0865ec9SKyle Evans data_ptr += fill;
123*f0865ec9SKyle Evans remain_ilen -= fill;
124*f0865ec9SKyle Evans left = 0;
125*f0865ec9SKyle Evans }
126*f0865ec9SKyle Evans
127*f0865ec9SKyle Evans while (remain_ilen >= SHA384_BLOCK_SIZE) {
128*f0865ec9SKyle Evans ret = sha384_process(ctx, data_ptr); EG(ret, err);
129*f0865ec9SKyle Evans data_ptr += SHA384_BLOCK_SIZE;
130*f0865ec9SKyle Evans remain_ilen -= SHA384_BLOCK_SIZE;
131*f0865ec9SKyle Evans }
132*f0865ec9SKyle Evans
133*f0865ec9SKyle Evans if (remain_ilen > 0) {
134*f0865ec9SKyle Evans ret = local_memcpy(ctx->sha384_buffer + left, data_ptr, remain_ilen); EG(ret, err);
135*f0865ec9SKyle Evans }
136*f0865ec9SKyle Evans
137*f0865ec9SKyle Evans ret = 0;
138*f0865ec9SKyle Evans
139*f0865ec9SKyle Evans err:
140*f0865ec9SKyle Evans return ret;
141*f0865ec9SKyle Evans }
142*f0865ec9SKyle Evans
143*f0865ec9SKyle Evans /*
144*f0865ec9SKyle Evans * Finalize hash function. Returns 0 on success, -1 on error. In all
145*f0865ec9SKyle Evans * cases (success or error), hash context is no more usable after the
146*f0865ec9SKyle Evans * call.
147*f0865ec9SKyle Evans */
sha384_final(sha384_context * ctx,u8 output[SHA384_DIGEST_SIZE])148*f0865ec9SKyle Evans int sha384_final(sha384_context *ctx, u8 output[SHA384_DIGEST_SIZE])
149*f0865ec9SKyle Evans {
150*f0865ec9SKyle Evans unsigned int block_present = 0;
151*f0865ec9SKyle Evans u8 last_padded_block[2 * SHA384_BLOCK_SIZE];
152*f0865ec9SKyle Evans int ret;
153*f0865ec9SKyle Evans
154*f0865ec9SKyle Evans MUST_HAVE((output != NULL), ret, err);
155*f0865ec9SKyle Evans SHA384_HASH_CHECK_INITIALIZED(ctx, ret, err);
156*f0865ec9SKyle Evans
157*f0865ec9SKyle Evans /* Fill in our last block with zeroes */
158*f0865ec9SKyle Evans ret = local_memset(last_padded_block, 0, sizeof(last_padded_block)); EG(ret, err);
159*f0865ec9SKyle Evans
160*f0865ec9SKyle Evans /* This is our final step, so we proceed with the padding */
161*f0865ec9SKyle Evans block_present = (ctx->sha384_total[0] % SHA384_BLOCK_SIZE);
162*f0865ec9SKyle Evans if (block_present != 0) {
163*f0865ec9SKyle Evans /* Copy what's left in our temporary context buffer */
164*f0865ec9SKyle Evans ret = local_memcpy(last_padded_block, ctx->sha384_buffer,
165*f0865ec9SKyle Evans block_present); EG(ret, err);
166*f0865ec9SKyle Evans }
167*f0865ec9SKyle Evans
168*f0865ec9SKyle Evans /* Put the 0x80 byte, beginning of padding */
169*f0865ec9SKyle Evans last_padded_block[block_present] = 0x80;
170*f0865ec9SKyle Evans
171*f0865ec9SKyle Evans /* Handle possible additional block */
172*f0865ec9SKyle Evans if (block_present > (SHA384_BLOCK_SIZE - 1 - (2 * sizeof(u64)))) {
173*f0865ec9SKyle Evans /* We need an additional block */
174*f0865ec9SKyle Evans PUT_MUL8_UINT128_BE(ctx->sha384_total[0], ctx->sha384_total[1],
175*f0865ec9SKyle Evans last_padded_block,
176*f0865ec9SKyle Evans 2 * (SHA384_BLOCK_SIZE - sizeof(u64)));
177*f0865ec9SKyle Evans ret = sha384_process(ctx, last_padded_block); EG(ret, err);
178*f0865ec9SKyle Evans ret = sha384_process(ctx, last_padded_block + SHA384_BLOCK_SIZE); EG(ret, err);
179*f0865ec9SKyle Evans } else {
180*f0865ec9SKyle Evans /* We do not need an additional block */
181*f0865ec9SKyle Evans PUT_MUL8_UINT128_BE(ctx->sha384_total[0], ctx->sha384_total[1],
182*f0865ec9SKyle Evans last_padded_block,
183*f0865ec9SKyle Evans SHA384_BLOCK_SIZE - (2 * sizeof(u64)));
184*f0865ec9SKyle Evans ret = sha384_process(ctx, last_padded_block); EG(ret, err);
185*f0865ec9SKyle Evans }
186*f0865ec9SKyle Evans
187*f0865ec9SKyle Evans /* Output the hash result */
188*f0865ec9SKyle Evans PUT_UINT64_BE(ctx->sha384_state[0], output, 0);
189*f0865ec9SKyle Evans PUT_UINT64_BE(ctx->sha384_state[1], output, 8);
190*f0865ec9SKyle Evans PUT_UINT64_BE(ctx->sha384_state[2], output, 16);
191*f0865ec9SKyle Evans PUT_UINT64_BE(ctx->sha384_state[3], output, 24);
192*f0865ec9SKyle Evans PUT_UINT64_BE(ctx->sha384_state[4], output, 32);
193*f0865ec9SKyle Evans PUT_UINT64_BE(ctx->sha384_state[5], output, 40);
194*f0865ec9SKyle Evans
195*f0865ec9SKyle Evans /* Tell that we are uninitialized */
196*f0865ec9SKyle Evans ctx->magic = WORD(0);
197*f0865ec9SKyle Evans
198*f0865ec9SKyle Evans ret = 0;
199*f0865ec9SKyle Evans
200*f0865ec9SKyle Evans err:
201*f0865ec9SKyle Evans return ret;
202*f0865ec9SKyle Evans }
203*f0865ec9SKyle Evans
204*f0865ec9SKyle Evans /*
205*f0865ec9SKyle Evans * Scattered version performing init/update/finalize on a vector of buffers
206*f0865ec9SKyle Evans * 'inputs' with the length of each buffer passed via 'ilens'. The function
207*f0865ec9SKyle Evans * loops on pointers in 'inputs' until it finds a NULL pointer. The function
208*f0865ec9SKyle Evans * returns 0 on success, -1 on error.
209*f0865ec9SKyle Evans */
sha384_scattered(const u8 ** inputs,const u32 * ilens,u8 output[SHA384_DIGEST_SIZE])210*f0865ec9SKyle Evans int sha384_scattered(const u8 **inputs, const u32 *ilens,
211*f0865ec9SKyle Evans u8 output[SHA384_DIGEST_SIZE])
212*f0865ec9SKyle Evans {
213*f0865ec9SKyle Evans sha384_context ctx;
214*f0865ec9SKyle Evans int pos = 0;
215*f0865ec9SKyle Evans int ret;
216*f0865ec9SKyle Evans
217*f0865ec9SKyle Evans MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
218*f0865ec9SKyle Evans
219*f0865ec9SKyle Evans ret = sha384_init(&ctx); EG(ret, err);
220*f0865ec9SKyle Evans
221*f0865ec9SKyle Evans while (inputs[pos] != NULL) {
222*f0865ec9SKyle Evans const u8 *buf = inputs[pos];
223*f0865ec9SKyle Evans u32 buflen = ilens[pos];
224*f0865ec9SKyle Evans
225*f0865ec9SKyle Evans ret = sha384_update(&ctx, buf, buflen); EG(ret, err);
226*f0865ec9SKyle Evans pos += 1;
227*f0865ec9SKyle Evans }
228*f0865ec9SKyle Evans
229*f0865ec9SKyle Evans ret = sha384_final(&ctx, output);
230*f0865ec9SKyle Evans
231*f0865ec9SKyle Evans err:
232*f0865ec9SKyle Evans return ret;
233*f0865ec9SKyle Evans }
234*f0865ec9SKyle Evans
235*f0865ec9SKyle Evans /* init/update/finalize on a single buffer 'input' of length 'ilen'. */
sha384(const u8 * input,u32 ilen,u8 output[SHA384_DIGEST_SIZE])236*f0865ec9SKyle Evans int sha384(const u8 *input, u32 ilen, u8 output[SHA384_DIGEST_SIZE])
237*f0865ec9SKyle Evans {
238*f0865ec9SKyle Evans sha384_context ctx;
239*f0865ec9SKyle Evans int ret;
240*f0865ec9SKyle Evans
241*f0865ec9SKyle Evans ret = sha384_init(&ctx); EG(ret, err);
242*f0865ec9SKyle Evans ret = sha384_update(&ctx, input, ilen); EG(ret, err);
243*f0865ec9SKyle Evans ret = sha384_final(&ctx, output);
244*f0865ec9SKyle Evans
245*f0865ec9SKyle Evans err:
246*f0865ec9SKyle Evans return ret;
247*f0865ec9SKyle Evans }
248*f0865ec9SKyle Evans
249*f0865ec9SKyle Evans #else /* WITH_HASH_SHA384 */
250*f0865ec9SKyle Evans
251*f0865ec9SKyle Evans /*
252*f0865ec9SKyle Evans * Dummy definition to avoid the empty translation unit ISO C warning
253*f0865ec9SKyle Evans */
254*f0865ec9SKyle Evans typedef int dummy;
255*f0865ec9SKyle Evans #endif /* WITH_HASH_SHA384 */
256