contrib/bearssl/src/hash/sha2big.c

   1 /*
   2  * Copyright (c) 2016 Thomas Pornin <pornin@bolet.org>
   3  *
   4  * Permission is hereby granted, free of charge, to any person obtaining
   5  * a copy of this software and associated documentation files (the
   6  * "Software"), to deal in the Software without restriction, including
   7  * without limitation the rights to use, copy, modify, merge, publish,
   8  * distribute, sublicense, and/or sell copies of the Software, and to
   9  * permit persons to whom the Software is furnished to do so, subject to
  10  * the following conditions:
  11  *
  12  * The above copyright notice and this permission notice shall be
  13  * included in all copies or substantial portions of the Software.
  14  *
  15  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  16  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  17  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  18  * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
  19  * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
  20  * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
  21  * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  22  * SOFTWARE.
  23  */
  24
  25 #include "inner.h"
  26
  27 #define CH(X, Y, Z)    ((((Y) ^ (Z)) & (X)) ^ (Z))
  28 #define MAJ(X, Y, Z)   (((Y) & (Z)) | (((Y) | (Z)) & (X)))
  29
  30 #define ROTR(x, n)    (((uint64_t)(x) << (64 - (n))) | ((uint64_t)(x) >> (n)))
  31
  32 #define BSG5_0(x)      (ROTR(x, 28) ^ ROTR(x, 34) ^ ROTR(x, 39))
  33 #define BSG5_1(x)      (ROTR(x, 14) ^ ROTR(x, 18) ^ ROTR(x, 41))
  34 #define SSG5_0(x)      (ROTR(x, 1) ^ ROTR(x, 8) ^ (uint64_t)((x) >> 7))
  35 #define SSG5_1(x)      (ROTR(x, 19) ^ ROTR(x, 61) ^ (uint64_t)((x) >> 6))
  36
  37 static const uint64_t IV384[8] = {
  38         0xCBBB9D5DC1059ED8, 0x629A292A367CD507,
  39         0x9159015A3070DD17, 0x152FECD8F70E5939,
  40         0x67332667FFC00B31, 0x8EB44A8768581511,
  41         0xDB0C2E0D64F98FA7, 0x47B5481DBEFA4FA4
  42 };
  43
  44 static const uint64_t IV512[8] = {
  45         0x6A09E667F3BCC908, 0xBB67AE8584CAA73B,
  46         0x3C6EF372FE94F82B, 0xA54FF53A5F1D36F1,
  47         0x510E527FADE682D1, 0x9B05688C2B3E6C1F,
  48         0x1F83D9ABFB41BD6B, 0x5BE0CD19137E2179
  49 };
  50
  51 static const uint64_t K[80] = {
  52         0x428A2F98D728AE22, 0x7137449123EF65CD,
  53         0xB5C0FBCFEC4D3B2F, 0xE9B5DBA58189DBBC,
  54         0x3956C25BF348B538, 0x59F111F1B605D019,
  55         0x923F82A4AF194F9B, 0xAB1C5ED5DA6D8118,
  56         0xD807AA98A3030242, 0x12835B0145706FBE,
  57         0x243185BE4EE4B28C, 0x550C7DC3D5FFB4E2,
  58         0x72BE5D74F27B896F, 0x80DEB1FE3B1696B1,
  59         0x9BDC06A725C71235, 0xC19BF174CF692694,
  60         0xE49B69C19EF14AD2, 0xEFBE4786384F25E3,
  61         0x0FC19DC68B8CD5B5, 0x240CA1CC77AC9C65,
  62         0x2DE92C6F592B0275, 0x4A7484AA6EA6E483,
  63         0x5CB0A9DCBD41FBD4, 0x76F988DA831153B5,
  64         0x983E5152EE66DFAB, 0xA831C66D2DB43210,
  65         0xB00327C898FB213F, 0xBF597FC7BEEF0EE4,
  66         0xC6E00BF33DA88FC2, 0xD5A79147930AA725,
  67         0x06CA6351E003826F, 0x142929670A0E6E70,
  68         0x27B70A8546D22FFC, 0x2E1B21385C26C926,
  69         0x4D2C6DFC5AC42AED, 0x53380D139D95B3DF,
  70         0x650A73548BAF63DE, 0x766A0ABB3C77B2A8,
  71         0x81C2C92E47EDAEE6, 0x92722C851482353B,
  72         0xA2BFE8A14CF10364, 0xA81A664BBC423001,
  73         0xC24B8B70D0F89791, 0xC76C51A30654BE30,
  74         0xD192E819D6EF5218, 0xD69906245565A910,
  75         0xF40E35855771202A, 0x106AA07032BBD1B8,
  76         0x19A4C116B8D2D0C8, 0x1E376C085141AB53,
  77         0x2748774CDF8EEB99, 0x34B0BCB5E19B48A8,
  78         0x391C0CB3C5C95A63, 0x4ED8AA4AE3418ACB,
  79         0x5B9CCA4F7763E373, 0x682E6FF3D6B2B8A3,
  80         0x748F82EE5DEFB2FC, 0x78A5636F43172F60,
  81         0x84C87814A1F0AB72, 0x8CC702081A6439EC,
  82         0x90BEFFFA23631E28, 0xA4506CEBDE82BDE9,
  83         0xBEF9A3F7B2C67915, 0xC67178F2E372532B,
  84         0xCA273ECEEA26619C, 0xD186B8C721C0C207,
  85         0xEADA7DD6CDE0EB1E, 0xF57D4F7FEE6ED178,
  86         0x06F067AA72176FBA, 0x0A637DC5A2C898A6,
  87         0x113F9804BEF90DAE, 0x1B710B35131C471B,
  88         0x28DB77F523047D84, 0x32CAAB7B40C72493,
  89         0x3C9EBE0A15C9BEBC, 0x431D67C49C100D4C,
  90         0x4CC5D4BECB3E42B6, 0x597F299CFC657E2A,
  91         0x5FCB6FAB3AD6FAEC, 0x6C44198C4A475817
  92 };
  93
  94 static void
  95 sha2big_round(const unsigned char *buf, uint64_t *val)
  96 {
  97
  98 #define SHA2BIG_STEP(A, B, C, D, E, F, G, H, j)   do { \
  99                 uint64_t T1, T2; \
 100                 T1 = H + BSG5_1(E) + CH(E, F, G) + K[j] + w[j]; \
 101                 T2 = BSG5_0(A) + MAJ(A, B, C); \
 102                 D += T1; \
 103                 H = T1 + T2; \
 104         } while (0)
 105
 106         int i;
 107         uint64_t a, b, c, d, e, f, g, h;
 108         uint64_t w[80];
 109
 110         br_range_dec64be(w, 16, buf);
 111         for (i = 16; i < 80; i ++) {
 112                 w[i] = SSG5_1(w[i - 2]) + w[i - 7]
 113                         + SSG5_0(w[i - 15]) + w[i - 16];
 114         }
 115         a = val[0];
 116         b = val[1];
 117         c = val[2];
 118         d = val[3];
 119         e = val[4];
 120         f = val[5];
 121         g = val[6];
 122         h = val[7];
 123         for (i = 0; i < 80; i += 8) {
 124                 SHA2BIG_STEP(a, b, c, d, e, f, g, h, i + 0);
 125                 SHA2BIG_STEP(h, a, b, c, d, e, f, g, i + 1);
 126                 SHA2BIG_STEP(g, h, a, b, c, d, e, f, i + 2);
 127                 SHA2BIG_STEP(f, g, h, a, b, c, d, e, i + 3);
 128                 SHA2BIG_STEP(e, f, g, h, a, b, c, d, i + 4);
 129                 SHA2BIG_STEP(d, e, f, g, h, a, b, c, i + 5);
 130                 SHA2BIG_STEP(c, d, e, f, g, h, a, b, i + 6);
 131                 SHA2BIG_STEP(b, c, d, e, f, g, h, a, i + 7);
 132         }
 133         val[0] += a;
 134         val[1] += b;
 135         val[2] += c;
 136         val[3] += d;
 137         val[4] += e;
 138         val[5] += f;
 139         val[6] += g;
 140         val[7] += h;
 141 }
 142
 143 static void
 144 sha2big_update(br_sha384_context *cc, const void *data, size_t len)
 145 {
 146         const unsigned char *buf;
 147         size_t ptr;
 148
 149         buf = data;
 150         ptr = (size_t)cc->count & 127;
 151         cc->count += (uint64_t)len;
 152         while (len > 0) {
 153                 size_t clen;
 154
 155                 clen = 128 - ptr;
 156                 if (clen > len) {
 157                         clen = len;
 158                 }
 159                 memcpy(cc->buf + ptr, buf, clen);
 160                 ptr += clen;
 161                 buf += clen;
 162                 len -= clen;
 163                 if (ptr == 128) {
 164                         sha2big_round(cc->buf, cc->val);
 165                         ptr = 0;
 166                 }
 167         }
 168 }
 169
 170 static void
 171 sha2big_out(const br_sha384_context *cc, void *dst, int num)
 172 {
 173         unsigned char buf[128];
 174         uint64_t val[8];
 175         size_t ptr;
 176
 177         ptr = (size_t)cc->count & 127;
 178         memcpy(buf, cc->buf, ptr);
 179         memcpy(val, cc->val, sizeof val);
 180         buf[ptr ++] = 0x80;
 181         if (ptr > 112) {
 182                 memset(buf + ptr, 0, 128 - ptr);
 183                 sha2big_round(buf, val);
 184                 memset(buf, 0, 112);
 185         } else {
 186                 memset(buf + ptr, 0, 112 - ptr);
 187         }
 188         br_enc64be(buf + 112, cc->count >> 61);
 189         br_enc64be(buf + 120, cc->count << 3);
 190         sha2big_round(buf, val);
 191         br_range_enc64be(dst, val, num);
 192 }
 193
 194 /* see bearssl.h */
 195 void
 196 br_sha384_init(br_sha384_context *cc)
 197 {
 198         cc->vtable = &br_sha384_vtable;
 199         memcpy(cc->val, IV384, sizeof IV384);
 200         cc->count = 0;
 201 }
 202
 203 /* see bearssl.h */
 204 void
 205 br_sha384_update(br_sha384_context *cc, const void *data, size_t len)
 206 {
 207         sha2big_update(cc, data, len);
 208 }
 209
 210 /* see bearssl.h */
 211 void
 212 br_sha384_out(const br_sha384_context *cc, void *dst)
 213 {
 214         sha2big_out(cc, dst, 6);
 215 }
 216
 217 /* see bearssl.h */
 218 uint64_t
 219 br_sha384_state(const br_sha384_context *cc, void *dst)
 220 {
 221         br_range_enc64be(dst, cc->val, 8);
 222         return cc->count;
 223 }
 224
 225 /* see bearssl.h */
 226 void
 227 br_sha384_set_state(br_sha384_context *cc, const void *stb, uint64_t count)
 228 {
 229         br_range_dec64be(cc->val, 8, stb);
 230         cc->count = count;
 231 }
 232
 233 /* see bearssl.h */
 234 void
 235 br_sha512_init(br_sha512_context *cc)
 236 {
 237         cc->vtable = &br_sha512_vtable;
 238         memcpy(cc->val, IV512, sizeof IV512);
 239         cc->count = 0;
 240 }
 241
 242 /* see bearssl.h */
 243 void
 244 br_sha512_out(const br_sha512_context *cc, void *dst)
 245 {
 246         sha2big_out(cc, dst, 8);
 247 }
 248
 249 /* see bearssl.h */
 250 const br_hash_class br_sha384_vtable = {
 251         sizeof(br_sha384_context),
 252         BR_HASHDESC_ID(br_sha384_ID)
 253                 | BR_HASHDESC_OUT(48)
 254                 | BR_HASHDESC_STATE(64)
 255                 | BR_HASHDESC_LBLEN(7)
 256                 | BR_HASHDESC_MD_PADDING
 257                 | BR_HASHDESC_MD_PADDING_BE
 258                 | BR_HASHDESC_MD_PADDING_128,
 259         (void (*)(const br_hash_class **))&br_sha384_init,
 260         (void (*)(const br_hash_class **, const void *, size_t))
 261                 &br_sha384_update,
 262         (void (*)(const br_hash_class *const *, void *))&br_sha384_out,
 263         (uint64_t (*)(const br_hash_class *const *, void *))&br_sha384_state,
 264         (void (*)(const br_hash_class **, const void *, uint64_t))
 265                 &br_sha384_set_state
 266 };
 267
 268 /* see bearssl.h */
 269 const br_hash_class br_sha512_vtable = {
 270         sizeof(br_sha512_context),
 271         BR_HASHDESC_ID(br_sha512_ID)
 272                 | BR_HASHDESC_OUT(64)
 273                 | BR_HASHDESC_STATE(64)
 274                 | BR_HASHDESC_LBLEN(7)
 275                 | BR_HASHDESC_MD_PADDING
 276                 | BR_HASHDESC_MD_PADDING_BE
 277                 | BR_HASHDESC_MD_PADDING_128,
 278         (void (*)(const br_hash_class **))&br_sha512_init,
 279         (void (*)(const br_hash_class **, const void *, size_t))
 280                 &br_sha512_update,
 281         (void (*)(const br_hash_class *const *, void *))&br_sha512_out,
 282         (uint64_t (*)(const br_hash_class *const *, void *))&br_sha512_state,
 283         (void (*)(const br_hash_class **, const void *, uint64_t))
 284                 &br_sha512_set_state
 285 };