1*82d56013Sjoerg //====- SHA256.cpp - SHA256 implementation ---*- C++ -* ======//
2*82d56013Sjoerg //
3*82d56013Sjoerg // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*82d56013Sjoerg // See https://llvm.org/LICENSE.txt for license information.
5*82d56013Sjoerg // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*82d56013Sjoerg //
7*82d56013Sjoerg //===----------------------------------------------------------------------===//
8*82d56013Sjoerg /*
9*82d56013Sjoerg * The SHA-256 Secure Hash Standard was published by NIST in 2002.
10*82d56013Sjoerg *
11*82d56013Sjoerg * http://csrc.nist.gov/publications/fips/fips180-2/fips180-2.pdf
12*82d56013Sjoerg *
13*82d56013Sjoerg * The implementation is based on nacl's sha256 implementation [0] and LLVM's
14*82d56013Sjoerg * pre-exsiting SHA1 code [1].
15*82d56013Sjoerg *
16*82d56013Sjoerg * [0] https://hyperelliptic.org/nacl/nacl-20110221.tar.bz2 (public domain
17*82d56013Sjoerg * code)
18*82d56013Sjoerg * [1] llvm/lib/Support/SHA1.{h,cpp}
19*82d56013Sjoerg */
20*82d56013Sjoerg //===----------------------------------------------------------------------===//
21*82d56013Sjoerg
22*82d56013Sjoerg #include "llvm/Support/SHA256.h"
23*82d56013Sjoerg #include "llvm/ADT/ArrayRef.h"
24*82d56013Sjoerg #include "llvm/ADT/StringRef.h"
25*82d56013Sjoerg #include "llvm/Support/Endian.h"
26*82d56013Sjoerg #include "llvm/Support/Host.h"
27*82d56013Sjoerg #include <string.h>
28*82d56013Sjoerg
29*82d56013Sjoerg namespace llvm {
30*82d56013Sjoerg
31*82d56013Sjoerg #if defined(BYTE_ORDER) && defined(BIG_ENDIAN) && BYTE_ORDER == BIG_ENDIAN
32*82d56013Sjoerg #define SHA_BIG_ENDIAN
33*82d56013Sjoerg #endif
34*82d56013Sjoerg
35*82d56013Sjoerg #define SHR(x, c) ((x) >> (c))
36*82d56013Sjoerg #define ROTR(x, n) (((x) >> n) | ((x) << (32 - (n))))
37*82d56013Sjoerg
38*82d56013Sjoerg #define CH(x, y, z) (((x) & (y)) ^ (~(x) & (z)))
39*82d56013Sjoerg #define MAJ(x, y, z) (((x) & (y)) ^ ((x) & (z)) ^ ((y) & (z)))
40*82d56013Sjoerg
41*82d56013Sjoerg #define SIGMA_0(x) (ROTR(x, 2) ^ ROTR(x, 13) ^ ROTR(x, 22))
42*82d56013Sjoerg #define SIGMA_1(x) (ROTR(x, 6) ^ ROTR(x, 11) ^ ROTR(x, 25))
43*82d56013Sjoerg
44*82d56013Sjoerg #define SIGMA_2(x) (ROTR(x, 17) ^ ROTR(x, 19) ^ SHR(x, 10))
45*82d56013Sjoerg #define SIGMA_3(x) (ROTR(x, 7) ^ ROTR(x, 18) ^ SHR(x, 3))
46*82d56013Sjoerg
47*82d56013Sjoerg #define F_EXPAND(A, B, C, D, E, F, G, H, M1, M2, M3, M4, k) \
48*82d56013Sjoerg do { \
49*82d56013Sjoerg H += SIGMA_1(E) + CH(E, F, G) + M1 + k; \
50*82d56013Sjoerg D += H; \
51*82d56013Sjoerg H += SIGMA_0(A) + MAJ(A, B, C); \
52*82d56013Sjoerg M1 += SIGMA_2(M2) + M3 + SIGMA_3(M4); \
53*82d56013Sjoerg } while (0);
54*82d56013Sjoerg
init()55*82d56013Sjoerg void SHA256::init() {
56*82d56013Sjoerg InternalState.State[0] = 0x6A09E667;
57*82d56013Sjoerg InternalState.State[1] = 0xBB67AE85;
58*82d56013Sjoerg InternalState.State[2] = 0x3C6EF372;
59*82d56013Sjoerg InternalState.State[3] = 0xA54FF53A;
60*82d56013Sjoerg InternalState.State[4] = 0x510E527F;
61*82d56013Sjoerg InternalState.State[5] = 0x9B05688C;
62*82d56013Sjoerg InternalState.State[6] = 0x1F83D9AB;
63*82d56013Sjoerg InternalState.State[7] = 0x5BE0CD19;
64*82d56013Sjoerg InternalState.ByteCount = 0;
65*82d56013Sjoerg InternalState.BufferOffset = 0;
66*82d56013Sjoerg }
67*82d56013Sjoerg
hashBlock()68*82d56013Sjoerg void SHA256::hashBlock() {
69*82d56013Sjoerg uint32_t A = InternalState.State[0];
70*82d56013Sjoerg uint32_t B = InternalState.State[1];
71*82d56013Sjoerg uint32_t C = InternalState.State[2];
72*82d56013Sjoerg uint32_t D = InternalState.State[3];
73*82d56013Sjoerg uint32_t E = InternalState.State[4];
74*82d56013Sjoerg uint32_t F = InternalState.State[5];
75*82d56013Sjoerg uint32_t G = InternalState.State[6];
76*82d56013Sjoerg uint32_t H = InternalState.State[7];
77*82d56013Sjoerg
78*82d56013Sjoerg uint32_t W00 = InternalState.Buffer.L[0];
79*82d56013Sjoerg uint32_t W01 = InternalState.Buffer.L[1];
80*82d56013Sjoerg uint32_t W02 = InternalState.Buffer.L[2];
81*82d56013Sjoerg uint32_t W03 = InternalState.Buffer.L[3];
82*82d56013Sjoerg uint32_t W04 = InternalState.Buffer.L[4];
83*82d56013Sjoerg uint32_t W05 = InternalState.Buffer.L[5];
84*82d56013Sjoerg uint32_t W06 = InternalState.Buffer.L[6];
85*82d56013Sjoerg uint32_t W07 = InternalState.Buffer.L[7];
86*82d56013Sjoerg uint32_t W08 = InternalState.Buffer.L[8];
87*82d56013Sjoerg uint32_t W09 = InternalState.Buffer.L[9];
88*82d56013Sjoerg uint32_t W10 = InternalState.Buffer.L[10];
89*82d56013Sjoerg uint32_t W11 = InternalState.Buffer.L[11];
90*82d56013Sjoerg uint32_t W12 = InternalState.Buffer.L[12];
91*82d56013Sjoerg uint32_t W13 = InternalState.Buffer.L[13];
92*82d56013Sjoerg uint32_t W14 = InternalState.Buffer.L[14];
93*82d56013Sjoerg uint32_t W15 = InternalState.Buffer.L[15];
94*82d56013Sjoerg
95*82d56013Sjoerg F_EXPAND(A, B, C, D, E, F, G, H, W00, W14, W09, W01, 0x428A2F98);
96*82d56013Sjoerg F_EXPAND(H, A, B, C, D, E, F, G, W01, W15, W10, W02, 0x71374491);
97*82d56013Sjoerg F_EXPAND(G, H, A, B, C, D, E, F, W02, W00, W11, W03, 0xB5C0FBCF);
98*82d56013Sjoerg F_EXPAND(F, G, H, A, B, C, D, E, W03, W01, W12, W04, 0xE9B5DBA5);
99*82d56013Sjoerg F_EXPAND(E, F, G, H, A, B, C, D, W04, W02, W13, W05, 0x3956C25B);
100*82d56013Sjoerg F_EXPAND(D, E, F, G, H, A, B, C, W05, W03, W14, W06, 0x59F111F1);
101*82d56013Sjoerg F_EXPAND(C, D, E, F, G, H, A, B, W06, W04, W15, W07, 0x923F82A4);
102*82d56013Sjoerg F_EXPAND(B, C, D, E, F, G, H, A, W07, W05, W00, W08, 0xAB1C5ED5);
103*82d56013Sjoerg F_EXPAND(A, B, C, D, E, F, G, H, W08, W06, W01, W09, 0xD807AA98);
104*82d56013Sjoerg F_EXPAND(H, A, B, C, D, E, F, G, W09, W07, W02, W10, 0x12835B01);
105*82d56013Sjoerg F_EXPAND(G, H, A, B, C, D, E, F, W10, W08, W03, W11, 0x243185BE);
106*82d56013Sjoerg F_EXPAND(F, G, H, A, B, C, D, E, W11, W09, W04, W12, 0x550C7DC3);
107*82d56013Sjoerg F_EXPAND(E, F, G, H, A, B, C, D, W12, W10, W05, W13, 0x72BE5D74);
108*82d56013Sjoerg F_EXPAND(D, E, F, G, H, A, B, C, W13, W11, W06, W14, 0x80DEB1FE);
109*82d56013Sjoerg F_EXPAND(C, D, E, F, G, H, A, B, W14, W12, W07, W15, 0x9BDC06A7);
110*82d56013Sjoerg F_EXPAND(B, C, D, E, F, G, H, A, W15, W13, W08, W00, 0xC19BF174);
111*82d56013Sjoerg
112*82d56013Sjoerg F_EXPAND(A, B, C, D, E, F, G, H, W00, W14, W09, W01, 0xE49B69C1);
113*82d56013Sjoerg F_EXPAND(H, A, B, C, D, E, F, G, W01, W15, W10, W02, 0xEFBE4786);
114*82d56013Sjoerg F_EXPAND(G, H, A, B, C, D, E, F, W02, W00, W11, W03, 0x0FC19DC6);
115*82d56013Sjoerg F_EXPAND(F, G, H, A, B, C, D, E, W03, W01, W12, W04, 0x240CA1CC);
116*82d56013Sjoerg F_EXPAND(E, F, G, H, A, B, C, D, W04, W02, W13, W05, 0x2DE92C6F);
117*82d56013Sjoerg F_EXPAND(D, E, F, G, H, A, B, C, W05, W03, W14, W06, 0x4A7484AA);
118*82d56013Sjoerg F_EXPAND(C, D, E, F, G, H, A, B, W06, W04, W15, W07, 0x5CB0A9DC);
119*82d56013Sjoerg F_EXPAND(B, C, D, E, F, G, H, A, W07, W05, W00, W08, 0x76F988DA);
120*82d56013Sjoerg F_EXPAND(A, B, C, D, E, F, G, H, W08, W06, W01, W09, 0x983E5152);
121*82d56013Sjoerg F_EXPAND(H, A, B, C, D, E, F, G, W09, W07, W02, W10, 0xA831C66D);
122*82d56013Sjoerg F_EXPAND(G, H, A, B, C, D, E, F, W10, W08, W03, W11, 0xB00327C8);
123*82d56013Sjoerg F_EXPAND(F, G, H, A, B, C, D, E, W11, W09, W04, W12, 0xBF597FC7);
124*82d56013Sjoerg F_EXPAND(E, F, G, H, A, B, C, D, W12, W10, W05, W13, 0xC6E00BF3);
125*82d56013Sjoerg F_EXPAND(D, E, F, G, H, A, B, C, W13, W11, W06, W14, 0xD5A79147);
126*82d56013Sjoerg F_EXPAND(C, D, E, F, G, H, A, B, W14, W12, W07, W15, 0x06CA6351);
127*82d56013Sjoerg F_EXPAND(B, C, D, E, F, G, H, A, W15, W13, W08, W00, 0x14292967);
128*82d56013Sjoerg
129*82d56013Sjoerg F_EXPAND(A, B, C, D, E, F, G, H, W00, W14, W09, W01, 0x27B70A85);
130*82d56013Sjoerg F_EXPAND(H, A, B, C, D, E, F, G, W01, W15, W10, W02, 0x2E1B2138);
131*82d56013Sjoerg F_EXPAND(G, H, A, B, C, D, E, F, W02, W00, W11, W03, 0x4D2C6DFC);
132*82d56013Sjoerg F_EXPAND(F, G, H, A, B, C, D, E, W03, W01, W12, W04, 0x53380D13);
133*82d56013Sjoerg F_EXPAND(E, F, G, H, A, B, C, D, W04, W02, W13, W05, 0x650A7354);
134*82d56013Sjoerg F_EXPAND(D, E, F, G, H, A, B, C, W05, W03, W14, W06, 0x766A0ABB);
135*82d56013Sjoerg F_EXPAND(C, D, E, F, G, H, A, B, W06, W04, W15, W07, 0x81C2C92E);
136*82d56013Sjoerg F_EXPAND(B, C, D, E, F, G, H, A, W07, W05, W00, W08, 0x92722C85);
137*82d56013Sjoerg F_EXPAND(A, B, C, D, E, F, G, H, W08, W06, W01, W09, 0xA2BFE8A1);
138*82d56013Sjoerg F_EXPAND(H, A, B, C, D, E, F, G, W09, W07, W02, W10, 0xA81A664B);
139*82d56013Sjoerg F_EXPAND(G, H, A, B, C, D, E, F, W10, W08, W03, W11, 0xC24B8B70);
140*82d56013Sjoerg F_EXPAND(F, G, H, A, B, C, D, E, W11, W09, W04, W12, 0xC76C51A3);
141*82d56013Sjoerg F_EXPAND(E, F, G, H, A, B, C, D, W12, W10, W05, W13, 0xD192E819);
142*82d56013Sjoerg F_EXPAND(D, E, F, G, H, A, B, C, W13, W11, W06, W14, 0xD6990624);
143*82d56013Sjoerg F_EXPAND(C, D, E, F, G, H, A, B, W14, W12, W07, W15, 0xF40E3585);
144*82d56013Sjoerg F_EXPAND(B, C, D, E, F, G, H, A, W15, W13, W08, W00, 0x106AA070);
145*82d56013Sjoerg
146*82d56013Sjoerg F_EXPAND(A, B, C, D, E, F, G, H, W00, W14, W09, W01, 0x19A4C116);
147*82d56013Sjoerg F_EXPAND(H, A, B, C, D, E, F, G, W01, W15, W10, W02, 0x1E376C08);
148*82d56013Sjoerg F_EXPAND(G, H, A, B, C, D, E, F, W02, W00, W11, W03, 0x2748774C);
149*82d56013Sjoerg F_EXPAND(F, G, H, A, B, C, D, E, W03, W01, W12, W04, 0x34B0BCB5);
150*82d56013Sjoerg F_EXPAND(E, F, G, H, A, B, C, D, W04, W02, W13, W05, 0x391C0CB3);
151*82d56013Sjoerg F_EXPAND(D, E, F, G, H, A, B, C, W05, W03, W14, W06, 0x4ED8AA4A);
152*82d56013Sjoerg F_EXPAND(C, D, E, F, G, H, A, B, W06, W04, W15, W07, 0x5B9CCA4F);
153*82d56013Sjoerg F_EXPAND(B, C, D, E, F, G, H, A, W07, W05, W00, W08, 0x682E6FF3);
154*82d56013Sjoerg F_EXPAND(A, B, C, D, E, F, G, H, W08, W06, W01, W09, 0x748F82EE);
155*82d56013Sjoerg F_EXPAND(H, A, B, C, D, E, F, G, W09, W07, W02, W10, 0x78A5636F);
156*82d56013Sjoerg F_EXPAND(G, H, A, B, C, D, E, F, W10, W08, W03, W11, 0x84C87814);
157*82d56013Sjoerg F_EXPAND(F, G, H, A, B, C, D, E, W11, W09, W04, W12, 0x8CC70208);
158*82d56013Sjoerg F_EXPAND(E, F, G, H, A, B, C, D, W12, W10, W05, W13, 0x90BEFFFA);
159*82d56013Sjoerg F_EXPAND(D, E, F, G, H, A, B, C, W13, W11, W06, W14, 0xA4506CEB);
160*82d56013Sjoerg F_EXPAND(C, D, E, F, G, H, A, B, W14, W12, W07, W15, 0xBEF9A3F7);
161*82d56013Sjoerg F_EXPAND(B, C, D, E, F, G, H, A, W15, W13, W08, W00, 0xC67178F2);
162*82d56013Sjoerg
163*82d56013Sjoerg InternalState.State[0] += A;
164*82d56013Sjoerg InternalState.State[1] += B;
165*82d56013Sjoerg InternalState.State[2] += C;
166*82d56013Sjoerg InternalState.State[3] += D;
167*82d56013Sjoerg InternalState.State[4] += E;
168*82d56013Sjoerg InternalState.State[5] += F;
169*82d56013Sjoerg InternalState.State[6] += G;
170*82d56013Sjoerg InternalState.State[7] += H;
171*82d56013Sjoerg }
172*82d56013Sjoerg
addUncounted(uint8_t Data)173*82d56013Sjoerg void SHA256::addUncounted(uint8_t Data) {
174*82d56013Sjoerg #ifdef SHA_BIG_ENDIAN
175*82d56013Sjoerg InternalState.Buffer.C[InternalState.BufferOffset] = Data;
176*82d56013Sjoerg #else
177*82d56013Sjoerg InternalState.Buffer.C[InternalState.BufferOffset ^ 3] = Data;
178*82d56013Sjoerg #endif
179*82d56013Sjoerg
180*82d56013Sjoerg InternalState.BufferOffset++;
181*82d56013Sjoerg if (InternalState.BufferOffset == BLOCK_LENGTH) {
182*82d56013Sjoerg hashBlock();
183*82d56013Sjoerg InternalState.BufferOffset = 0;
184*82d56013Sjoerg }
185*82d56013Sjoerg }
186*82d56013Sjoerg
writebyte(uint8_t Data)187*82d56013Sjoerg void SHA256::writebyte(uint8_t Data) {
188*82d56013Sjoerg ++InternalState.ByteCount;
189*82d56013Sjoerg addUncounted(Data);
190*82d56013Sjoerg }
191*82d56013Sjoerg
update(ArrayRef<uint8_t> Data)192*82d56013Sjoerg void SHA256::update(ArrayRef<uint8_t> Data) {
193*82d56013Sjoerg InternalState.ByteCount += Data.size();
194*82d56013Sjoerg
195*82d56013Sjoerg // Finish the current block.
196*82d56013Sjoerg if (InternalState.BufferOffset > 0) {
197*82d56013Sjoerg const size_t Remainder = std::min<size_t>(
198*82d56013Sjoerg Data.size(), BLOCK_LENGTH - InternalState.BufferOffset);
199*82d56013Sjoerg for (size_t I = 0; I < Remainder; ++I)
200*82d56013Sjoerg addUncounted(Data[I]);
201*82d56013Sjoerg Data = Data.drop_front(Remainder);
202*82d56013Sjoerg }
203*82d56013Sjoerg
204*82d56013Sjoerg // Fast buffer filling for large inputs.
205*82d56013Sjoerg while (Data.size() >= BLOCK_LENGTH) {
206*82d56013Sjoerg assert(InternalState.BufferOffset == 0);
207*82d56013Sjoerg static_assert(BLOCK_LENGTH % 4 == 0, "");
208*82d56013Sjoerg constexpr size_t BLOCK_LENGTH_32 = BLOCK_LENGTH / 4;
209*82d56013Sjoerg for (size_t I = 0; I < BLOCK_LENGTH_32; ++I)
210*82d56013Sjoerg InternalState.Buffer.L[I] = support::endian::read32be(&Data[I * 4]);
211*82d56013Sjoerg hashBlock();
212*82d56013Sjoerg Data = Data.drop_front(BLOCK_LENGTH);
213*82d56013Sjoerg }
214*82d56013Sjoerg
215*82d56013Sjoerg // Finish the remainder.
216*82d56013Sjoerg for (uint8_t C : Data)
217*82d56013Sjoerg addUncounted(C);
218*82d56013Sjoerg }
219*82d56013Sjoerg
update(StringRef Str)220*82d56013Sjoerg void SHA256::update(StringRef Str) {
221*82d56013Sjoerg update(
222*82d56013Sjoerg ArrayRef<uint8_t>((uint8_t *)const_cast<char *>(Str.data()), Str.size()));
223*82d56013Sjoerg }
224*82d56013Sjoerg
pad()225*82d56013Sjoerg void SHA256::pad() {
226*82d56013Sjoerg // Implement SHA-2 padding (fips180-2 5.1.1)
227*82d56013Sjoerg
228*82d56013Sjoerg // Pad with 0x80 followed by 0x00 until the end of the block
229*82d56013Sjoerg addUncounted(0x80);
230*82d56013Sjoerg while (InternalState.BufferOffset != 56)
231*82d56013Sjoerg addUncounted(0x00);
232*82d56013Sjoerg
233*82d56013Sjoerg uint64_t len = InternalState.ByteCount << 3; // bit size
234*82d56013Sjoerg
235*82d56013Sjoerg // Append length in the last 8 bytes big edian encoded
236*82d56013Sjoerg addUncounted(len >> 56);
237*82d56013Sjoerg addUncounted(len >> 48);
238*82d56013Sjoerg addUncounted(len >> 40);
239*82d56013Sjoerg addUncounted(len >> 32);
240*82d56013Sjoerg addUncounted(len >> 24);
241*82d56013Sjoerg addUncounted(len >> 16);
242*82d56013Sjoerg addUncounted(len >> 8);
243*82d56013Sjoerg addUncounted(len);
244*82d56013Sjoerg }
245*82d56013Sjoerg
final()246*82d56013Sjoerg StringRef SHA256::final() {
247*82d56013Sjoerg // Pad to complete the last block
248*82d56013Sjoerg pad();
249*82d56013Sjoerg
250*82d56013Sjoerg #ifdef SHA_BIG_ENDIAN
251*82d56013Sjoerg // Just copy the current state
252*82d56013Sjoerg for (int i = 0; i < 8; i++) {
253*82d56013Sjoerg HashResult[i] = InternalState.State[i];
254*82d56013Sjoerg }
255*82d56013Sjoerg #else
256*82d56013Sjoerg // Swap byte order back
257*82d56013Sjoerg for (int i = 0; i < 8; i++) {
258*82d56013Sjoerg HashResult[i] = (((InternalState.State[i]) << 24) & 0xff000000) |
259*82d56013Sjoerg (((InternalState.State[i]) << 8) & 0x00ff0000) |
260*82d56013Sjoerg (((InternalState.State[i]) >> 8) & 0x0000ff00) |
261*82d56013Sjoerg (((InternalState.State[i]) >> 24) & 0x000000ff);
262*82d56013Sjoerg }
263*82d56013Sjoerg #endif
264*82d56013Sjoerg
265*82d56013Sjoerg // Return pointer to hash (32 characters)
266*82d56013Sjoerg return StringRef((char *)HashResult, HASH_LENGTH);
267*82d56013Sjoerg }
268*82d56013Sjoerg
result()269*82d56013Sjoerg StringRef SHA256::result() {
270*82d56013Sjoerg auto StateToRestore = InternalState;
271*82d56013Sjoerg
272*82d56013Sjoerg auto Hash = final();
273*82d56013Sjoerg
274*82d56013Sjoerg // Restore the state
275*82d56013Sjoerg InternalState = StateToRestore;
276*82d56013Sjoerg
277*82d56013Sjoerg // Return pointer to hash (32 characters)
278*82d56013Sjoerg return Hash;
279*82d56013Sjoerg }
280*82d56013Sjoerg
hash(ArrayRef<uint8_t> Data)281*82d56013Sjoerg std::array<uint8_t, 32> SHA256::hash(ArrayRef<uint8_t> Data) {
282*82d56013Sjoerg SHA256 Hash;
283*82d56013Sjoerg Hash.update(Data);
284*82d56013Sjoerg StringRef S = Hash.final();
285*82d56013Sjoerg
286*82d56013Sjoerg std::array<uint8_t, 32> Arr;
287*82d56013Sjoerg memcpy(Arr.data(), S.data(), S.size());
288*82d56013Sjoerg return Arr;
289*82d56013Sjoerg }
290*82d56013Sjoerg
291*82d56013Sjoerg } // namespace llvm
292