信息摘要算法之三：SHA256算法分析与实现

前面一篇中咱们分析了SHA的原理，而且以SHA1为例实现了相关的算法，在这一片中咱们将进一步分析SHA2并实现之。

1、SHA简述

前面的篇章中咱们已经说明过，SHA实际包括有一系列算法，分别是SHA-一、SHA-22四、SHA-25六、SHA-384以及SHA-512。而咱们所说的SHA2实际是对后面4中的统称。各类SHA算法的数据比较以下表，其中的长度单位均为位：

从上表中咱们不难发现，SHA-224和SHA-25六、SHA-384和SHA-512在消息长度、分组长度、计算字长以及计算步骤各方面分别都是一致的。事实上一般认为SHA-224是SHA-256的缩减版，而SHA-384是SHA-512的缩减版。因此在接下来的讨论中，咱们把SHA-224和SHA-256做为一组，而把SHA-384和SHA-512做为另外一组来讨论。在这一篇咱们先来分析和实现SHA-224和SHA-256算法。

2、消息的填充与解析

在这里咱们讨论的散列函数用于在计算机中将根据做为输入消息或者数据文件生成其对应的信息摘要。消息或数据文件一般被做为是位字符串。消息的长度是消息中的比特数(空消息的长度为0)。若是消息中的比特数是8的倍数，那么咱们就能够用十六进制来表示消息的紧凑性。消息填充的目的是为了在消息填充后，在SHA-224和SHA-256中消息的长度正好是512位的整数倍。

接下来咱们说明消息或者数据文件将如何实现填充。总的来讲就是，先添加一个“1”，再后跟多个“0”，而后再追加一个64位的消息长度信息，使得填充完成后的消息长度正好是512位的整数倍。追加的64位的消息长度信息是原始消息的位长，填充完成的消息会被分红512位的消息分组。

对于SHA-224和SHA-256来讲消息的最大长度L<2⁶⁴，在对消息进行散列运算以前须要对消息作相应的填充处理。

首先，在原始信息以后填充一个“1”，例如：若是原始信息是"01010000",完成这一填充以后就是 "010100001"。

接下来，在完成上一步填充后，在其后面需天充必定数量的“0”，数量记为K，则K的取值必须是知足下述表达式的最小非负整数值。

( L + 1 + K ) mod 512 = 448

最后，在填充完必的消息后，追加64位的原始消息长度，由于消息的长度不会超过2⁶⁴位，因此其长度数据的值不会超过64位。填充完毕后，全部的消息分组都将是一个512位。

3、迭代函数与常数

SHA算法这类散列算法的计算过程都须要用到逻辑函数和计算常量。但因为具体算法的不一样所使用的具体的函数和常数略有差异。咱们在前面的篇章中说过MD5和SHA1，它们都有4个逻辑函数，而在SHA2的一系列算法中都采用了6个逻辑函数。接下来将说明SHA-224和SHA-256的逻辑函数和常量。

SHA-224和SHA-256采用6个逻辑函数，每一个函数均基于32位字运算，这些输入的32位字咱们记为x、y、z，一样的这些函数的计算结果也是一个32位字。这些逻辑函数表示以下：

CH( x, y, z) = (x AND y) XOR ( (NOT x) AND z)

MAJ( x, y, z) = (x AND y) XOR (x AND z) XOR (y AND z)

BSIG0(x) = ROTR^2(x) XOR ROTR^13(x) XOR ROTR^22(x)

BSIG1(x) = ROTR^6(x) XOR ROTR^11(x) XOR ROTR^25(x)

SSIG0(x) = ROTR^7(x) XOR ROTR^18(x) XOR SHR^3(x)

SSIG1(x) = ROTR^17(x) XOR ROTR^19(x) XOR SHR^10(x)

SHA-224和SHA-256采用相同的，64个32位的常数序列。一般记为：K0、K一、……、K63，这些常数的取值是前64个质数的立方根的小数部分的前32位。这些数以16进制表示以下：

428a2f98 71374491 b5c0fbcf e9b5dba5 3956c25b 59f111f1 923f82a4 ab1c5ed5

d807aa98 12835b01 243185be 550c7dc3 72be5d74 80deb1fe 9bdc06a7 c19bf174

e49b69c1 efbe4786 0fc19dc6 240ca1cc 2de92c6f 4a7484aa 5cb0a9dc 76f988da

