一、复现问题的前提条件:不产生密钥对(即都使用固定的值):1、如果先进行P224曲线的签名,然后进行P192曲线的验签,则P192的验签会失败,但是再次验签又能成功。
2、如果先进行P192曲线的签名,然后进行P224曲线的验签,则能成功。
3、如果先进行P192曲线的签名,然后再次进行P192曲线的验签,也能成功。
测试了P192~P521的这几组曲线,都存在这个问题。
实验结论:进行不同曲线参数的签名/验签操作,如果后做的曲线位数小于前一次做的,则会失败。
二、出问题的驱动接口ECC_VerifySignature的具体步骤是:
5. Compute X * (x1', y1') = u1 * G + u2 * Q
(7) Read X1, Y1 registers to get u1*G
u1*G的值在出错时每次的值都不同,当成功时,该值会是固定的值。而且,打印log和debug对比了成功和失败的时候,5-(7)这一步的输入参数:CRPT_ECC_CURVE_A、CRPT_ECC_CURVE_B、CRPT_ECC_POINT_X1、CRPT_ECC_POINT_Y1和CRPT_ECC_CURVE_N,以及crpt->ECC_CTL的值,两种情况下都是一致的;
所以,比较怀疑是硬件算法自身存在bug。
|