| 1 | /* -*-c-*- |
| 2 | * |
| 3 | * Implementation of the SHA-512 hash function |
| 4 | * |
| 5 | * (c) 2000 Straylight/Edgeware |
| 6 | */ |
| 7 | |
| 8 | /*----- Licensing notice --------------------------------------------------* |
| 9 | * |
| 10 | * This file is part of Catacomb. |
| 11 | * |
| 12 | * Catacomb is free software; you can redistribute it and/or modify |
| 13 | * it under the terms of the GNU Library General Public License as |
| 14 | * published by the Free Software Foundation; either version 2 of the |
| 15 | * License, or (at your option) any later version. |
| 16 | * |
| 17 | * Catacomb is distributed in the hope that it will be useful, |
| 18 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 19 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 20 | * GNU Library General Public License for more details. |
| 21 | * |
| 22 | * You should have received a copy of the GNU Library General Public |
| 23 | * License along with Catacomb; if not, write to the Free |
| 24 | * Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, |
| 25 | * MA 02111-1307, USA. |
| 26 | */ |
| 27 | |
| 28 | /*----- Header files ------------------------------------------------------*/ |
| 29 | |
| 30 | #include <mLib/bits.h> |
| 31 | |
| 32 | #include "ghash.h" |
| 33 | #include "ghash-def.h" |
| 34 | #include "hash.h" |
| 35 | #include "sha512.h" |
| 36 | |
| 37 | /*----- Main code ---------------------------------------------------------*/ |
| 38 | |
| 39 | /* --- @sha512_compress@, etc. --- * |
| 40 | * |
| 41 | * Arguments: @sha512_ctx *ctx@ = pointer to context block |
| 42 | * @const void *sbuf@ = pointer to buffer of appropriate size |
| 43 | * |
| 44 | * Returns: --- |
| 45 | * |
| 46 | * Use: SHA-512 compression function. |
| 47 | */ |
| 48 | |
| 49 | void sha512_compress(sha512_ctx *ctx, const void *sbuf) |
| 50 | { |
| 51 | kludge64 a, b, c, d, e, f, g, h; |
| 52 | kludge64 buf[80]; |
| 53 | int i; |
| 54 | |
| 55 | static const kludge64 K[80] = { |
| 56 | X64(428a2f98, d728ae22), X64(71374491, 23ef65cd), |
| 57 | X64(b5c0fbcf, ec4d3b2f), X64(e9b5dba5, 8189dbbc), |
| 58 | X64(3956c25b, f348b538), X64(59f111f1, b605d019), |
| 59 | X64(923f82a4, af194f9b), X64(ab1c5ed5, da6d8118), |
| 60 | X64(d807aa98, a3030242), X64(12835b01, 45706fbe), |
| 61 | X64(243185be, 4ee4b28c), X64(550c7dc3, d5ffb4e2), |
| 62 | X64(72be5d74, f27b896f), X64(80deb1fe, 3b1696b1), |
| 63 | X64(9bdc06a7, 25c71235), X64(c19bf174, cf692694), |
| 64 | X64(e49b69c1, 9ef14ad2), X64(efbe4786, 384f25e3), |
| 65 | X64(0fc19dc6, 8b8cd5b5), X64(240ca1cc, 77ac9c65), |
| 66 | X64(2de92c6f, 592b0275), X64(4a7484aa, 6ea6e483), |
| 67 | X64(5cb0a9dc, bd41fbd4), X64(76f988da, 831153b5), |
| 68 | X64(983e5152, ee66dfab), X64(a831c66d, 2db43210), |
| 69 | X64(b00327c8, 98fb213f), X64(bf597fc7, beef0ee4), |
| 70 | X64(c6e00bf3, 3da88fc2), X64(d5a79147, 930aa725), |
| 71 | X64(06ca6351, e003826f), X64(14292967, 0a0e6e70), |
| 72 | X64(27b70a85, 46d22ffc), X64(2e1b2138, 5c26c926), |
| 73 | X64(4d2c6dfc, 5ac42aed), X64(53380d13, 9d95b3df), |
| 74 | X64(650a7354, 8baf63de), X64(766a0abb, 3c77b2a8), |
| 75 | X64(81c2c92e, 47edaee6), X64(92722c85, 1482353b), |
| 76 | X64(a2bfe8a1, 4cf10364), X64(a81a664b, bc423001), |
| 77 | X64(c24b8b70, d0f89791), X64(c76c51a3, 0654be30), |
| 78 | X64(d192e819, d6ef5218), X64(d6990624, 5565a910), |
| 79 | X64(f40e3585, 5771202a), X64(106aa070, 32bbd1b8), |
| 80 | X64(19a4c116, b8d2d0c8), X64(1e376c08, 5141ab53), |
| 81 | X64(2748774c, df8eeb99), X64(34b0bcb5, e19b48a8), |
| 82 | X64(391c0cb3, c5c95a63), X64(4ed8aa4a, e3418acb), |
| 83 | X64(5b9cca4f, 7763e373), X64(682e6ff3, d6b2b8a3), |
| 84 | X64(748f82ee, 5defb2fc), X64(78a5636f, 43172f60), |
| 85 | X64(84c87814, a1f0ab72), X64(8cc70208, 1a6439ec), |
| 86 | X64(90befffa, 23631e28), X64(a4506ceb, de82bde9), |
| 87 | X64(bef9a3f7, b2c67915), X64(c67178f2, e372532b), |
| 88 | X64(ca273ece, ea26619c), X64(d186b8c7, 21c0c207), |
| 89 | X64(eada7dd6, cde0eb1e), X64(f57d4f7f, ee6ed178), |
| 90 | X64(06f067aa, 72176fba), X64(0a637dc5, a2c898a6), |
| 91 | X64(113f9804, bef90dae), X64(1b710b35, 131c471b), |
| 92 | X64(28db77f5, 23047d84), X64(32caab7b, 40c72493), |
| 93 | X64(3c9ebe0a, 15c9bebc), X64(431d67c4, 9c100d4c), |
| 94 | X64(4cc5d4be, cb3e42b6), X64(597f299c, fc657e2a), |
| 95 | X64(5fcb6fab, 3ad6faec), X64(6c44198c, 4a475817) |
| 96 | }; |
| 97 | |
| 98 | /* --- Fetch the chaining variables --- */ |
| 99 | |
| 100 | a = ctx->a; |
| 101 | b = ctx->b; |
| 102 | c = ctx->c; |
| 103 | d = ctx->d; |
| 104 | e = ctx->e; |
| 105 | f = ctx->f; |
| 106 | g = ctx->g; |
| 107 | h = ctx->h; |
| 108 | |
| 109 | /* --- Definitions for round functions --- */ |
| 110 | |
| 111 | #define CH(d, x, y, z) do { \ |
| 112 | kludge64 _x; AND64((d), (x), (y)); CPL64(_x, (x)); \ |
| 113 | AND64(_x, _x, (z)); OR64((d), (d), _x); \ |
| 114 | } while (0) |
| 115 | |
| 116 | #define MAJ(d, x, y, z) do { \ |
| 117 | kludge64 _x; AND64((d), (x), (y)); AND64(_x, (x), (z)); \ |
| 118 | OR64((d), (d), _x); AND64(_x, (y), (z)); OR64((d), (d), _x); \ |
| 119 | } while (0) |
| 120 | |
| 121 | #define SIGMA(d, x, i, j, k, last, what) do { \ |
| 122 | kludge64 _x; ROR64_((d), (x), (i)); ROR64_(_x, (x), (j)); \ |
| 123 | XOR64((d), (d), _x); last##64_(_x, (x), (k)); XOR64((d), (d), _x); \ |
| 124 | } while (0) |
| 125 | |
| 126 | #define S0(d, x) SIGMA(d, x, 28, 34, 39, ROR, S0); |
| 127 | #define S1(d, x) SIGMA(d, x, 14, 18, 41, ROR, S1); |
| 128 | #define s0(d, x) SIGMA(d, x, 1, 8, 7, LSR, s0); |
| 129 | #define s1(d, x) SIGMA(d, x, 19, 61, 6, LSR, s1); |
| 130 | |
| 131 | #define T(a, b, c, d, e, f, g, h, i) do { \ |
| 132 | kludge64 t1, t2, x; \ |
| 133 | ADD64(t1, buf[i], K[i]); ADD64(t1, t1, h); \ |
| 134 | S1(x, e); ADD64(t1, t1, x); CH(x, e, f, g); ADD64(t1, t1, x); \ |
| 135 | S0(t2, a); MAJ(x, a, b, c); ADD64(t2, t2, x); \ |
| 136 | ADD64(d, d, t1); ADD64(h, t1, t2); \ |
| 137 | } while (0) |
| 138 | |
| 139 | /* --- Fetch and expand the buffer contents --- */ |
| 140 | |
| 141 | { |
| 142 | const octet *p; |
| 143 | |
| 144 | for (i = 0, p = sbuf; i < 16; i++, p += 8) |
| 145 | LOAD64_(buf[i], p); |
| 146 | for (i = 16; i < 80; i++) { |
| 147 | kludge64 x; |
| 148 | buf[i] = buf[i - 7]; s1(x, buf[i - 2]); ADD64(buf[i], buf[i], x); |
| 149 | s0(x, buf[i - 15]); ADD64(buf[i], buf[i], x); |
| 150 | ADD64(buf[i], buf[i], buf[i - 16]); |
| 151 | } |
| 152 | } |
| 153 | |
| 154 | /* --- The main compression function --- */ |
| 155 | |
| 156 | for (i = 0; i < 80; i += 8) { |
| 157 | T(a, b, c, d, e, f, g, h, i + 0); |
| 158 | T(h, a, b, c, d, e, f, g, i + 1); |
| 159 | T(g, h, a, b, c, d, e, f, i + 2); |
| 160 | T(f, g, h, a, b, c, d, e, i + 3); |
| 161 | T(e, f, g, h, a, b, c, d, i + 4); |
| 162 | T(d, e, f, g, h, a, b, c, i + 5); |
| 163 | T(c, d, e, f, g, h, a, b, i + 6); |
| 164 | T(b, c, d, e, f, g, h, a, i + 7); |
| 165 | } |
| 166 | |
| 167 | /* --- Update the chaining variables --- */ |
| 168 | |
| 169 | ADD64(ctx->a, ctx->a, a); |
| 170 | ADD64(ctx->b, ctx->b, b); |
| 171 | ADD64(ctx->c, ctx->c, c); |
| 172 | ADD64(ctx->d, ctx->d, d); |
| 173 | ADD64(ctx->e, ctx->e, e); |
| 174 | ADD64(ctx->f, ctx->f, f); |
| 175 | ADD64(ctx->g, ctx->g, g); |
| 176 | ADD64(ctx->h, ctx->h, h); |
| 177 | } |
| 178 | |
| 179 | /* --- @sha512_init@, etc. --- * |
| 180 | * |
| 181 | * Arguments: @sha512_ctx *ctx@ = pointer to context block to initialize |
| 182 | * |
| 183 | * Returns: --- |
| 184 | * |
| 185 | * Use: Initializes a context block ready for hashing. |
| 186 | */ |
| 187 | |
| 188 | void sha512_init(sha512_ctx *ctx) |
| 189 | { |
| 190 | SET64(ctx->a, 0x6a09e667, 0xf3bcc908); |
| 191 | SET64(ctx->b, 0xbb67ae85, 0x84caa73b); |
| 192 | SET64(ctx->c, 0x3c6ef372, 0xfe94f82b); |
| 193 | SET64(ctx->d, 0xa54ff53a, 0x5f1d36f1); |
| 194 | SET64(ctx->e, 0x510e527f, 0xade682d1); |
| 195 | SET64(ctx->f, 0x9b05688c, 0x2b3e6c1f); |
| 196 | SET64(ctx->g, 0x1f83d9ab, 0xfb41bd6b); |
| 197 | SET64(ctx->h, 0x5be0cd19, 0x137e2179); |
| 198 | ctx->off = 0; |
| 199 | ctx->nh = ctx->nl = 0; |
| 200 | } |
| 201 | |
| 202 | void sha384_init(sha512_ctx *ctx) |
| 203 | { |
| 204 | SET64(ctx->a, 0xcbbb9d5d, 0xc1059ed8); |
| 205 | SET64(ctx->b, 0x629a292a, 0x367cd507); |
| 206 | SET64(ctx->c, 0x9159015a, 0x3070dd17); |
| 207 | SET64(ctx->d, 0x152fecd8, 0xf70e5939); |
| 208 | SET64(ctx->e, 0x67332667, 0xffc00b31); |
| 209 | SET64(ctx->f, 0x8eb44a87, 0x68581511); |
| 210 | SET64(ctx->g, 0xdb0c2e0d, 0x64f98fa7); |
| 211 | SET64(ctx->h, 0x47b5481d, 0xbefa4fa4); |
| 212 | ctx->off = 0; |
| 213 | ctx->nh = ctx->nl = 0; |
| 214 | } |
| 215 | |
| 216 | void sha512_256_init(sha512_ctx *ctx) |
| 217 | { |
| 218 | SET64(ctx->a, 0x22312194, 0xfc2bf72c); |
| 219 | SET64(ctx->b, 0x9f555fa3, 0xc84c64c2); |
| 220 | SET64(ctx->c, 0x2393b86b, 0x6f53b151); |
| 221 | SET64(ctx->d, 0x96387719, 0x5940eabd); |
| 222 | SET64(ctx->e, 0x96283ee2, 0xa88effe3); |
| 223 | SET64(ctx->f, 0xbe5e1e25, 0x53863992); |
| 224 | SET64(ctx->g, 0x2b0199fc, 0x2c85b8aa); |
| 225 | SET64(ctx->h, 0x0eb72ddc, 0x81c52ca2); |
| 226 | ctx->off = 0; |
| 227 | ctx->nh = ctx->nl = 0; |
| 228 | } |
| 229 | |
| 230 | void sha512_224_init(sha512_ctx *ctx) |
| 231 | { |
| 232 | SET64(ctx->a, 0x8c3d37c8, 0x19544da2); |
| 233 | SET64(ctx->b, 0x73e19966, 0x89dcd4d6); |
| 234 | SET64(ctx->c, 0x1dfab7ae, 0x32ff9c82); |
| 235 | SET64(ctx->d, 0x679dd514, 0x582f9fcf); |
| 236 | SET64(ctx->e, 0x0f6d2b69, 0x7bd44da8); |
| 237 | SET64(ctx->f, 0x77e36f73, 0x04c48942); |
| 238 | SET64(ctx->g, 0x3f9d85a8, 0x6a1d36c8); |
| 239 | SET64(ctx->h, 0x1112e6ad, 0x91d692a1); |
| 240 | ctx->off = 0; |
| 241 | ctx->nh = ctx->nl = 0; |
| 242 | } |
| 243 | |
| 244 | /* --- @sha512_set@, etc. --- * |
| 245 | * |
| 246 | * Arguments: @sha512_ctx *ctx@ = pointer to context block |
| 247 | * @const void *buf@ = pointer to state buffer |
| 248 | * @unsigned long count@ = current count of bytes processed |
| 249 | * |
| 250 | * Returns: --- |
| 251 | * |
| 252 | * Use: Initializes a context block from a given state. This is |
| 253 | * useful in cases where the initial hash state is meant to be |
| 254 | * secret, e.g., for NMAC and HMAC support. |
| 255 | */ |
| 256 | |
| 257 | void sha512_set(sha512_ctx *ctx, const void *buf, unsigned long count) |
| 258 | { |
| 259 | const octet *p = buf; |
| 260 | LOAD64_(ctx->a, p + 0); |
| 261 | LOAD64_(ctx->b, p + 8); |
| 262 | LOAD64_(ctx->c, p + 16); |
| 263 | LOAD64_(ctx->d, p + 24); |
| 264 | LOAD64_(ctx->e, p + 32); |
| 265 | LOAD64_(ctx->f, p + 40); |
| 266 | LOAD64_(ctx->g, p + 48); |
| 267 | LOAD64_(ctx->h, p + 56); |
| 268 | ctx->off = 0; |
| 269 | ctx->nl = U32(count); |
| 270 | ctx->nh = U32(((count & ~MASK32) >> 16) >> 16); |
| 271 | } |
| 272 | |
| 273 | /* --- @sha512_hash@, @sha384_hash@ --- * |
| 274 | * |
| 275 | * Arguments: @sha512_ctx *ctx@ = pointer to context block |
| 276 | * @const void *buf@ = buffer of data to hash |
| 277 | * @size_t sz@ = size of buffer to hash |
| 278 | * |
| 279 | * Returns: --- |
| 280 | * |
| 281 | * Use: Hashes a buffer of data. The buffer may be of any size and |
| 282 | * alignment. |
| 283 | */ |
| 284 | |
| 285 | void sha512_hash(sha512_ctx *ctx, const void *buf, size_t sz) |
| 286 | { |
| 287 | HASH_BUFFER(SHA512, sha512, ctx, buf, sz); |
| 288 | } |
| 289 | |
| 290 | /* --- @sha512_done@, etc. --- * |
| 291 | * |
| 292 | * Arguments: @sha512_ctx *ctx@ = pointer to context block |
| 293 | * @void *hash@ = pointer to output buffer |
| 294 | * |
| 295 | * Returns: --- |
| 296 | * |
| 297 | * Use: Returns the hash of the data read so far. |
| 298 | */ |
| 299 | |
| 300 | static void final(sha512_ctx *ctx) |
| 301 | { |
| 302 | HASH_PAD(SHA512, sha512, ctx, 0x80, 0, 16); |
| 303 | memset(ctx->buf + SHA512_BUFSZ - 16, 0, 8); |
| 304 | STORE32(ctx->buf + SHA512_BUFSZ - 8, (ctx->nl >> 29) | (ctx->nh << 3)); |
| 305 | STORE32(ctx->buf + SHA512_BUFSZ - 4, ctx->nl << 3); |
| 306 | sha512_compress(ctx, ctx->buf); |
| 307 | } |
| 308 | |
| 309 | void sha512_done(sha512_ctx *ctx, void *hash) |
| 310 | { |
| 311 | octet *p = hash; |
| 312 | final(ctx); |
| 313 | STORE64_(p + 0, ctx->a); |
| 314 | STORE64_(p + 8, ctx->b); |
| 315 | STORE64_(p + 16, ctx->c); |
| 316 | STORE64_(p + 24, ctx->d); |
| 317 | STORE64_(p + 32, ctx->e); |
| 318 | STORE64_(p + 40, ctx->f); |
| 319 | STORE64_(p + 48, ctx->g); |
| 320 | STORE64_(p + 56, ctx->h); |
| 321 | } |
| 322 | |
| 323 | void sha384_done(sha512_ctx *ctx, void *hash) |
| 324 | { |
| 325 | octet *p = hash; |
| 326 | final(ctx); |
| 327 | STORE64_(p + 0, ctx->a); |
| 328 | STORE64_(p + 8, ctx->b); |
| 329 | STORE64_(p + 16, ctx->c); |
| 330 | STORE64_(p + 24, ctx->d); |
| 331 | STORE64_(p + 32, ctx->e); |
| 332 | STORE64_(p + 40, ctx->f); |
| 333 | } |
| 334 | |
| 335 | void sha512_256_done(sha384_ctx *ctx, void *hash) |
| 336 | { |
| 337 | octet *p = hash; |
| 338 | final(ctx); |
| 339 | STORE64_(p + 0, ctx->a); |
| 340 | STORE64_(p + 8, ctx->b); |
| 341 | STORE64_(p + 16, ctx->c); |
| 342 | STORE64_(p + 24, ctx->d); |
| 343 | } |
| 344 | |
| 345 | void sha512_224_done(sha384_ctx *ctx, void *hash) |
| 346 | { |
| 347 | octet *p = hash; |
| 348 | final(ctx); |
| 349 | STORE64_(p + 0, ctx->a); |
| 350 | STORE64_(p + 8, ctx->b); |
| 351 | STORE64_(p + 16, ctx->c); |
| 352 | STORE32 (p + 24, HI64(ctx->d)); |
| 353 | } |
| 354 | |
| 355 | /* --- @sha512_state@, etc. --- * |
| 356 | * |
| 357 | * Arguments: @sha512_ctx *ctx@ = pointer to context |
| 358 | * @void *state@ = pointer to buffer for current state |
| 359 | * |
| 360 | * Returns: Number of bytes written to the hash function so far. |
| 361 | * |
| 362 | * Use: Returns the current state of the hash function such that |
| 363 | * it can be passed to @sha512_set@. |
| 364 | */ |
| 365 | |
| 366 | unsigned long sha512_state(sha512_ctx *ctx, void *state) |
| 367 | { |
| 368 | octet *p = state; |
| 369 | STORE64_(p + 0, ctx->a); |
| 370 | STORE64_(p + 8, ctx->b); |
| 371 | STORE64_(p + 16, ctx->c); |
| 372 | STORE64_(p + 24, ctx->d); |
| 373 | STORE64_(p + 32, ctx->e); |
| 374 | STORE64_(p + 40, ctx->f); |
| 375 | STORE64_(p + 48, ctx->g); |
| 376 | STORE64_(p + 56, ctx->h); |
| 377 | return (ctx->nl | ((ctx->nh << 16) << 16)); |
| 378 | } |
| 379 | |
| 380 | /* --- Generic interface --- */ |
| 381 | |
| 382 | #define HASHES(_) \ |
| 383 | _(SHA512_224, sha512_224, "sha512/224") \ |
| 384 | _(SHA512_256, sha512_256, "sha512/256") \ |
| 385 | _(SHA384, sha384, "sha384") \ |
| 386 | _(SHA512, sha512, "sha512") |
| 387 | |
| 388 | HASHES(GHASH_DEFX) |
| 389 | |
| 390 | /*----- Test rig ----------------------------------------------------------*/ |
| 391 | |
| 392 | #ifdef TEST_RIG |
| 393 | |
| 394 | #include <mLib/testrig.h> |
| 395 | |
| 396 | HASHES(HASH_VERIFYX) |
| 397 | |
| 398 | static const test_chunk defs[] = { |
| 399 | HASHES(HASH_TESTDEFSX) |
| 400 | { 0, 0, { 0 } } |
| 401 | }; |
| 402 | |
| 403 | int main(int argc, char *argv[]) |
| 404 | { |
| 405 | test_run(argc, argv, defs, SRCDIR "/t/sha512"); |
| 406 | return (0); |
| 407 | } |
| 408 | |
| 409 | #endif |
| 410 | |
| 411 | /*----- That's all, folks -------------------------------------------------*/ |