983e5152 a831c66d b00327c8 bf597fc7 c6e00bf3 d5a79147 06ca6351 14292967

27b70a85 2e1b2138 4d2c6dfc 53380d13 650a7354 766a0abb 81c2c92e 92722c85

a2bfe8a1 a81a664b c24b8b70 c76c51a3 d192e819 d6990624 f40e3585 106aa070

19a4c116 1e376c08 2748774c 34b0bcb5 391c0cb3 4ed8aa4a 5b9cca4f 682e6ff3

748f82ee 78a5636f 84c87814 8cc70208 90befffa a4506ceb bef9a3f7 c67178f2

4、计算过程

前面，咱们已经介绍了消息的预处理及散列逻辑函数，接下来咱们将说明摘要的计算过程。

每一个安全散列函数的输出，在应用到一个分为N个分组的消息后，结果记为散列量H(N)。对于SHA-224和SHA-256，H(i)能够被认为是8个32位的字，记为：H(i)0、H(i)一、…、H(i)7。

散列字被初始化为一个特定的值，并在处理完每个消息分组后对它进行更新，并在处理最后一个块后将其链接起来以产生输出。对于SHA-256，全部的H(N)变量都是串联的，而SHA-224散列值是经过最后链接时，省略一些而产生的。

接下来咱们说明一下SHA-224和SHA-256的计算过程。首先初始化连接变量。对于SHA-224来讲，初始散列值H(0)由如下8个32位的十六进制数组成：

H(0)0 = c1059ed8

H(0)1 = 367cd507

H(0)2 = 3070dd17

H(0)3 = f70e5939

H(0)4 = ffc00b31

H(0)5 = 68581511

H(0)6 = 64f98fa7

H(0)7 = befa4fa4

而对于SHA-256来讲，初始散列值H(0)由如下8个32位的十六进制数组成。这些字由前8个质数的平方根的小数部分的钱32位组成。

H(0)0 = 6a09e667

H(0)1 = bb67ae85

H(0)2 = 3c6ef372

H(0)3 = a54ff53a

H(0)4 = 510e527f

H(0)5 = 9b05688c

H(0)6 = 1f83d9ab

H(0)7 = 5be0cd19

接下来咱们描述一下摘要计算，SHA-224和SHA-256在消息分组执行相同的处理，只在初始化H(0)和如何生成最终输出的过程当中有所不一样。SHA-224和SHA-256能够用来散列处理长度为L位的消息，其中0 < L< = 2⁶⁴。算法使用一个64个32位字的消息列表， 8个工做变量32位以及8个32位字的散列值。

消息列表每32位分为一个子分组，被标记为W0、W一、…、W63。8个工做变量分别为a、b、c、d、e、f、g和h，8个散列值被标记为h(i)0、h(i)一、…、H(i)7，并保留初始散列值H(0)，替换为每个连续的中间散列值(在处理完每一个消息分组后) H(i)，并以最终的散列值H(N)结束，在处理完全部N块后。它们还使用两个临时变量T1和T2。

从前面咱们知道，填充完了以后消息被分为了512位的消息分组。每一个分组被分为16个32位的子分组，记为：M(i)0、M(i)一、...、M(i)15。将对N个消息分组进行以下操做。

a、64个消息列表的生成

For t = 0 to 15

Wt = M(i)t

For t = 16 to 63

Wt = SSIG1(W(t-2)) + W(t-7) + SSIG0(w(t-15)) + W(t-16)

b、初始化工做变量

a = H(i-1)0

b = H(i-1)1

c = H(i-1)2

d = H(i-1)3

e = H(i-1)4

f = H(i-1)5

g = H(i-1)6

h = H(i-1)7

c、执行散列计算

For t = 0 to 63

T1 = h + BSIG1(e) + CH(e,f,g) + Kt + Wt

T2 = BSIG0(a) + MAJ(a,b,c)

h = g

g = f

f = e

e = d + T1

d = c

c = b

b = a

a = T1 + T2

d、计算中间散列值

H(i)0 = a + H(i-1)0

H(i)1 = b + H(i-1)1

H(i)2 = c + H(i-1)2

H(i)3 = d + H(i-1)3

H(i)4 = e + H(i-1)4

H(i)5 = f + H(i-1)5

H(i)6 = g + H(i-1)6

H(i)7 = h + H(i-1)7

