1 /* 2 * Copyright 2004-2021 The OpenSSL Project Authors. All Rights Reserved. 3 * 4 * Licensed under the Apache License 2.0 (the "License"). You may not use 5 * this file except in compliance with the License. You can obtain a copy 6 * in the file LICENSE in the source distribution or at 7 * https://www.openssl.org/source/license.html 8 */ 9 10 /* 11 * SHA256 low level APIs are deprecated for public use, but still ok for 12 * internal use. 13 */ 14 #include "internal/deprecated.h" 15 16 #include <openssl/opensslconf.h> 17 18 #include <stdlib.h> 19 #include <string.h> 20 21 #include <openssl/crypto.h> 22 #include <openssl/sha.h> 23 #include <openssl/opensslv.h> 24 #include "internal/endian.h" 25 26 int SHA224_Init(SHA256_CTX *c) 27 { 28 memset(c, 0, sizeof(*c)); 29 c->h[0] = 0xc1059ed8UL; 30 c->h[1] = 0x367cd507UL; 31 c->h[2] = 0x3070dd17UL; 32 c->h[3] = 0xf70e5939UL; 33 c->h[4] = 0xffc00b31UL; 34 c->h[5] = 0x68581511UL; 35 c->h[6] = 0x64f98fa7UL; 36 c->h[7] = 0xbefa4fa4UL; 37 c->md_len = SHA224_DIGEST_LENGTH; 38 return 1; 39 } 40 41 int SHA256_Init(SHA256_CTX *c) 42 { 43 memset(c, 0, sizeof(*c)); 44 c->h[0] = 0x6a09e667UL; 45 c->h[1] = 0xbb67ae85UL; 46 c->h[2] = 0x3c6ef372UL; 47 c->h[3] = 0xa54ff53aUL; 48 c->h[4] = 0x510e527fUL; 49 c->h[5] = 0x9b05688cUL; 50 c->h[6] = 0x1f83d9abUL; 51 c->h[7] = 0x5be0cd19UL; 52 c->md_len = SHA256_DIGEST_LENGTH; 53 return 1; 54 } 55 56 int SHA224_Update(SHA256_CTX *c, const void *data, size_t len) 57 { 58 return SHA256_Update(c, data, len); 59 } 60 61 int SHA224_Final(unsigned char *md, SHA256_CTX *c) 62 { 63 return SHA256_Final(md, c); 64 } 65 66 #define DATA_ORDER_IS_BIG_ENDIAN 67 68 #define HASH_LONG SHA_LONG 69 #define HASH_CTX SHA256_CTX 70 #define HASH_CBLOCK SHA_CBLOCK 71 72 /* 73 * Note that FIPS180-2 discusses "Truncation of the Hash Function Output." 74 * default: case below covers for it. It's not clear however if it's 75 * permitted to truncate to amount of bytes not divisible by 4. I bet not, 76 * but if it is, then default: case shall be extended. For reference. 77 * Idea behind separate cases for pre-defined lengths is to let the 78 * compiler decide if it's appropriate to unroll small loops. 79 */ 80 #define HASH_MAKE_STRING(c,s) do { \ 81 unsigned long ll; \ 82 unsigned int nn; \ 83 switch ((c)->md_len) \ 84 { case SHA224_DIGEST_LENGTH: \ 85 for (nn=0;nn<SHA224_DIGEST_LENGTH/4;nn++) \ 86 { ll=(c)->h[nn]; (void)HOST_l2c(ll,(s)); } \ 87 break; \ 88 case SHA256_DIGEST_LENGTH: \ 89 for (nn=0;nn<SHA256_DIGEST_LENGTH/4;nn++) \ 90 { ll=(c)->h[nn]; (void)HOST_l2c(ll,(s)); } \ 91 break; \ 92 default: \ 93 if ((c)->md_len > SHA256_DIGEST_LENGTH) \ 94 return 0; \ 95 for (nn=0;nn<(c)->md_len/4;nn++) \ 96 { ll=(c)->h[nn]; (void)HOST_l2c(ll,(s)); } \ 97 break; \ 98 } \ 99 } while (0) 100 101 #define HASH_UPDATE SHA256_Update 102 #define HASH_TRANSFORM SHA256_Transform 103 #define HASH_FINAL SHA256_Final 104 #define HASH_BLOCK_DATA_ORDER sha256_block_data_order 105 #ifndef SHA256_ASM 106 static 107 #endif 108 void sha256_block_data_order(SHA256_CTX *ctx, const void *in, size_t num); 109 110 #include "crypto/md32_common.h" 111 112 #ifndef SHA256_ASM 113 static const SHA_LONG K256[64] = { 114 0x428a2f98UL, 0x71374491UL, 0xb5c0fbcfUL, 0xe9b5dba5UL, 115 0x3956c25bUL, 0x59f111f1UL, 0x923f82a4UL, 0xab1c5ed5UL, 116 0xd807aa98UL, 0x12835b01UL, 0x243185beUL, 0x550c7dc3UL, 117 0x72be5d74UL, 0x80deb1feUL, 0x9bdc06a7UL, 0xc19bf174UL, 118 0xe49b69c1UL, 0xefbe4786UL, 0x0fc19dc6UL, 0x240ca1ccUL, 119 0x2de92c6fUL, 0x4a7484aaUL, 0x5cb0a9dcUL, 0x76f988daUL, 120 0x983e5152UL, 0xa831c66dUL, 0xb00327c8UL, 0xbf597fc7UL, 121 0xc6e00bf3UL, 0xd5a79147UL, 0x06ca6351UL, 0x14292967UL, 122 0x27b70a85UL, 0x2e1b2138UL, 0x4d2c6dfcUL, 0x53380d13UL, 123 0x650a7354UL, 0x766a0abbUL, 0x81c2c92eUL, 0x92722c85UL, 124 0xa2bfe8a1UL, 0xa81a664bUL, 0xc24b8b70UL, 0xc76c51a3UL, 125 0xd192e819UL, 0xd6990624UL, 0xf40e3585UL, 0x106aa070UL, 126 0x19a4c116UL, 0x1e376c08UL, 0x2748774cUL, 0x34b0bcb5UL, 127 0x391c0cb3UL, 0x4ed8aa4aUL, 0x5b9cca4fUL, 0x682e6ff3UL, 128 0x748f82eeUL, 0x78a5636fUL, 0x84c87814UL, 0x8cc70208UL, 129 0x90befffaUL, 0xa4506cebUL, 0xbef9a3f7UL, 0xc67178f2UL 130 }; 131 132 /* 133 * FIPS specification refers to right rotations, while our ROTATE macro 134 * is left one. This is why you might notice that rotation coefficients 135 * differ from those observed in FIPS document by 32-N... 136 */ 137 # define Sigma0(x) (ROTATE((x),30) ^ ROTATE((x),19) ^ ROTATE((x),10)) 138 # define Sigma1(x) (ROTATE((x),26) ^ ROTATE((x),21) ^ ROTATE((x),7)) 139 # define sigma0(x) (ROTATE((x),25) ^ ROTATE((x),14) ^ ((x)>>3)) 140 # define sigma1(x) (ROTATE((x),15) ^ ROTATE((x),13) ^ ((x)>>10)) 141 142 # define Ch(x,y,z) (((x) & (y)) ^ ((~(x)) & (z))) 143 # define Maj(x,y,z) (((x) & (y)) ^ ((x) & (z)) ^ ((y) & (z))) 144 145 # ifdef OPENSSL_SMALL_FOOTPRINT 146 147 static void sha256_block_data_order(SHA256_CTX *ctx, const void *in, 148 size_t num) 149 { 150 unsigned MD32_REG_T a, b, c, d, e, f, g, h, s0, s1, T1, T2; 151 SHA_LONG X[16], l; 152 int i; 153 const unsigned char *data = in; 154 155 while (num--) { 156 157 a = ctx->h[0]; 158 b = ctx->h[1]; 159 c = ctx->h[2]; 160 d = ctx->h[3]; 161 e = ctx->h[4]; 162 f = ctx->h[5]; 163 g = ctx->h[6]; 164 h = ctx->h[7]; 165 166 for (i = 0; i < 16; i++) { 167 (void)HOST_c2l(data, l); 168 T1 = X[i] = l; 169 T1 += h + Sigma1(e) + Ch(e, f, g) + K256[i]; 170 T2 = Sigma0(a) + Maj(a, b, c); 171 h = g; 172 g = f; 173 f = e; 174 e = d + T1; 175 d = c; 176 c = b; 177 b = a; 178 a = T1 + T2; 179 } 180 181 for (; i < 64; i++) { 182 s0 = X[(i + 1) & 0x0f]; 183 s0 = sigma0(s0); 184 s1 = X[(i + 14) & 0x0f]; 185 s1 = sigma1(s1); 186 187 T1 = X[i & 0xf] += s0 + s1 + X[(i + 9) & 0xf]; 188 T1 += h + Sigma1(e) + Ch(e, f, g) + K256[i]; 189 T2 = Sigma0(a) + Maj(a, b, c); 190 h = g; 191 g = f; 192 f = e; 193 e = d + T1; 194 d = c; 195 c = b; 196 b = a; 197 a = T1 + T2; 198 } 199 200 ctx->h[0] += a; 201 ctx->h[1] += b; 202 ctx->h[2] += c; 203 ctx->h[3] += d; 204 ctx->h[4] += e; 205 ctx->h[5] += f; 206 ctx->h[6] += g; 207 ctx->h[7] += h; 208 209 } 210 } 211 212 # else 213 214 # define ROUND_00_15(i,a,b,c,d,e,f,g,h) do { \ 215 T1 += h + Sigma1(e) + Ch(e,f,g) + K256[i]; \ 216 h = Sigma0(a) + Maj(a,b,c); \ 217 d += T1; h += T1; } while (0) 218 219 # define ROUND_16_63(i,a,b,c,d,e,f,g,h,X) do { \ 220 s0 = X[(i+1)&0x0f]; s0 = sigma0(s0); \ 221 s1 = X[(i+14)&0x0f]; s1 = sigma1(s1); \ 222 T1 = X[(i)&0x0f] += s0 + s1 + X[(i+9)&0x0f]; \ 223 ROUND_00_15(i,a,b,c,d,e,f,g,h); } while (0) 224 225 static void sha256_block_data_order(SHA256_CTX *ctx, const void *in, 226 size_t num) 227 { 228 unsigned MD32_REG_T a, b, c, d, e, f, g, h, s0, s1, T1; 229 SHA_LONG X[16]; 230 int i; 231 const unsigned char *data = in; 232 DECLARE_IS_ENDIAN; 233 234 while (num--) { 235 236 a = ctx->h[0]; 237 b = ctx->h[1]; 238 c = ctx->h[2]; 239 d = ctx->h[3]; 240 e = ctx->h[4]; 241 f = ctx->h[5]; 242 g = ctx->h[6]; 243 h = ctx->h[7]; 244 245 if (!IS_LITTLE_ENDIAN && sizeof(SHA_LONG) == 4 246 && ((size_t)in % 4) == 0) { 247 const SHA_LONG *W = (const SHA_LONG *)data; 248 249 T1 = X[0] = W[0]; 250 ROUND_00_15(0, a, b, c, d, e, f, g, h); 251 T1 = X[1] = W[1]; 252 ROUND_00_15(1, h, a, b, c, d, e, f, g); 253 T1 = X[2] = W[2]; 254 ROUND_00_15(2, g, h, a, b, c, d, e, f); 255 T1 = X[3] = W[3]; 256 ROUND_00_15(3, f, g, h, a, b, c, d, e); 257 T1 = X[4] = W[4]; 258 ROUND_00_15(4, e, f, g, h, a, b, c, d); 259 T1 = X[5] = W[5]; 260 ROUND_00_15(5, d, e, f, g, h, a, b, c); 261 T1 = X[6] = W[6]; 262 ROUND_00_15(6, c, d, e, f, g, h, a, b); 263 T1 = X[7] = W[7]; 264 ROUND_00_15(7, b, c, d, e, f, g, h, a); 265 T1 = X[8] = W[8]; 266 ROUND_00_15(8, a, b, c, d, e, f, g, h); 267 T1 = X[9] = W[9]; 268 ROUND_00_15(9, h, a, b, c, d, e, f, g); 269 T1 = X[10] = W[10]; 270 ROUND_00_15(10, g, h, a, b, c, d, e, f); 271 T1 = X[11] = W[11]; 272 ROUND_00_15(11, f, g, h, a, b, c, d, e); 273 T1 = X[12] = W[12]; 274 ROUND_00_15(12, e, f, g, h, a, b, c, d); 275 T1 = X[13] = W[13]; 276 ROUND_00_15(13, d, e, f, g, h, a, b, c); 277 T1 = X[14] = W[14]; 278 ROUND_00_15(14, c, d, e, f, g, h, a, b); 279 T1 = X[15] = W[15]; 280 ROUND_00_15(15, b, c, d, e, f, g, h, a); 281 282 data += SHA256_CBLOCK; 283 } else { 284 SHA_LONG l; 285 286 (void)HOST_c2l(data, l); 287 T1 = X[0] = l; 288 ROUND_00_15(0, a, b, c, d, e, f, g, h); 289 (void)HOST_c2l(data, l); 290 T1 = X[1] = l; 291 ROUND_00_15(1, h, a, b, c, d, e, f, g); 292 (void)HOST_c2l(data, l); 293 T1 = X[2] = l; 294 ROUND_00_15(2, g, h, a, b, c, d, e, f); 295 (void)HOST_c2l(data, l); 296 T1 = X[3] = l; 297 ROUND_00_15(3, f, g, h, a, b, c, d, e); 298 (void)HOST_c2l(data, l); 299 T1 = X[4] = l; 300 ROUND_00_15(4, e, f, g, h, a, b, c, d); 301 (void)HOST_c2l(data, l); 302 T1 = X[5] = l; 303 ROUND_00_15(5, d, e, f, g, h, a, b, c); 304 (void)HOST_c2l(data, l); 305 T1 = X[6] = l; 306 ROUND_00_15(6, c, d, e, f, g, h, a, b); 307 (void)HOST_c2l(data, l); 308 T1 = X[7] = l; 309 ROUND_00_15(7, b, c, d, e, f, g, h, a); 310 (void)HOST_c2l(data, l); 311 T1 = X[8] = l; 312 ROUND_00_15(8, a, b, c, d, e, f, g, h); 313 (void)HOST_c2l(data, l); 314 T1 = X[9] = l; 315 ROUND_00_15(9, h, a, b, c, d, e, f, g); 316 (void)HOST_c2l(data, l); 317 T1 = X[10] = l; 318 ROUND_00_15(10, g, h, a, b, c, d, e, f); 319 (void)HOST_c2l(data, l); 320 T1 = X[11] = l; 321 ROUND_00_15(11, f, g, h, a, b, c, d, e); 322 (void)HOST_c2l(data, l); 323 T1 = X[12] = l; 324 ROUND_00_15(12, e, f, g, h, a, b, c, d); 325 (void)HOST_c2l(data, l); 326 T1 = X[13] = l; 327 ROUND_00_15(13, d, e, f, g, h, a, b, c); 328 (void)HOST_c2l(data, l); 329 T1 = X[14] = l; 330 ROUND_00_15(14, c, d, e, f, g, h, a, b); 331 (void)HOST_c2l(data, l); 332 T1 = X[15] = l; 333 ROUND_00_15(15, b, c, d, e, f, g, h, a); 334 } 335 336 for (i = 16; i < 64; i += 8) { 337 ROUND_16_63(i + 0, a, b, c, d, e, f, g, h, X); 338 ROUND_16_63(i + 1, h, a, b, c, d, e, f, g, X); 339 ROUND_16_63(i + 2, g, h, a, b, c, d, e, f, X); 340 ROUND_16_63(i + 3, f, g, h, a, b, c, d, e, X); 341 ROUND_16_63(i + 4, e, f, g, h, a, b, c, d, X); 342 ROUND_16_63(i + 5, d, e, f, g, h, a, b, c, X); 343 ROUND_16_63(i + 6, c, d, e, f, g, h, a, b, X); 344 ROUND_16_63(i + 7, b, c, d, e, f, g, h, a, X); 345 } 346 347 ctx->h[0] += a; 348 ctx->h[1] += b; 349 ctx->h[2] += c; 350 ctx->h[3] += d; 351 ctx->h[4] += e; 352 ctx->h[5] += f; 353 ctx->h[6] += g; 354 ctx->h[7] += h; 355 356 } 357 } 358 359 # endif 360 #endif /* SHA256_ASM */ 361