关于PBKDF2 HMAC_sha256的问题

madfrag

1. void sha256_done(sha256_context *ctx, byte *Digest)
   
2. {
   
3.   uint64 BitLength = ctx->Count * 8;
   
4.   uint BufPos = (uint)ctx->Count & 0x3f;
   
5.   ctx->Buffer[BufPos++] = 0x80;
   
6. 
   
7.   if (BufPos!=56)
   
8.   {
   
9.     if (BufPos>56)
   
10.     {
    
11.       while (BufPos<64)
    
12.         ctx->Buffer[BufPos++] = 0;
    
13.       BufPos=0;
    
14.     }
    
15.     if (BufPos==0)
    
16.       sha256_transform(ctx);
    
17.     memset(ctx->Buffer+BufPos,0,56-BufPos);
    
18.   }
    
19. 
    
20.   RawPutBE4((uint32)(BitLength>>32), ctx->Buffer + 56);
    
21.   RawPutBE4((uint32)(BitLength), ctx->Buffer + 60);
    
22. 
    
23.   sha256_transform(ctx);
    
24. 
    
25.   RawPutBE4(ctx->H[0], Digest +  0);
    
26.   RawPutBE4(ctx->H[1], Digest +  4);
    
27.   RawPutBE4(ctx->H[2], Digest +  8);
    
28.   RawPutBE4(ctx->H[3], Digest + 12);
    
29.   RawPutBE4(ctx->H[4], Digest + 16);
    
30.   RawPutBE4(ctx->H[5], Digest + 20);
    
31.   RawPutBE4(ctx->H[6], Digest + 24);
    
32.   RawPutBE4(ctx->H[7], Digest + 28);
    
33. 
    
34.   sha256_init(ctx); //<<<<<<<< 这个
    
35. }

复制代码

sha256_init(ctx); 这个初始化函数去掉后计算结果依然是正确的,为什么

暗神逆向

github找了下你这段代码的出处，然后摘出来到vs里调试了一下pbkdf2算法。
你所说的sha256_done函数末尾的sha256_init确实注释掉也不影响运行。这里人家之所以留着或者之所以写上。可能就是编程习惯吧。使用完习惯性清理或者重置。

暗神逆向

传入ctx 传出结果为Digest。
sha256_init(ctx)调用前，Degest已经赋值完毕。所以有没有这句调用不影响返回结果了
之所以必须有着一句。是因为计算Degest过程中，对ctx进行了操作。可能为了下次使用，需要重置一下。

madfrag

1. void sha256_done(sha256_context *ctx, byte *Digest)
   
2. {
   
3.   uint64 BitLength = ctx->Count * 8;
   
4.   uint BufPos = (uint)ctx->Count & 0x3f;
   
5.   ctx->Buffer[BufPos++] = 0x80;
   
6. 
   
7.   if (BufPos!=56)
   
8.   {
   
9.     if (BufPos>56)
   
10.     {
    
11.       while (BufPos<64)
    
12.         ctx->Buffer[BufPos++] = 0;
    
13.       BufPos=0;
    
14.     }
    
15.     if (BufPos==0)
    
16.       sha256_transform(ctx);
    
17.     memset(ctx->Buffer+BufPos,0,56-BufPos);
    
18.   }
    
19. 
    
20.   RawPutBE4((uint32)(BitLength>>32), ctx->Buffer + 56);
    
21.   RawPutBE4((uint32)(BitLength), ctx->Buffer + 60);
    
22. 
    
23.   sha256_transform(ctx);
    
24. 
    
25.   RawPutBE4(ctx->H[0], Digest +  0);
    
26.   RawPutBE4(ctx->H[1], Digest +  4);
    
27.   RawPutBE4(ctx->H[2], Digest +  8);
    
28.   RawPutBE4(ctx->H[3], Digest + 12);
    
29.   RawPutBE4(ctx->H[4], Digest + 16);
    
30.   RawPutBE4(ctx->H[5], Digest + 20);
    
31.   RawPutBE4(ctx->H[6], Digest + 24);
    
32.   RawPutBE4(ctx->H[7], Digest + 28);
    
33. 
    
34.   sha256_init(ctx); //<<<<<<<< 这个
    
35. }
    
36. 
    
37. static void hmac_sha256(const byte* Key, size_t KeyLength, const byte* Salt, size_t SaltLength, byte* ResDigest,
    
38.         sha256_context* ICtxOpt, bool* SetIOpt, sha256_context* RCtxOpt, bool* SetROpt)
    
39. {
    
40.         byte KeyBuf[64];
    
41.         sha256_context ICtx;       
    
42.         if (ICtxOpt && *SetIOpt)
    
43.                 ICtx = *ICtxOpt;                //<<< ICtx 是从 ICtxOpt 复制的 并不影响ICtxOpt
    
44.         else
    
45.         {
    
46.                 memset(KeyBuf, 0x36, 64);
    
47.                 for (size_t i = 0; i < KeyLength; i++)
    
48.                         KeyBuf[i] ^= Key[i];
    
49.                 sha256_init(&ICtx);
    
50.                 sha256_process(&ICtx, KeyBuf, 64);
    
51.                 if (ICtxOpt && !*SetIOpt)
    
52.                 {
    
53.                         *ICtxOpt = ICtx;
    
54.                         *SetIOpt = true;
    
55.                 }
    
56.         }
    
57.         sha256_process(&ICtx, Salt, SaltLength);
    
58.         byte IDig[32];
    
59.         sha256_done(&ICtx, IDig);        //<<< ICtx 直到函数结束 都不再引用
    
60. 
    
61.         sha256_context RCtx;
    
62.         if (RCtxOpt && *SetROpt)
    
63.                 RCtx = *RCtxOpt;                //<<< RCtx 是从 RCtxOpt 复制的 并不影响ICtxOpt
    
64.         else
    
65.         {
    
66.                 memset(KeyBuf, 0x5c, 64);
    
67.                 for (size_t i = 0; i < KeyLength; i++)
    
68.                         KeyBuf[i] ^= Key[i];
    
69.                 sha256_init(&RCtx);
    
70.                 sha256_process(&RCtx, KeyBuf, 64);
    
71.                 if (RCtxOpt && !*SetROpt)
    
72.                 {
    
73.                         *RCtxOpt = RCtx;
    
74.                         *SetROpt = true;
    
75.                 }
    
76.         }
    
77.         sha256_process(&RCtx, IDig, 32);
    
78.         sha256_done(&RCtx, ResDigest);//<<< RCtx 直到函数结束 都不再引用
    
79.         //此处函数结束返回后两个?Ctx变量就不存在了
    
80.         //那么在 sha256_done 的最后加个 sha256_init(&Ctx) 有什么意义
    
81. }

复制代码

暗神逆向

madfrag 发表于 2021-6-12 19:50

可以单步调试，彻底搞清楚这一步的作用。