在对全部消息分组完成上述计算以后，计算最终输出。对于SHA-256，是全部H(N)0、H(N)1到H(N)7的串联。对于SHA-224，则是H(N)0、H(N)1直到H(N)6的串联。

5、代码实现

前面咱们已经说明了SHA-256（SHA-224）的计算过程，接下来咱们将这一过程代码化。一样的首先定义一个上下文的结构。

 1 /** 定义SHA-256哈希操做的内容信息结构体 */
 2 typedef struct SHA256Context {
 3   uint32_t Intermediate_Hash[SHA256HashSize/4]; /* 信息摘要 */
 4   uint32_t Length_High;                         /* 按位计算的信息长度高字 */
 5   uint32_t Length_Low;                          /* 按位计算的信息长度低字 */
 6   int_least16_t Message_Block_Index;            /* 信息分组数组的索引 */
 7   uint8_t Message_Block[SHA256_Message_Block_Size];/* 512位信息分组 */
 8   int Computed;                                 /* 摘要计算标识 */
 9   int Corrupted;                                /* 信息摘要损坏标识 */
10 } SHA256Context;

接下来实现SHA256Context结构的初始化，为后续的计算过程作准备。

 1 static SHAStatusCode SHA224_256Reset(SHA256Context *context, uint32_t *H0)
 2 {
 3   if (!context) return shaNull;
 4   context->Length_High = context->Length_Low = 0;
 5   context->Message_Block_Index = 0;
 6   context->Intermediate_Hash[0] = H0[0];
 7   context->Intermediate_Hash[1] = H0[1];
 8   context->Intermediate_Hash[2] = H0[2];
 9   context->Intermediate_Hash[3] = H0[3];
10   context->Intermediate_Hash[4] = H0[4];
11   context->Intermediate_Hash[5] = H0[5];
12   context->Intermediate_Hash[6] = H0[6];
13   context->Intermediate_Hash[7] = H0[7];
14   context->Computed = 0;
15   context->Corrupted = shaSuccess;
16   return shaSuccess;
17 }

接下来实现信息分组的输入，这个函数接受一个字节数组做为下一个消息分组以便进行处理。

 1 SHAStatusCode SHA256Input(SHA256Context *context, const uint8_t *message_array,unsigned int length)
 2 {
 3   if (!context) return shaNull;
 4   if (!length) return shaSuccess;
 5   if (!message_array) return shaNull;
 6   if (context->Computed) return context->Corrupted = shaStateError;
 7   if (context->Corrupted) return context->Corrupted;
 8   while (length--)
 9   {
10     context->Message_Block[context->Message_Block_Index++] =*message_array;
11     if ((SHA224_256AddLength(context, 8) == shaSuccess) &&(context->Message_Block_Index == SHA256_Message_Block_Size))
12       SHA224_256ProcessMessageBlock(context);
13     message_array++;
14   }
15   return context->Corrupted;
16 }

固然还须要一个消息处理及最终摘要输出的函数，这个函数将返回一个224位或者256位的信息摘要到调用者给定的Message_Digest数组。返回的信息摘要，第一个元素索引为0，最后一个元素索引为27（SHA-2244）或者31（SHA-256）。

 1 static SHAStatusCode SHA224_256ResultN(SHA256Context *context,uint8_t Message_Digest[ ], int HashSize)
 2 {
 3   int i;
 4   if (!context) return shaNull;
 5   if (!Message_Digest) return shaNull;
 6   if (context->Corrupted) return context->Corrupted;
 7   if (!context->Computed)
 8     SHA224_256Finalize(context, 0x80);
 9   for (i = 0; i < HashSize; ++i)
10     Message_Digest[i] = (uint8_t)(context->Intermediate_Hash[i>>2] >> 8 * ( 3 - ( i & 0x03 ) ));
11   return shaSuccess;
12 }

至此咱们就完成了SHA-256（SHA-224）的编码，在后续咱们将对这一编码进行验证。

6、结论

上一节咱们实现了SHA-256(SHA-224)的编码，接下来咱们来对这一实现进行验证。咱们输入明文“abcd”并输出结果：

 

同时咱们对比一下其余工具生成的“abcd”的SHA-256的信息摘要结果以下：

 

对比上述两个结果，咱们发现是彻底一致的，说明咱们的编码是没有问题的。

欢迎关注：