特定随机数，sm2验证校验出错

使用sm2的签名及校验代码，反复运行测试，发现特定随机数会导致校验失败，把一组随机数带入到原始的测试代码中，确实有问题：原始测试代码改动如下：

在SM2.c里面，将MBEDTLS_SELF_TEST代码中的

#if 0
static const unsigned char sm2_test2_rand_fix[] = {
    0x6C, 0xB2, 0x8D, 0x99, 0x38, 0x5C, 0x17, 0x5C,
    0x94, 0xF9, 0x4E, 0x93, 0x48, 0x17, 0x66, 0x3F,
    0xC1, 0x76, 0xD9, 0x25, 0xDD, 0x72, 0xB7, 0x27,
    0x26, 0x0D, 0xBA, 0xAE, 0x1F, 0xB2, 0xF9, 0x6F, 
};
#else
static const unsigned char sm2_test2_rand_fix[] = {
0x50,0xFE,0x53,0x1E,0x8F,0x48,0xC8,0x79,
0xBF,0x60,0x75,0xD9,0x55,0xBF,0x39,0xF7,
0xD4,0x9C,0xF3,0xFA,0xF5,0xCD,0xB7,0xD1,
0x27,0x5F,0x51,0x90,0x51,0x71,0x89,0x13
};
#endif

再注释掉签名比较代码：    
#if 0
    if (memcmp(output, sm2_test_sign, sizeof(sm2_test_sign)) != 0) {
        if (verbose != 0) {
            mbedtls_printf( "check failed\n" );
        }
        ret = 1;
        goto cleanup;
    }
#endif

那么，mbedtls_sm2_sign完成之后，再验证签名

if ((ret = mbedtls_sm2_verify(&ctx, MBEDTLS_MD_SM3,
                    sm2_test_md,  **output** )) != 0)

会出现签名验证失败，出错行在函数sm2.c+429里面，mbedtls_mpi_cmp_mpi(&t, &r)非0.

如果使用原始代码里面自带的sm2_test2_rand_fix，sign及verify是成功的。我理解这个随机数只是一个扰动因素，为何会导致使用这个随机数的签名校验出错呢？

Saroth/smbedtls

内容风险标识

评论 (0)

Saroth/smbedtls .gitee-modal { width: 500px !important; }

内容风险标识