首页
社区
课程
招聘
[求助]DSA 恒等式 的证明问题
发表于: 2010-2-28 16:31 5448

[求助]DSA 恒等式 的证明问题

2010-2-28 16:31
5448


v = ((g^u1 * y ^u2) mod p) mod q

令v`=(g^u1 * y ^u2) mod p

v`= (g^u1 * (g^x mod p)^u2) mod p

= [(g^u1 mod p) * ((g^x mod p)^u2) mod p ] mod p

= [((g mod p ) ^u1)mod p *   ( ((g modp ) ^ x) mod p )^u2 mod p ] mod p

= [((g mod p ) ^u1)mod p * (g mod p)^(x*u2) mod p ] mod p

=[ (g mod p) ^ (u1 + x * u2)] mod p

= g ^(u1 + x * u2) mod
p

从而只需证明 u1 + x * u2 = k 即可
u1 + x * u2 = (H(m) (1/s)mod q)mod q + x*(r(1/s)mod q)mod q  又有s = (1/k * (H(m) + x*r))mod q.如果抛开模,那么会有:
1)u1 + x * u2 = H(m) (1/s) + x*r * (1/s) = ( H(m) + x* r) * (1/s)
2) s = 1/k * (H(m) + x * r)

这里就很明显了.但是因为模的存在, 本人愚钝被卡这里了, 用模的基本性质推了半天,没推出来,还请高手露几手指点一二

[培训]内核驱动高级班,冲击BAT一流互联网大厂工作,每周日13:00-18:00直播授课

上传的附件:
收藏
免费 0
支持
分享
最新回复 (5)
雪    币: 75
活跃值: (723)
能力值: ( LV6,RANK:90 )
在线值:
发帖
回帖
粉丝
2
对其中一种情况 H(m) < q 可以 推导到

( u1 + x * u2 ) mod q  =  ((H(m) (1/s)mod q)mod q + (x*(r(1/s)mod q) mod q) mod q) mod q  
  = [(H(m) mod q  * (1/s) mod q ) mod q + (x mod q * ( r mod q * (1/s) mod q ) mod q) mod q ] mod q
  = [ ( H(m) * (1/s)) mod q + ( x mod q * (r/s) mod q) mod q] mod q
  = [(H(m) +xr) / s] mod q
  = [((H(m) +xr) / ((1/k * (H(m) + x * r)mod q) ]mod q
这里...进行不下去了
2010-2-28 17:14
0
雪    币: 75
活跃值: (723)
能力值: ( LV6,RANK:90 )
在线值:
发帖
回帖
粉丝
3
或者把问题转化一下:
1)如何推导由 y = g ^x  mod p得到
x=(logg y)mod p
设 y = g^x + np ,则 x = log (g) (y - np),
2)  如何由s =( 1/k  (H(m) + x  r)) mod q  得到 r = ((sk - H(m))/ x ) mod q

帮忙指点下,需要用到模的什么定理,或者看哪本书哪个章节可以解决这个问题?多谢多谢
2010-2-28 21:02
0
雪    币: 2096
活跃值: (100)
能力值: (RANK:420 )
在线值:
发帖
回帖
粉丝
4
本版其中一帖電子書,handbook of applied cryptography,chap2.pdf 是Mathematical Background,有談及離散對數問題。
chap11.pdf 有介紹 DSA scheme.
請善用本版上的資源,耐心 search。
謝謝。
2010-2-28 21:44
0
雪    币: 75
活跃值: (723)
能力值: ( LV6,RANK:90 )
在线值:
发帖
回帖
粉丝
5
版主,雪中送炭錒,你太伟大了,上次RSA也是你帮忙的,万分感激
2010-3-1 01:36
0
雪    币: 2096
活跃值: (100)
能力值: (RANK:420 )
在线值:
发帖
回帖
粉丝
6
DSA scheme.
上传的附件:
2010-3-1 08:27
0
游客
登录 | 注册 方可回帖
返回
//