Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
tjh.dev
kernel
os
linux
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/sha256.h>
16#include <linux/string.h>
17#include <asm/byteorder.h>
18
19static inline u32 Ch(u32 x, u32 y, u32 z)
20{
21 return z ^ (x & (y ^ z));
22}
23
24static inline u32 Maj(u32 x, u32 y, u32 z)
25{
26 return (x & y) | (z & (x | y));
27}
28
29#define e0(x) (ror32(x, 2) ^ ror32(x, 13) ^ ror32(x, 22))
30#define e1(x) (ror32(x, 6) ^ ror32(x, 11) ^ ror32(x, 25))
31#define s0(x) (ror32(x, 7) ^ ror32(x, 18) ^ (x >> 3))
32#define s1(x) (ror32(x, 17) ^ ror32(x, 19) ^ (x >> 10))
33
34static inline void LOAD_OP(int I, u32 *W, const u8 *input)
35{
36 W[I] = __be32_to_cpu(((__be32 *)(input))[I]);
37}
38
39static inline void BLEND_OP(int I, u32 *W)
40{
41 W[I] = s1(W[I-2]) + W[I-7] + s0(W[I-15]) + W[I-16];
42}
43
44static void sha256_transform(u32 *state, const u8 *input)
45{
46 u32 a, b, c, d, e, f, g, h, t1, t2;
47 u32 W[64];
48 int i;
49
50 /* load the input */
51 for (i = 0; i < 16; i++)
52 LOAD_OP(i, W, input);
53
54 /* now blend */
55 for (i = 16; i < 64; i++)
56 BLEND_OP(i, W);
57
58 /* load the state into our registers */
59 a = state[0]; b = state[1]; c = state[2]; d = state[3];
60 e = state[4]; f = state[5]; g = state[6]; h = state[7];
61
62 /* now iterate */
63 t1 = h + e1(e) + Ch(e, f, g) + 0x428a2f98 + W[0];
64 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
65 t1 = g + e1(d) + Ch(d, e, f) + 0x71374491 + W[1];
66 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
67 t1 = f + e1(c) + Ch(c, d, e) + 0xb5c0fbcf + W[2];
68 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
69 t1 = e + e1(b) + Ch(b, c, d) + 0xe9b5dba5 + W[3];
70 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
71 t1 = d + e1(a) + Ch(a, b, c) + 0x3956c25b + W[4];
72 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
73 t1 = c + e1(h) + Ch(h, a, b) + 0x59f111f1 + W[5];
74 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
75 t1 = b + e1(g) + Ch(g, h, a) + 0x923f82a4 + W[6];
76 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
77 t1 = a + e1(f) + Ch(f, g, h) + 0xab1c5ed5 + W[7];
78 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1 + t2;
79
80 t1 = h + e1(e) + Ch(e, f, g) + 0xd807aa98 + W[8];
81 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
82 t1 = g + e1(d) + Ch(d, e, f) + 0x12835b01 + W[9];
83 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
84 t1 = f + e1(c) + Ch(c, d, e) + 0x243185be + W[10];
85 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
86 t1 = e + e1(b) + Ch(b, c, d) + 0x550c7dc3 + W[11];
87 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
88 t1 = d + e1(a) + Ch(a, b, c) + 0x72be5d74 + W[12];
89 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
90 t1 = c + e1(h) + Ch(h, a, b) + 0x80deb1fe + W[13];
91 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
92 t1 = b + e1(g) + Ch(g, h, a) + 0x9bdc06a7 + W[14];
93 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
94 t1 = a + e1(f) + Ch(f, g, h) + 0xc19bf174 + W[15];
95 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1+t2;
96
97 t1 = h + e1(e) + Ch(e, f, g) + 0xe49b69c1 + W[16];
98 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1+t2;
99 t1 = g + e1(d) + Ch(d, e, f) + 0xefbe4786 + W[17];
100 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1+t2;
101 t1 = f + e1(c) + Ch(c, d, e) + 0x0fc19dc6 + W[18];
102 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1+t2;
103 t1 = e + e1(b) + Ch(b, c, d) + 0x240ca1cc + W[19];
104 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1+t2;
105 t1 = d + e1(a) + Ch(a, b, c) + 0x2de92c6f + W[20];
106 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1+t2;
107 t1 = c + e1(h) + Ch(h, a, b) + 0x4a7484aa + W[21];
108 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1+t2;
109 t1 = b + e1(g) + Ch(g, h, a) + 0x5cb0a9dc + W[22];
110 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1+t2;
111 t1 = a + e1(f) + Ch(f, g, h) + 0x76f988da + W[23];
112 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1+t2;
113
114 t1 = h + e1(e) + Ch(e, f, g) + 0x983e5152 + W[24];
115 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1+t2;
116 t1 = g + e1(d) + Ch(d, e, f) + 0xa831c66d + W[25];
117 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1+t2;
118 t1 = f + e1(c) + Ch(c, d, e) + 0xb00327c8 + W[26];
119 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1+t2;
120 t1 = e + e1(b) + Ch(b, c, d) + 0xbf597fc7 + W[27];
121 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1+t2;
122 t1 = d + e1(a) + Ch(a, b, c) + 0xc6e00bf3 + W[28];
123 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1+t2;
124 t1 = c + e1(h) + Ch(h, a, b) + 0xd5a79147 + W[29];
125 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1+t2;
126 t1 = b + e1(g) + Ch(g, h, a) + 0x06ca6351 + W[30];
127 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1+t2;
128 t1 = a + e1(f) + Ch(f, g, h) + 0x14292967 + W[31];
129 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1+t2;
130
131 t1 = h + e1(e) + Ch(e, f, g) + 0x27b70a85 + W[32];
132 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1+t2;
133 t1 = g + e1(d) + Ch(d, e, f) + 0x2e1b2138 + W[33];
134 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1+t2;
135 t1 = f + e1(c) + Ch(c, d, e) + 0x4d2c6dfc + W[34];
136 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1+t2;
137 t1 = e + e1(b) + Ch(b, c, d) + 0x53380d13 + W[35];
138 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1+t2;
139 t1 = d + e1(a) + Ch(a, b, c) + 0x650a7354 + W[36];
140 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1+t2;
141 t1 = c + e1(h) + Ch(h, a, b) + 0x766a0abb + W[37];
142 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1+t2;
143 t1 = b + e1(g) + Ch(g, h, a) + 0x81c2c92e + W[38];
144 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1+t2;
145 t1 = a + e1(f) + Ch(f, g, h) + 0x92722c85 + W[39];
146 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1+t2;
147
148 t1 = h + e1(e) + Ch(e, f, g) + 0xa2bfe8a1 + W[40];
149 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1+t2;
150 t1 = g + e1(d) + Ch(d, e, f) + 0xa81a664b + W[41];
151 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1+t2;
152 t1 = f + e1(c) + Ch(c, d, e) + 0xc24b8b70 + W[42];
153 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1+t2;
154 t1 = e + e1(b) + Ch(b, c, d) + 0xc76c51a3 + W[43];
155 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1+t2;
156 t1 = d + e1(a) + Ch(a, b, c) + 0xd192e819 + W[44];
157 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1+t2;
158 t1 = c + e1(h) + Ch(h, a, b) + 0xd6990624 + W[45];
159 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1+t2;
160 t1 = b + e1(g) + Ch(g, h, a) + 0xf40e3585 + W[46];
161 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1+t2;
162 t1 = a + e1(f) + Ch(f, g, h) + 0x106aa070 + W[47];
163 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1+t2;
164
165 t1 = h + e1(e) + Ch(e, f, g) + 0x19a4c116 + W[48];
166 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1+t2;
167 t1 = g + e1(d) + Ch(d, e, f) + 0x1e376c08 + W[49];
168 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1+t2;
169 t1 = f + e1(c) + Ch(c, d, e) + 0x2748774c + W[50];
170 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1+t2;
171 t1 = e + e1(b) + Ch(b, c, d) + 0x34b0bcb5 + W[51];
172 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1+t2;
173 t1 = d + e1(a) + Ch(a, b, c) + 0x391c0cb3 + W[52];
174 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1+t2;
175 t1 = c + e1(h) + Ch(h, a, b) + 0x4ed8aa4a + W[53];
176 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1+t2;
177 t1 = b + e1(g) + Ch(g, h, a) + 0x5b9cca4f + W[54];
178 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1+t2;
179 t1 = a + e1(f) + Ch(f, g, h) + 0x682e6ff3 + W[55];
180 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1+t2;
181
182 t1 = h + e1(e) + Ch(e, f, g) + 0x748f82ee + W[56];
183 t2 = e0(a) + Maj(a, b, c); d += t1; h = t1+t2;
184 t1 = g + e1(d) + Ch(d, e, f) + 0x78a5636f + W[57];
185 t2 = e0(h) + Maj(h, a, b); c += t1; g = t1+t2;
186 t1 = f + e1(c) + Ch(c, d, e) + 0x84c87814 + W[58];
187 t2 = e0(g) + Maj(g, h, a); b += t1; f = t1+t2;
188 t1 = e + e1(b) + Ch(b, c, d) + 0x8cc70208 + W[59];
189 t2 = e0(f) + Maj(f, g, h); a += t1; e = t1+t2;
190 t1 = d + e1(a) + Ch(a, b, c) + 0x90befffa + W[60];
191 t2 = e0(e) + Maj(e, f, g); h += t1; d = t1+t2;
192 t1 = c + e1(h) + Ch(h, a, b) + 0xa4506ceb + W[61];
193 t2 = e0(d) + Maj(d, e, f); g += t1; c = t1+t2;
194 t1 = b + e1(g) + Ch(g, h, a) + 0xbef9a3f7 + W[62];
195 t2 = e0(c) + Maj(c, d, e); f += t1; b = t1+t2;
196 t1 = a + e1(f) + Ch(f, g, h) + 0xc67178f2 + W[63];
197 t2 = e0(b) + Maj(b, c, d); e += t1; a = t1+t2;
198
199 state[0] += a; state[1] += b; state[2] += c; state[3] += d;
200 state[4] += e; state[5] += f; state[6] += g; state[7] += h;
201
202 /* clear any sensitive info... */
203 a = b = c = d = e = f = g = h = t1 = t2 = 0;
204 memset(W, 0, 64 * sizeof(u32));
205}
206
207int sha256_init(struct sha256_state *sctx)
208{
209 sctx->state[0] = SHA256_H0;
210 sctx->state[1] = SHA256_H1;
211 sctx->state[2] = SHA256_H2;
212 sctx->state[3] = SHA256_H3;
213 sctx->state[4] = SHA256_H4;
214 sctx->state[5] = SHA256_H5;
215 sctx->state[6] = SHA256_H6;
216 sctx->state[7] = SHA256_H7;
217 sctx->count = 0;
218
219 return 0;
220}
221
222int sha256_update(struct sha256_state *sctx, const u8 *data, unsigned int len)
223{
224 unsigned int partial, done;
225 const u8 *src;
226
227 partial = sctx->count & 0x3f;
228 sctx->count += len;
229 done = 0;
230 src = data;
231
232 if ((partial + len) > 63) {
233 if (partial) {
234 done = -partial;
235 memcpy(sctx->buf + partial, data, done + 64);
236 src = sctx->buf;
237 }
238
239 do {
240 sha256_transform(sctx->state, src);
241 done += 64;
242 src = data + done;
243 } while (done + 63 < len);
244
245 partial = 0;
246 }
247 memcpy(sctx->buf + partial, src, len - done);
248
249 return 0;
250}
251
252int sha256_final(struct sha256_state *sctx, u8 *out)
253{
254 __be32 *dst = (__be32 *)out;
255 __be64 bits;
256 unsigned int index, pad_len;
257 int i;
258 static const u8 padding[64] = { 0x80, };
259
260 /* Save number of bits */
261 bits = cpu_to_be64(sctx->count << 3);
262
263 /* Pad out to 56 mod 64. */
264 index = sctx->count & 0x3f;
265 pad_len = (index < 56) ? (56 - index) : ((64+56) - index);
266 sha256_update(sctx, padding, pad_len);
267
268 /* Append length (before padding) */
269 sha256_update(sctx, (const u8 *)&bits, sizeof(bits));
270
271 /* Store state in digest */
272 for (i = 0; i < 8; i++)
273 dst[i] = cpu_to_be32(sctx->state[i]);
274
275 /* Zeroize sensitive information. */
276 memset(sctx, 0, sizeof(*sctx));
277
278 return 0;
279}