Thomas Gleixner | 2874c5f | 2019-05-27 08:55:01 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
Vivek Goyal | daeba064 | 2014-08-08 14:25:59 -0700 | [diff] [blame] | 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. |
Vivek Goyal | daeba064 | 2014-08-08 14:25:59 -0700 | [diff] [blame] | 12 | */ |
| 13 | |
| 14 | #include <linux/bitops.h> |
Philipp Rudo | df6f280 | 2018-04-13 15:36:46 -0700 | [diff] [blame] | 15 | #include <linux/sha256.h> |
| 16 | #include <linux/string.h> |
Vivek Goyal | daeba064 | 2014-08-08 14:25:59 -0700 | [diff] [blame] | 17 | #include <asm/byteorder.h> |
Vivek Goyal | daeba064 | 2014-08-08 14:25:59 -0700 | [diff] [blame] | 18 | |
| 19 | static inline u32 Ch(u32 x, u32 y, u32 z) |
| 20 | { |
| 21 | return z ^ (x & (y ^ z)); |
| 22 | } |
| 23 | |
| 24 | static 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 | |
| 34 | static inline void LOAD_OP(int I, u32 *W, const u8 *input) |
| 35 | { |
| 36 | W[I] = __be32_to_cpu(((__be32 *)(input))[I]); |
| 37 | } |
| 38 | |
| 39 | static 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 | |
| 44 | static 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 | |
| 207 | int 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 | |
| 222 | int 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 | |
| 252 | int 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 | } |