LCOV - code coverage report
Current view: top level - src/crypto - sha512.cpp (source / functions) Hit Total Coverage
Test: fuzz_coverage.info Lines: 153 153 100.0 %
Date: 2023-10-05 12:38:51 Functions: 13 13 100.0 %
Branches: 8 8 100.0 %

           Branch data     Line data    Source code
       1                 :            : // Copyright (c) 2014-2022 The Bitcoin Core developers
       2                 :            : // Distributed under the MIT software license, see the accompanying
       3                 :            : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
       4                 :            : 
       5                 :            : #include <crypto/sha512.h>
       6                 :            : 
       7                 :            : #include <crypto/common.h>
       8                 :            : 
       9                 :            : #include <string.h>
      10                 :            : 
      11                 :            : // Internal implementation code.
      12                 :            : namespace
      13                 :            : {
      14                 :            : /// Internal SHA-512 implementation.
      15                 :            : namespace sha512
      16                 :            : {
      17                 :    7192933 : uint64_t inline Ch(uint64_t x, uint64_t y, uint64_t z) { return z ^ (x & (y ^ z)); }
      18                 :    7177360 : uint64_t inline Maj(uint64_t x, uint64_t y, uint64_t z) { return (x & y) | (z & (x | y)); }
      19                 :    7177360 : uint64_t inline Sigma0(uint64_t x) { return (x >> 28 | x << 36) ^ (x >> 34 | x << 30) ^ (x >> 39 | x << 25); }
      20                 :    7177360 : uint64_t inline Sigma1(uint64_t x) { return (x >> 14 | x << 50) ^ (x >> 18 | x << 46) ^ (x >> 41 | x << 23); }
      21                 :    5741888 : uint64_t inline sigma0(uint64_t x) { return (x >> 1 | x << 63) ^ (x >> 8 | x << 56) ^ (x >> 7); }
      22                 :    5741888 : uint64_t inline sigma1(uint64_t x) { return (x >> 19 | x << 45) ^ (x >> 61 | x << 3) ^ (x >> 6); }
      23                 :            : 
      24                 :            : /** One round of SHA-512. */
      25                 :    7177360 : void inline Round(uint64_t a, uint64_t b, uint64_t c, uint64_t& d, uint64_t e, uint64_t f, uint64_t g, uint64_t& h, uint64_t k, uint64_t w)
      26                 :            : {
      27                 :    7177360 :     uint64_t t1 = h + Sigma1(e) + Ch(e, f, g) + k + w;
      28                 :    7177360 :     uint64_t t2 = Sigma0(a) + Maj(a, b, c);
      29                 :    7177360 :     d += t1;
      30                 :    7177360 :     h = t1 + t2;
      31                 :    7177360 : }
      32                 :            : 
      33                 :            : /** Initialize SHA-512 state. */
      34                 :      99148 : void inline Initialize(uint64_t* s)
      35                 :            : {
      36                 :      99148 :     s[0] = 0x6a09e667f3bcc908ull;
      37                 :      99148 :     s[1] = 0xbb67ae8584caa73bull;
      38                 :      99148 :     s[2] = 0x3c6ef372fe94f82bull;
      39                 :      99148 :     s[3] = 0xa54ff53a5f1d36f1ull;
      40                 :      99148 :     s[4] = 0x510e527fade682d1ull;
      41                 :      99148 :     s[5] = 0x9b05688c2b3e6c1full;
      42                 :      99148 :     s[6] = 0x1f83d9abfb41bd6bull;
      43                 :      99148 :     s[7] = 0x5be0cd19137e2179ull;
      44                 :      99148 : }
      45                 :            : 
      46                 :            : /** Perform one SHA-512 transformation, processing a 128-byte chunk. */
      47                 :      89717 : void Transform(uint64_t* s, const unsigned char* chunk)
      48                 :            : {
      49                 :      89717 :     uint64_t a = s[0], b = s[1], c = s[2], d = s[3], e = s[4], f = s[5], g = s[6], h = s[7];
      50                 :            :     uint64_t w0, w1, w2, w3, w4, w5, w6, w7, w8, w9, w10, w11, w12, w13, w14, w15;
      51                 :            : 
      52                 :      89717 :     Round(a, b, c, d, e, f, g, h, 0x428a2f98d728ae22ull, w0 = ReadBE64(chunk + 0));
      53                 :      89717 :     Round(h, a, b, c, d, e, f, g, 0x7137449123ef65cdull, w1 = ReadBE64(chunk + 8));
      54                 :      89717 :     Round(g, h, a, b, c, d, e, f, 0xb5c0fbcfec4d3b2full, w2 = ReadBE64(chunk + 16));
      55                 :      89717 :     Round(f, g, h, a, b, c, d, e, 0xe9b5dba58189dbbcull, w3 = ReadBE64(chunk + 24));
      56                 :      89717 :     Round(e, f, g, h, a, b, c, d, 0x3956c25bf348b538ull, w4 = ReadBE64(chunk + 32));
      57                 :      89717 :     Round(d, e, f, g, h, a, b, c, 0x59f111f1b605d019ull, w5 = ReadBE64(chunk + 40));
      58                 :      89717 :     Round(c, d, e, f, g, h, a, b, 0x923f82a4af194f9bull, w6 = ReadBE64(chunk + 48));
      59                 :      89717 :     Round(b, c, d, e, f, g, h, a, 0xab1c5ed5da6d8118ull, w7 = ReadBE64(chunk + 56));
      60                 :      89717 :     Round(a, b, c, d, e, f, g, h, 0xd807aa98a3030242ull, w8 = ReadBE64(chunk + 64));
      61                 :      89717 :     Round(h, a, b, c, d, e, f, g, 0x12835b0145706fbeull, w9 = ReadBE64(chunk + 72));
      62                 :      89717 :     Round(g, h, a, b, c, d, e, f, 0x243185be4ee4b28cull, w10 = ReadBE64(chunk + 80));
      63                 :      89717 :     Round(f, g, h, a, b, c, d, e, 0x550c7dc3d5ffb4e2ull, w11 = ReadBE64(chunk + 88));
      64                 :      89717 :     Round(e, f, g, h, a, b, c, d, 0x72be5d74f27b896full, w12 = ReadBE64(chunk + 96));
      65                 :      89717 :     Round(d, e, f, g, h, a, b, c, 0x80deb1fe3b1696b1ull, w13 = ReadBE64(chunk + 104));
      66                 :      89717 :     Round(c, d, e, f, g, h, a, b, 0x9bdc06a725c71235ull, w14 = ReadBE64(chunk + 112));
      67                 :      89717 :     Round(b, c, d, e, f, g, h, a, 0xc19bf174cf692694ull, w15 = ReadBE64(chunk + 120));
      68                 :            : 
      69                 :      89717 :     Round(a, b, c, d, e, f, g, h, 0xe49b69c19ef14ad2ull, w0 += sigma1(w14) + w9 + sigma0(w1));
      70                 :      89717 :     Round(h, a, b, c, d, e, f, g, 0xefbe4786384f25e3ull, w1 += sigma1(w15) + w10 + sigma0(w2));
      71                 :      89717 :     Round(g, h, a, b, c, d, e, f, 0x0fc19dc68b8cd5b5ull, w2 += sigma1(w0) + w11 + sigma0(w3));
      72                 :      89717 :     Round(f, g, h, a, b, c, d, e, 0x240ca1cc77ac9c65ull, w3 += sigma1(w1) + w12 + sigma0(w4));
      73                 :      89717 :     Round(e, f, g, h, a, b, c, d, 0x2de92c6f592b0275ull, w4 += sigma1(w2) + w13 + sigma0(w5));
      74                 :      89717 :     Round(d, e, f, g, h, a, b, c, 0x4a7484aa6ea6e483ull, w5 += sigma1(w3) + w14 + sigma0(w6));
      75                 :      89717 :     Round(c, d, e, f, g, h, a, b, 0x5cb0a9dcbd41fbd4ull, w6 += sigma1(w4) + w15 + sigma0(w7));
      76                 :      89717 :     Round(b, c, d, e, f, g, h, a, 0x76f988da831153b5ull, w7 += sigma1(w5) + w0 + sigma0(w8));
      77                 :      89717 :     Round(a, b, c, d, e, f, g, h, 0x983e5152ee66dfabull, w8 += sigma1(w6) + w1 + sigma0(w9));
      78                 :      89717 :     Round(h, a, b, c, d, e, f, g, 0xa831c66d2db43210ull, w9 += sigma1(w7) + w2 + sigma0(w10));
      79                 :      89717 :     Round(g, h, a, b, c, d, e, f, 0xb00327c898fb213full, w10 += sigma1(w8) + w3 + sigma0(w11));
      80                 :      89717 :     Round(f, g, h, a, b, c, d, e, 0xbf597fc7beef0ee4ull, w11 += sigma1(w9) + w4 + sigma0(w12));
      81                 :      89717 :     Round(e, f, g, h, a, b, c, d, 0xc6e00bf33da88fc2ull, w12 += sigma1(w10) + w5 + sigma0(w13));
      82                 :      89717 :     Round(d, e, f, g, h, a, b, c, 0xd5a79147930aa725ull, w13 += sigma1(w11) + w6 + sigma0(w14));
      83                 :      89717 :     Round(c, d, e, f, g, h, a, b, 0x06ca6351e003826full, w14 += sigma1(w12) + w7 + sigma0(w15));
      84                 :      89717 :     Round(b, c, d, e, f, g, h, a, 0x142929670a0e6e70ull, w15 += sigma1(w13) + w8 + sigma0(w0));
      85                 :            : 
      86                 :      89717 :     Round(a, b, c, d, e, f, g, h, 0x27b70a8546d22ffcull, w0 += sigma1(w14) + w9 + sigma0(w1));
      87                 :      89717 :     Round(h, a, b, c, d, e, f, g, 0x2e1b21385c26c926ull, w1 += sigma1(w15) + w10 + sigma0(w2));
      88                 :      89717 :     Round(g, h, a, b, c, d, e, f, 0x4d2c6dfc5ac42aedull, w2 += sigma1(w0) + w11 + sigma0(w3));
      89                 :      89717 :     Round(f, g, h, a, b, c, d, e, 0x53380d139d95b3dfull, w3 += sigma1(w1) + w12 + sigma0(w4));
      90                 :      89717 :     Round(e, f, g, h, a, b, c, d, 0x650a73548baf63deull, w4 += sigma1(w2) + w13 + sigma0(w5));
      91                 :      89717 :     Round(d, e, f, g, h, a, b, c, 0x766a0abb3c77b2a8ull, w5 += sigma1(w3) + w14 + sigma0(w6));
      92                 :      89717 :     Round(c, d, e, f, g, h, a, b, 0x81c2c92e47edaee6ull, w6 += sigma1(w4) + w15 + sigma0(w7));
      93                 :      89717 :     Round(b, c, d, e, f, g, h, a, 0x92722c851482353bull, w7 += sigma1(w5) + w0 + sigma0(w8));
      94                 :      89717 :     Round(a, b, c, d, e, f, g, h, 0xa2bfe8a14cf10364ull, w8 += sigma1(w6) + w1 + sigma0(w9));
      95                 :      89717 :     Round(h, a, b, c, d, e, f, g, 0xa81a664bbc423001ull, w9 += sigma1(w7) + w2 + sigma0(w10));
      96                 :      89717 :     Round(g, h, a, b, c, d, e, f, 0xc24b8b70d0f89791ull, w10 += sigma1(w8) + w3 + sigma0(w11));
      97                 :      89717 :     Round(f, g, h, a, b, c, d, e, 0xc76c51a30654be30ull, w11 += sigma1(w9) + w4 + sigma0(w12));
      98                 :      89717 :     Round(e, f, g, h, a, b, c, d, 0xd192e819d6ef5218ull, w12 += sigma1(w10) + w5 + sigma0(w13));
      99                 :      89717 :     Round(d, e, f, g, h, a, b, c, 0xd69906245565a910ull, w13 += sigma1(w11) + w6 + sigma0(w14));
     100                 :      89717 :     Round(c, d, e, f, g, h, a, b, 0xf40e35855771202aull, w14 += sigma1(w12) + w7 + sigma0(w15));
     101                 :      89717 :     Round(b, c, d, e, f, g, h, a, 0x106aa07032bbd1b8ull, w15 += sigma1(w13) + w8 + sigma0(w0));
     102                 :            : 
     103                 :      89717 :     Round(a, b, c, d, e, f, g, h, 0x19a4c116b8d2d0c8ull, w0 += sigma1(w14) + w9 + sigma0(w1));
     104                 :      89717 :     Round(h, a, b, c, d, e, f, g, 0x1e376c085141ab53ull, w1 += sigma1(w15) + w10 + sigma0(w2));
     105                 :      89717 :     Round(g, h, a, b, c, d, e, f, 0x2748774cdf8eeb99ull, w2 += sigma1(w0) + w11 + sigma0(w3));
     106                 :      89717 :     Round(f, g, h, a, b, c, d, e, 0x34b0bcb5e19b48a8ull, w3 += sigma1(w1) + w12 + sigma0(w4));
     107                 :      89717 :     Round(e, f, g, h, a, b, c, d, 0x391c0cb3c5c95a63ull, w4 += sigma1(w2) + w13 + sigma0(w5));
     108                 :      89717 :     Round(d, e, f, g, h, a, b, c, 0x4ed8aa4ae3418acbull, w5 += sigma1(w3) + w14 + sigma0(w6));
     109                 :      89717 :     Round(c, d, e, f, g, h, a, b, 0x5b9cca4f7763e373ull, w6 += sigma1(w4) + w15 + sigma0(w7));
     110                 :      89717 :     Round(b, c, d, e, f, g, h, a, 0x682e6ff3d6b2b8a3ull, w7 += sigma1(w5) + w0 + sigma0(w8));
     111                 :      89717 :     Round(a, b, c, d, e, f, g, h, 0x748f82ee5defb2fcull, w8 += sigma1(w6) + w1 + sigma0(w9));
     112                 :      89717 :     Round(h, a, b, c, d, e, f, g, 0x78a5636f43172f60ull, w9 += sigma1(w7) + w2 + sigma0(w10));
     113                 :      89717 :     Round(g, h, a, b, c, d, e, f, 0x84c87814a1f0ab72ull, w10 += sigma1(w8) + w3 + sigma0(w11));
     114                 :      89717 :     Round(f, g, h, a, b, c, d, e, 0x8cc702081a6439ecull, w11 += sigma1(w9) + w4 + sigma0(w12));
     115                 :      89717 :     Round(e, f, g, h, a, b, c, d, 0x90befffa23631e28ull, w12 += sigma1(w10) + w5 + sigma0(w13));
     116                 :      89717 :     Round(d, e, f, g, h, a, b, c, 0xa4506cebde82bde9ull, w13 += sigma1(w11) + w6 + sigma0(w14));
     117                 :      89717 :     Round(c, d, e, f, g, h, a, b, 0xbef9a3f7b2c67915ull, w14 += sigma1(w12) + w7 + sigma0(w15));
     118                 :      89717 :     Round(b, c, d, e, f, g, h, a, 0xc67178f2e372532bull, w15 += sigma1(w13) + w8 + sigma0(w0));
     119                 :            : 
     120                 :      89717 :     Round(a, b, c, d, e, f, g, h, 0xca273eceea26619cull, w0 += sigma1(w14) + w9 + sigma0(w1));
     121                 :      89717 :     Round(h, a, b, c, d, e, f, g, 0xd186b8c721c0c207ull, w1 += sigma1(w15) + w10 + sigma0(w2));
     122                 :      89717 :     Round(g, h, a, b, c, d, e, f, 0xeada7dd6cde0eb1eull, w2 += sigma1(w0) + w11 + sigma0(w3));
     123                 :      89717 :     Round(f, g, h, a, b, c, d, e, 0xf57d4f7fee6ed178ull, w3 += sigma1(w1) + w12 + sigma0(w4));
     124                 :      89717 :     Round(e, f, g, h, a, b, c, d, 0x06f067aa72176fbaull, w4 += sigma1(w2) + w13 + sigma0(w5));
     125                 :      89717 :     Round(d, e, f, g, h, a, b, c, 0x0a637dc5a2c898a6ull, w5 += sigma1(w3) + w14 + sigma0(w6));
     126                 :      89717 :     Round(c, d, e, f, g, h, a, b, 0x113f9804bef90daeull, w6 += sigma1(w4) + w15 + sigma0(w7));
     127                 :      89717 :     Round(b, c, d, e, f, g, h, a, 0x1b710b35131c471bull, w7 += sigma1(w5) + w0 + sigma0(w8));
     128                 :      89717 :     Round(a, b, c, d, e, f, g, h, 0x28db77f523047d84ull, w8 += sigma1(w6) + w1 + sigma0(w9));
     129                 :      89717 :     Round(h, a, b, c, d, e, f, g, 0x32caab7b40c72493ull, w9 += sigma1(w7) + w2 + sigma0(w10));
     130                 :      89717 :     Round(g, h, a, b, c, d, e, f, 0x3c9ebe0a15c9bebcull, w10 += sigma1(w8) + w3 + sigma0(w11));
     131                 :      89717 :     Round(f, g, h, a, b, c, d, e, 0x431d67c49c100d4cull, w11 += sigma1(w9) + w4 + sigma0(w12));
     132                 :      89717 :     Round(e, f, g, h, a, b, c, d, 0x4cc5d4becb3e42b6ull, w12 += sigma1(w10) + w5 + sigma0(w13));
     133                 :      89717 :     Round(d, e, f, g, h, a, b, c, 0x597f299cfc657e2aull, w13 += sigma1(w11) + w6 + sigma0(w14));
     134                 :      89717 :     Round(c, d, e, f, g, h, a, b, 0x5fcb6fab3ad6faecull, w14 + sigma1(w12) + w7 + sigma0(w15));
     135                 :      89717 :     Round(b, c, d, e, f, g, h, a, 0x6c44198c4a475817ull, w15 + sigma1(w13) + w8 + sigma0(w0));
     136                 :            : 
     137                 :      89717 :     s[0] += a;
     138                 :      89717 :     s[1] += b;
     139                 :      89717 :     s[2] += c;
     140                 :      89717 :     s[3] += d;
     141                 :      89717 :     s[4] += e;
     142                 :      89717 :     s[5] += f;
     143                 :      89717 :     s[6] += g;
     144                 :      89717 :     s[7] += h;
     145                 :      89717 : }
     146                 :            : 
     147                 :            : } // namespace sha512
     148                 :            : 
     149                 :            : } // namespace
     150                 :            : 
     151                 :            : 
     152                 :            : ////// SHA-512
     153                 :            : 
     154                 :      15573 : CSHA512::CSHA512()
     155                 :            : {
     156                 :      15573 :     sha512::Initialize(s);
     157                 :      15573 : }
     158                 :            : 
     159                 :     329275 : CSHA512& CSHA512::Write(const unsigned char* data, size_t len)
     160                 :            : {
     161                 :     329275 :     const unsigned char* end = data + len;
     162                 :     329275 :     size_t bufsize = bytes % 128;
     163   [ +  +  +  + ]:     329275 :     if (bufsize && bufsize + len >= 128) {
     164                 :            :         // Fill the buffer, and process it.
     165                 :      88775 :         memcpy(buf + bufsize, data, 128 - bufsize);
     166                 :      88775 :         bytes += 128 - bufsize;
     167                 :      88775 :         data += 128 - bufsize;
     168                 :      88775 :         sha512::Transform(s, buf);
     169                 :      88775 :         bufsize = 0;
     170                 :      88775 :     }
     171         [ +  + ]:     330217 :     while (end - data >= 128) {
     172                 :            :         // Process full chunks directly from the source.
     173                 :        942 :         sha512::Transform(s, data);
     174                 :        942 :         data += 128;
     175                 :        942 :         bytes += 128;
     176                 :            :     }
     177         [ +  + ]:     329275 :     if (end > data) {
     178                 :            :         // Fill the buffer with what remains.
     179                 :     240640 :         memcpy(buf + bufsize, data, end - data);
     180                 :     240640 :         bytes += end - data;
     181                 :     240640 :     }
     182                 :     329275 :     return *this;
     183                 :            : }
     184                 :            : 
     185                 :      83575 : void CSHA512::Finalize(unsigned char hash[OUTPUT_SIZE])
     186                 :            : {
     187                 :            :     static const unsigned char pad[128] = {0x80};
     188                 :      83575 :     unsigned char sizedesc[16] = {0x00};
     189                 :      83575 :     WriteBE64(sizedesc + 8, bytes << 3);
     190                 :      83575 :     Write(pad, 1 + ((239 - (bytes % 128)) % 128));
     191                 :      83575 :     Write(sizedesc, 16);
     192                 :      83575 :     WriteBE64(hash, s[0]);
     193                 :      83575 :     WriteBE64(hash + 8, s[1]);
     194                 :      83575 :     WriteBE64(hash + 16, s[2]);
     195                 :      83575 :     WriteBE64(hash + 24, s[3]);
     196                 :      83575 :     WriteBE64(hash + 32, s[4]);
     197                 :      83575 :     WriteBE64(hash + 40, s[5]);
     198                 :      83575 :     WriteBE64(hash + 48, s[6]);
     199                 :      83575 :     WriteBE64(hash + 56, s[7]);
     200                 :      83575 : }
     201                 :            : 
     202                 :      83575 : CSHA512& CSHA512::Reset()
     203                 :            : {
     204                 :      83575 :     bytes = 0;
     205                 :      83575 :     sha512::Initialize(s);
     206                 :      83575 :     return *this;
     207                 :            : }

Generated by: LCOV version 1.14