1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /*
3 * SHA-256, as specified in
4 * http://csrc.nist.gov/groups/STM/cavp/documents/shs/sha256-384-512.pdf
5 *
6 * SHA-256 code by Jean-Luc Cooke <jlcooke@certainkey.com>.
7 *
8 * Copyright (c) Jean-Luc Cooke <jlcooke@certainkey.com>
9 * Copyright (c) Andrew McDonald <andrew@mcdonald.org.uk>
10 * Copyright (c) 2002 James Morris <jmorris@intercode.com.au>
11 * Copyright (c) 2014 Red Hat Inc.
12 */
13
14 #include <linux/bitops.h>
15 #include <linux/export.h>
16 #include <linux/module.h>
17 #include <linux/string.h>
18 #include <crypto/sha.h>
19 #include <asm/unaligned.h>
20 #include <trace/hooks/fips140.h>
21
Ch(u32 x,u32 y,u32 z)22 static inline u32 Ch(u32 x, u32 y, u32 z)
23 {
24 return z ^ (x & (y ^ z));
25 }
26
Maj(u32 x,u32 y,u32 z)27 static inline u32 Maj(u32 x, u32 y, u32 z)
28 {
29 return (x & y) | (z & (x | y));
30 }
31
32 #define e0(x) (ror32(x, 2) ^ ror32(x, 13) ^ ror32(x, 22))
33 #define e1(x) (ror32(x, 6) ^ ror32(x, 11) ^ ror32(x, 25))
34 #define s0(x) (ror32(x, 7) ^ ror32(x, 18) ^ (x >> 3))
35 #define s1(x) (ror32(x, 17) ^ ror32(x, 19) ^ (x >> 10))
36
LOAD_OP(int I,u32 * W,const u8 * input)37 static inline void LOAD_OP(int I, u32 *W, const u8 *input)
38 {
39 W[I] = get_unaligned_be32((__u32 *)input + I);
40 }
41
BLEND_OP(int I,u32 * W)42 static inline void BLEND_OP(int I, u32 *W)
43 {
44 W[I] = s1(W[I-2]) + W[I-7] + s0(W[I-15]) + W[I-16];
45 }
46
sha256_transform(u32 * state,const u8 * input)47 static void sha256_transform(u32 *state, const u8 *input)
48 {
49 u32 a, b, c, d, e, f, g, h, t1, t2;
50 u32 W[64];
51 int i;
52
53 /* load the input */
54 for (i = 0; i < 16; i++)
55 LOAD_OP(i, W, input);
56
57 /* now blend */
58 for (i = 16; i < 64; i++)
59 BLEND_OP(i, W);
60
61 /* load the state into our registers */
62 a = state[0]; b = state[1]; c = state[2]; d = state[3];
63 e = state[4]; f = state[5]; g = state[6]; h = state[7];
64
65 /* now iterate */
66 t1 = h + e1(e) + Ch(e, f, g) + 0x428a2f98 + W[0];
67 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
68 t1 = g + e1(d) + Ch(d, e, f) + 0x71374491 + W[1];
69 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
70 t1 = f + e1(c) + Ch(c, d, e) + 0xb5c0fbcf + W[2];
71 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
72 t1 = e + e1(b) + Ch(b, c, d) + 0xe9b5dba5 + W[3];
73 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
74 t1 = d + e1(a) + Ch(a, b, c) + 0x3956c25b + W[4];
75 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
76 t1 = c + e1(h) + Ch(h, a, b) + 0x59f111f1 + W[5];
77 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
78 t1 = b + e1(g) + Ch(g, h, a) + 0x923f82a4 + W[6];
79 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
80 t1 = a + e1(f) + Ch(f, g, h) + 0xab1c5ed5 + W[7];
81 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1 + t2;
82
83 t1 = h + e1(e) + Ch(e, f, g) + 0xd807aa98 + W[8];
84 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
85 t1 = g + e1(d) + Ch(d, e, f) + 0x12835b01 + W[9];
86 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
87 t1 = f + e1(c) + Ch(c, d, e) + 0x243185be + W[10];
88 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
89 t1 = e + e1(b) + Ch(b, c, d) + 0x550c7dc3 + W[11];
90 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
91 t1 = d + e1(a) + Ch(a, b, c) + 0x72be5d74 + W[12];
92 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
93 t1 = c + e1(h) + Ch(h, a, b) + 0x80deb1fe + W[13];
94 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
95 t1 = b + e1(g) + Ch(g, h, a) + 0x9bdc06a7 + W[14];
96 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
97 t1 = a + e1(f) + Ch(f, g, h) + 0xc19bf174 + W[15];
98 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1 + t2;
99
100 t1 = h + e1(e) + Ch(e, f, g) + 0xe49b69c1 + W[16];
101 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
102 t1 = g + e1(d) + Ch(d, e, f) + 0xefbe4786 + W[17];
103 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
104 t1 = f + e1(c) + Ch(c, d, e) + 0x0fc19dc6 + W[18];
105 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
106 t1 = e + e1(b) + Ch(b, c, d) + 0x240ca1cc + W[19];
107 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
108 t1 = d + e1(a) + Ch(a, b, c) + 0x2de92c6f + W[20];
109 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
110 t1 = c + e1(h) + Ch(h, a, b) + 0x4a7484aa + W[21];
111 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
112 t1 = b + e1(g) + Ch(g, h, a) + 0x5cb0a9dc + W[22];
113 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
114 t1 = a + e1(f) + Ch(f, g, h) + 0x76f988da + W[23];
115 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1 + t2;
116
117 t1 = h + e1(e) + Ch(e, f, g) + 0x983e5152 + W[24];
118 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
119 t1 = g + e1(d) + Ch(d, e, f) + 0xa831c66d + W[25];
120 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
121 t1 = f + e1(c) + Ch(c, d, e) + 0xb00327c8 + W[26];
122 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
123 t1 = e + e1(b) + Ch(b, c, d) + 0xbf597fc7 + W[27];
124 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
125 t1 = d + e1(a) + Ch(a, b, c) + 0xc6e00bf3 + W[28];
126 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
127 t1 = c + e1(h) + Ch(h, a, b) + 0xd5a79147 + W[29];
128 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
129 t1 = b + e1(g) + Ch(g, h, a) + 0x06ca6351 + W[30];
130 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
131 t1 = a + e1(f) + Ch(f, g, h) + 0x14292967 + W[31];
132 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1 + t2;
133
134 t1 = h + e1(e) + Ch(e, f, g) + 0x27b70a85 + W[32];
135 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
136 t1 = g + e1(d) + Ch(d, e, f) + 0x2e1b2138 + W[33];
137 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
138 t1 = f + e1(c) + Ch(c, d, e) + 0x4d2c6dfc + W[34];
139 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
140 t1 = e + e1(b) + Ch(b, c, d) + 0x53380d13 + W[35];
141 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
142 t1 = d + e1(a) + Ch(a, b, c) + 0x650a7354 + W[36];
143 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
144 t1 = c + e1(h) + Ch(h, a, b) + 0x766a0abb + W[37];
145 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
146 t1 = b + e1(g) + Ch(g, h, a) + 0x81c2c92e + W[38];
147 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
148 t1 = a + e1(f) + Ch(f, g, h) + 0x92722c85 + W[39];
149 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1 + t2;
150
151 t1 = h + e1(e) + Ch(e, f, g) + 0xa2bfe8a1 + W[40];
152 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
153 t1 = g + e1(d) + Ch(d, e, f) + 0xa81a664b + W[41];
154 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
155 t1 = f + e1(c) + Ch(c, d, e) + 0xc24b8b70 + W[42];
156 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
157 t1 = e + e1(b) + Ch(b, c, d) + 0xc76c51a3 + W[43];
158 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
159 t1 = d + e1(a) + Ch(a, b, c) + 0xd192e819 + W[44];
160 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
161 t1 = c + e1(h) + Ch(h, a, b) + 0xd6990624 + W[45];
162 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
163 t1 = b + e1(g) + Ch(g, h, a) + 0xf40e3585 + W[46];
164 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
165 t1 = a + e1(f) + Ch(f, g, h) + 0x106aa070 + W[47];
166 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1 + t2;
167
168 t1 = h + e1(e) + Ch(e, f, g) + 0x19a4c116 + W[48];
169 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
170 t1 = g + e1(d) + Ch(d, e, f) + 0x1e376c08 + W[49];
171 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
172 t1 = f + e1(c) + Ch(c, d, e) + 0x2748774c + W[50];
173 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
174 t1 = e + e1(b) + Ch(b, c, d) + 0x34b0bcb5 + W[51];
175 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
176 t1 = d + e1(a) + Ch(a, b, c) + 0x391c0cb3 + W[52];
177 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
178 t1 = c + e1(h) + Ch(h, a, b) + 0x4ed8aa4a + W[53];
179 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
180 t1 = b + e1(g) + Ch(g, h, a) + 0x5b9cca4f + W[54];
181 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
182 t1 = a + e1(f) + Ch(f, g, h) + 0x682e6ff3 + W[55];
183 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1 + t2;
184
185 t1 = h + e1(e) + Ch(e, f, g) + 0x748f82ee + W[56];
186 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
187 t1 = g + e1(d) + Ch(d, e, f) + 0x78a5636f + W[57];
188 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
189 t1 = f + e1(c) + Ch(c, d, e) + 0x84c87814 + W[58];
190 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
191 t1 = e + e1(b) + Ch(b, c, d) + 0x8cc70208 + W[59];
192 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
193 t1 = d + e1(a) + Ch(a, b, c) + 0x90befffa + W[60];
194 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
195 t1 = c + e1(h) + Ch(h, a, b) + 0xa4506ceb + W[61];
196 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
197 t1 = b + e1(g) + Ch(g, h, a) + 0xbef9a3f7 + W[62];
198 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
199 t1 = a + e1(f) + Ch(f, g, h) + 0xc67178f2 + W[63];
200 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1 + t2;
201
202 state[0] += a; state[1] += b; state[2] += c; state[3] += d;
203 state[4] += e; state[5] += f; state[6] += g; state[7] += h;
204
205 /* clear any sensitive info... */
206 a = b = c = d = e = f = g = h = t1 = t2 = 0;
207 memzero_explicit(W, 64 * sizeof(u32));
208 }
209
sha256_update(struct sha256_state * sctx,const u8 * data,unsigned int len)210 void sha256_update(struct sha256_state *sctx, const u8 *data, unsigned int len)
211 {
212 unsigned int partial, done;
213 const u8 *src;
214
215 partial = sctx->count & 0x3f;
216 sctx->count += len;
217 done = 0;
218 src = data;
219
220 if ((partial + len) > 63) {
221 if (partial) {
222 done = -partial;
223 memcpy(sctx->buf + partial, data, done + 64);
224 src = sctx->buf;
225 }
226
227 do {
228 sha256_transform(sctx->state, src);
229 done += 64;
230 src = data + done;
231 } while (done + 63 < len);
232
233 partial = 0;
234 }
235 memcpy(sctx->buf + partial, src, len - done);
236 }
237 EXPORT_SYMBOL(sha256_update);
238
sha224_update(struct sha256_state * sctx,const u8 * data,unsigned int len)239 void sha224_update(struct sha256_state *sctx, const u8 *data, unsigned int len)
240 {
241 sha256_update(sctx, data, len);
242 }
243 EXPORT_SYMBOL(sha224_update);
244
__sha256_final(struct sha256_state * sctx,u8 * out,int digest_words)245 static void __sha256_final(struct sha256_state *sctx, u8 *out, int digest_words)
246 {
247 __be32 *dst = (__be32 *)out;
248 __be64 bits;
249 unsigned int index, pad_len;
250 int i;
251 static const u8 padding[64] = { 0x80, };
252
253 /* Save number of bits */
254 bits = cpu_to_be64(sctx->count << 3);
255
256 /* Pad out to 56 mod 64. */
257 index = sctx->count & 0x3f;
258 pad_len = (index < 56) ? (56 - index) : ((64+56) - index);
259 sha256_update(sctx, padding, pad_len);
260
261 /* Append length (before padding) */
262 sha256_update(sctx, (const u8 *)&bits, sizeof(bits));
263
264 /* Store state in digest */
265 for (i = 0; i < digest_words; i++)
266 put_unaligned_be32(sctx->state[i], &dst[i]);
267
268 /* Zeroize sensitive information. */
269 memset(sctx, 0, sizeof(*sctx));
270 }
271
sha256_final(struct sha256_state * sctx,u8 * out)272 void sha256_final(struct sha256_state *sctx, u8 *out)
273 {
274 __sha256_final(sctx, out, 8);
275 }
276 EXPORT_SYMBOL(sha256_final);
277
sha224_final(struct sha256_state * sctx,u8 * out)278 void sha224_final(struct sha256_state *sctx, u8 *out)
279 {
280 __sha256_final(sctx, out, 7);
281 }
282 EXPORT_SYMBOL(sha224_final);
283
sha256(const u8 * data,unsigned int len,u8 * out)284 void sha256(const u8 *data, unsigned int len, u8 *out)
285 {
286 struct sha256_state sctx;
287
288 #if defined(CONFIG_CRYPTO_FIPS140) && !defined(BUILD_FIPS140_KO)
289 int hook_inuse = 0;
290
291 trace_android_vh_sha256(data, len, out, &hook_inuse);
292 if (hook_inuse)
293 return;
294 #endif
295
296 sha256_init(&sctx);
297 sha256_update(&sctx, data, len);
298 sha256_final(&sctx, out);
299 }
300 EXPORT_SYMBOL(sha256);
301
302 MODULE_LICENSE("GPL");
303