密码学硬核笔记——扩展维纳攻击

Preface

打羊城杯遇到了Extending Wiener’s attack，发现自己的知识面还是太浅了。因此写一篇博客来学习一下。

Wiener’s attack

Wiener’s attack 是根据连分数的性质以及定理，通过对e/N的连续逼近找到对应的k/d，从而分解N。接下来讲一下连分数的定义

Continued Fractions（连分数）

连分数就是一个数的连续分式展开，它的式子长这样：

（其中a_0 是整数，a_1,a_2,…,a_n都是正整数）

通常我们用更简单的数组方式来描述,对任何有理数$p/q$来说：$$\frac{p}{q}=[a_0;a_1,a_2,...,a_n]$$

计算连分数我们可以使用欧几里得算法：

Convergent(收敛)

我们定义 $c_i$ 为连分数每一次分式展开的收敛，即：
$$\forall i\in [0,n],c_i=[a_0;a_1,...,a_i]$$
对于每一个$c_i$的结果$\frac{p_i}{q_i}$来说，都是对$\frac{p}{q}$不断进行逼近收敛的近似值。

Legendre’s theorem

这是Wiener’s attack 的一个比较重要的定理，定义如下：

也就是说，当满足$|a-\frac{c}{d}|<\frac{1}{2d^2}$时，$\frac{c}{d}$就是$a$的连分数收敛。

根据这个定理，我们可以通过计算一个数（e/N）的连分数来找到与这个数近似的两个数的比值(k/d)，这就是Wiener’s attack的攻击方法。

Applied to RSA

假设:

$ed=1+k\lambda (N)$

$\lambda (N)=LCM(p-1,q-1)$

$g=gcd(p-1,q-1)$

当$d<N^{0.25}$时，可算得：

因此可以通过$\frac{e}{N}$的连分数展开得到$\frac{k}{dg}$。

那怎么通过$\frac{k}{dg}$得到$p$和$q$呢？

我们已知：$$edg=k(p-1)(q-1)+g,k>g$$
所以
$$\lfloor \frac{edg}{k}\rfloor =(p-1)(q-1)$$
又因为
$$\frac{pq-(p-1)(q-1)+1}{2}=\frac{p+q}{2}$$
$$(\frac{p+q}{2}{)}^2-pq=(\frac{p-q}{2}{)}^2$$
所以我们可以通过判断$(\frac{p-q}{2}{)}^2$是否为平方数来确定我们找的连分数是否正确，然后再算出p和q就行了。

Sagemath实现：

#wiener_attack
def possible(e,alist,N): 
    for x in alist:
        if x==0:
            continue
        phi = floor(e*(1/x))
        if (N-phi+1)%2==0 and sqrt(pow((N-phi+1)//2,2)-N).is_integer():
                (p,q)=var('p,q')
                x=solve([(p-1)*(q-1)==phi, p*q==N],p,q)
                return int(str(x[0][0]).split('==')[1])
        else:
            continue

def wiener_attack(e,N):
    c=continued_fraction(e/N)
    alist=c.convergents()
    return possible(e,alist,N)

n=
e=
t=wiener_attack(e,n)
print t

RRRRRRSA

其实这里我还想提一下 $Legendr{e}^{\prime }stheorem$，因为这个定理我们可以当成一个工具，而不是仅仅用在Wiener ’ s attack 。 这个这个定理的关键在于可以将一个模糊近似的数具体地求出来，类似gmpy2.iroot()一样。可以作为一种尝试的工具。（只要你有办法构造出来）

这次2020羊城杯的RRRRRRSA

P1 = getPrime(1038)
P2 = sympy.nextprime(P1)
assert(P2 - P1 < 1000)

Q1 = getPrime(512)
Q2 = sympy.nextprime(Q1

N1 = P1 * P1 * Q1
N2 = P2 * P2 * Q2

已知N1,N2，其他都是未知的。tips里也说了需要用到连分数。那必然是要用到这个定理。

下图是对应的论文。

通过$\frac{N_2}{N_1}$的连分数来找$q$。

Extending Wiener 's attack

Wiener 's Approach

$$edg=k(p-1)(q-1)+g$$
令$s=1-p-q$

所以$$edg-kN=g+ks(W)$$

Guo 's Approach With Two Exponents

假设对于一个$N$来说有两个$e_i$，而且都有相对应比较小的$d_i$，那么可以得到：
$$\{\begin{array}{l}{e}_1{d}_1-k_1\phi (N)=1\\ e_2{d}_2-k_2\phi (N)=1\end{array}$$
化简后可得：
$$e_1{d}_1{k}_2-e_2{d}_2{k}_1=k_2-k_1(G_{(1,2)})$$

所以可推出
$$|\frac{e_1}{e_2}-\frac{d_2{k}_1}{d_1{k}_2}|=\frac{|k_2-k_1|}{e_2{d}_1{k}_1}$$
所以，如果$2(k_2-k_1)d_1{k}_2<e_2$,

那么就可以通过求$\frac{e_1}{e_2}$的连分数找到$\frac{d_2{k}_1}{d_1{k}_2}$。

但是通过$\frac{d_2{k}_1}{d_1{k}_2}$找到$d_1,d_2$很不现实。

Extending Wiener 's attack

Howgrave-Graham 和 Jean-Pierre Seifert 结合了Wiener 和Guo的想法，通过多个等式来构造格利用LLL化简来解决这个问题。

首先假设$d_i<N^{\alpha }$,联立四个等式：

（1）
$$k_1{k}_2=k_1{k}_2$$

（2） $W_1\ast k_2$
$$e_1{d}_{1}g{k}_2-k_{1}N{k}_2=g{k}_2+k_{1}s{k}_2$$

（3） $G_{(1,2)}$

$$e_2{d}_2{k}_1-e_1{d}_1{k}_2=k_1-k_2$$

（4） $W_1{W}_2$
$$d_1{d}_2{g}^2{e}_1{e}_2-d_{1}g{k}_2{e}_{1}N-d_{2}g{k}_1{e}_{2}N+k_1{k}_2{N}^2=(g+k_{1}s)(g+k_{2}s)$$

从而构造出一个都是已知数的矩阵$L$

$$A=\left(\begin{array}{c}{k}_1{k}_2,d_{1}g{k}_2,d_{2}g{k}_1,d_1{d}_2{g}^2\end{array}\right)$$

$$L=\left(\begin{array}{cccc}1& -N& 0& N^2\\ 0& e_1& -e_1& -e_{1}N\\ 0& 0& e_2& -e_{2}N\\ 0& 0& 0& e_1{e}_2\end{array}\right)$$

$$B=\left(\begin{array}{c}{k}_1{k}_2,k_2(g+k_{1}s),g(k_1-k_2),(g+k_{1}s)(g+k_{2}s)\end{array}\right)$$

$$A\ast L=B$$
也就是

LLL算法可以求出维度较低的格的最短向量。因此如果$B$是格$L$的最短向量的话就可以解决了。

根据假设可知：
$$\{\begin{array}{l}{e}_i\approx N\\ d_i\approx N^{\alpha }\\ k_i\approx d_i\approx N^{\alpha }\\ g\approx 1\\ s=1-p-q\approx N^{0.5}\end{array}$$

根据$Minkowosk{i}^{\prime }sfirsttheorem$,只有满足：
$${\lambda }_1(L)\le \sqrt{n}\det (L{)}^{\frac{1}{n}}$$才能算是最短向量。

但是右边计算结果为$N$，明显$\Vert B\Vert >N$，所以不行。

其实，我们可以通过对矩阵的列乘上一个倍数使得条件满足。

令$M_1=N^{1/2}$，$M_2=N^{1+\alpha }$，将$M_1,M_2$分别乘到第二列和第三列，将$N$乘到第一列，得：

$$L_2=\left(\begin{array}{cccc}N& -M_{1}N& 0& N^2\\ 0& M_1{e}_1& -M_2{e}_1& -e_{1}N\\ 0& 0& M_2{e}_2& -e_{2}N\\ 0& 0& 0& e_1{e}_2\end{array}\right)$$
所以$$B_2=\left(\begin{array}{c}{k}_1{k}_{2}N,k_2(g+k_{1}s)M_1,g(k_1-k_2)M_2,(g+k_{1}s)(g+k_{2}s)\end{array}\right)$$$$\Vert B_2\Vert \le 2N^{1+2\alpha }$$$$\sqrt{n}\det (L{)}^{\frac{1}{n}}=2\sqrt[4]{\det (L)}=2N^{(\frac{13}{2}+\alpha )\frac{1}{4}}$$

所以，要使得不等式成立，可推得：
$$\Vert B_2\Vert \le \sqrt{n}\det (L{)}^{\frac{1}{n}}$$

$$2N^{1+2\alpha }\le 2N^{(\frac{13}{2}+\alpha )\frac{1}{4}}$$
解得：
$$\alpha \le \frac{5}{14}$$

求出了$\alpha$，我们可以代入$M_2$，利用LLL算法求出格$L_2$的最短向量$B_2$,再乘上$L_2$的逆求出$A$，利用$A$的前两项求出$\phi (N)$。

真题演练

2020羊城杯 Simple.py

from Crypto.Util.number import *
from Crypto.Cipher import DES
import gmpy2
from secret import flag
import random

key = "abcdefgh"

def des_encrypt(m):
    des = DES.new(key, DES.MODE_ECB)
    res = des.encrypt(m)
    return res

def gen_key():
    p = getPrime(2048)
    q = getPrime(2048)
    n = p * q
    bit = n.bit_length()
    phi_n = (p - 1) * (q - 1)
    num = random.randint(1, 100)
    while True:
        u = getPrime(bit / 4 - num)
        if gmpy2.gcd(u, phi_n) != 1:
            continue
        t = gmpy2.invert(u, phi_n)
        e = bytes_to_long(des_encrypt(long_to_bytes(t)))
        if gmpy2.gcd(e, phi_n) == 1:
            break
    return (n, e)

P = getPrime(1024)
Q = getPrime(1024)
N = P * Q
E = 65537
lcm = gmpy2.lcm(P-1, Q-1)
e1 = gmpy2.invert(getPrime(730), lcm)
e2 = gmpy2.invert(getPrime(730), lcm)
m = bytes_to_long(flag)
c = pow(m, E, N)
print "N = " + str(N)
print "e2 = " + str(e2)
print "c = " + str(c)
_n, _e = gen_key()
_c = pow(e1, _e, _n)
print "_n = " + str(_n)
print "_e = " + str(_e)
print "_c = " + str(_c)

# N = 14922959775784066499316528935316325825140011208871830627653191549546959775167708525042423039865322548420928571524120743831693550123563493981797950912895893476200447083386549353336086899064921878582074346791320104106139965010480614879592357793053342577850761108944086318475849882440272688246818022209356852924215237481460229377544297224983887026669222885987323082324044645883070916243439521809702674295469253723616677245762242494478587807402688474176102093482019417118703747411862420536240611089529331148684440513934609412884941091651594861530606086982174862461739604705354416587503836130151492937714365614194583664241
# e2 = 27188825731727584656624712988703151030126350536157477591935558508817722580343689565924329442151239649607993377452763119541243174650065563589438911911135278704499670302489754540301886312489410648471922645773506837251600244109619850141762795901696503387880058658061490595034281884089265487336373011424883404499124002441860870291233875045675212355287622948427109362925199018383535259913549859747158348931847041907910313465531703810313472674435425886505383646969400166213185676876969805238803587967334447878968225219769481841748776108219650785975942208190380614555719233460250841332020054797811415069533137170950762289
# c = 6472367338832635906896423990323542537663849304314171581554107495210830026660211696089062916158894195561723047864604633460433867838687338370676287160274165915800235253640690510046066541445140501917731026596427080558567366267665887665459901724487706983166070740324307268574128474775026837827907818762764766069631267853742422247229582756256253175941899099898884656334598790711379305490419932664114615010382094572854799421891622789614614720442708271653376485660139560819668239118588069312179293488684403404385715780406937817124588773689921642802703005341324008483201528345805611493251791950304129082313093168732415486813
# _n = 440489238264900860776949063845200558734341182253911040104689726634414488997095518284964514078079911856352824174173937251558842251349762631716798307360995414545464514355957499460396352456341058329671470384493547042182238690727766731554287411757022792467324815342497916894285866240516524768645049867582541899123632009100512965460004548382054578461249990158442675234477122521189649316341623637146867589119951831385717513964941787562068891523060843170463600255518728070958509224053460041184869943038887434435024428311063533345514827827485121055022245800823723487812635502090530820946638405345755666124356919178290008475459419571761406117827422883820901663916276191422633940699113760516149002609672230610575442643822241126824287790055264162725209120192661985259423924307785452001927701323647247782658775780117642900694831475681037634691806232211286493187121464506122012889644137364079403183353774265910554863733455161820449073656744610495110838881353269890437984975607744603113572453211439334880155671730821755361054781243639407912133971530394031933785051770725331242932929244719594830548310768937037042243794551163891451545574837838357398072638709907958216067999891842395376953596940377457308329336524488962532620850237570279134567668379
# _e = 861605654852236668414010386016782729745549477722901970933220380452652052018502113737968204529790495739233258572209422774257139256367928649554562561889013164344608269555777150446651170697255381344437283003508476336814132594917061838422072660017477530465048729471603537912401826065081663165440462979219418291010867656746870617893935758241591032350010782861988742885918015532494020406350897048575155800941991107973433915573030255070411073793489218782862225921465295055907689734413881263179029741870520797816282420230090879687287575328294171448819803530205292587159921154471289747571107461754730577787617451127061265552788125691266357724955508391085485034126227212788895416902189479587194999818764639403752596165043883295506465916277734482380252399557395621566461322664559344483889187037851178431011220134914560438657522787409632677020269086895142488669203469256629173438313487046130238010206678820035631793666627274457756812810094004185303422637897314225624079032617334487815628021058997628511963565055629435278956251869329025544623291223984190562109149316159243565323565271491356378189561005084676592786453581431393651385181326525455441155960432946682976515756161038293313433862078763004704003356983371787414787104076401121444383911561
# _c = 305937839546594439230463861584604201077374759167468410827830943528403007941779658881672477705113617614828611332427199124217887937391378281943856159571057598203709366891547401974326016980711130197275312149966105151573748299654404630150641461765232935912266448303266990247145252052886920248198006212876273661195636104435277145396636985516064154534488750879453474211852461463041960835745695368577903786702607508492658563272121038693371752289017330781719235752018697635304458321008407930986565779826278048082764754367267460637798512780153281325733348999426407049795270044819657399403071013496169060640127279409914638535996355848933378734045908205536540619564723586905257569498716707820544351092379516465943537383422680357333849248129118148543389733395686399565999586899123087310025442994131218237679518267106194962305629529210402269726736072967966518381350920965727690274018080619332676536005722214955949897632990356174168234408837737546230730400434240785496100281815168806724358191550743656843853383646410487436540166360406982096949178466861150173527305369007546917550634679211293496458282787881244581230558011582720632502886494712233308474151958909251857281750741736910202763888790654287328846201724930302778996046434656839999091303411

首先这题分为两部分。第一部分是gen_key()以及后面的输出求出e1。第二部分就是利用e1,e2求出c。

第一部分的t可以直接DES解密求出来，然后又因为u满足$u<N^{0.25}$的条件，所以可以直接用wiener atttack分解出_n，从而求出e1。

from Crypto.Util.number import *
from Crypto.Cipher import DES
import random
from gmpy2 import invert

key = "abcdefgh"

def des_decrypt(m):
    des = DES.new(key, DES.MODE_ECB)
    res = des.decrypt(m)
    return res

#gkd之无敌究极wiener_attack
def possible_phi(e,alist,N): 
    for x in alist:
        if x==0:
            continue
        phi = floor(e*(1/x))
        if (N-phi+1)%2==0 and sqrt(pow((N-phi+1)//2,2)-N).is_integer():
                (p,q)=var('p,q')
                x=solve([(p-1)*(q-1)==phi, p*q==N],p,q)
                return int(str(x[0][0]).split('==')[1])
        else:
            continue

def wiener_attack(e,N):
    c=continued_fraction(e/N)
    alist=c.convergents()
    return possible_phi(e,alist,N)
_n = 440489238264900860776949063845200558734341182253911040104689726634414488997095518284964514078079911856352824174173937251558842251349762631716798307360995414545464514355957499460396352456341058329671470384493547042182238690727766731554287411757022792467324815342497916894285866240516524768645049867582541899123632009100512965460004548382054578461249990158442675234477122521189649316341623637146867589119951831385717513964941787562068891523060843170463600255518728070958509224053460041184869943038887434435024428311063533345514827827485121055022245800823723487812635502090530820946638405345755666124356919178290008475459419571761406117827422883820901663916276191422633940699113760516149002609672230610575442643822241126824287790055264162725209120192661985259423924307785452001927701323647247782658775780117642900694831475681037634691806232211286493187121464506122012889644137364079403183353774265910554863733455161820449073656744610495110838881353269890437984975607744603113572453211439334880155671730821755361054781243639407912133971530394031933785051770725331242932929244719594830548310768937037042243794551163891451545574837838357398072638709907958216067999891842395376953596940377457308329336524488962532620850237570279134567668379
_e = 861605654852236668414010386016782729745549477722901970933220380452652052018502113737968204529790495739233258572209422774257139256367928649554562561889013164344608269555777150446651170697255381344437283003508476336814132594917061838422072660017477530465048729471603537912401826065081663165440462979219418291010867656746870617893935758241591032350010782861988742885918015532494020406350897048575155800941991107973433915573030255070411073793489218782862225921465295055907689734413881263179029741870520797816282420230090879687287575328294171448819803530205292587159921154471289747571107461754730577787617451127061265552788125691266357724955508391085485034126227212788895416902189479587194999818764639403752596165043883295506465916277734482380252399557395621566461322664559344483889187037851178431011220134914560438657522787409632677020269086895142488669203469256629173438313487046130238010206678820035631793666627274457756812810094004185303422637897314225624079032617334487815628021058997628511963565055629435278956251869329025544623291223984190562109149316159243565323565271491356378189561005084676592786453581431393651385181326525455441155960432946682976515756161038293313433862078763004704003356983371787414787104076401121444383911561
_c = 305937839546594439230463861584604201077374759167468410827830943528403007941779658881672477705113617614828611332427199124217887937391378281943856159571057598203709366891547401974326016980711130197275312149966105151573748299654404630150641461765232935912266448303266990247145252052886920248198006212876273661195636104435277145396636985516064154534488750879453474211852461463041960835745695368577903786702607508492658563272121038693371752289017330781719235752018697635304458321008407930986565779826278048082764754367267460637798512780153281325733348999426407049795270044819657399403071013496169060640127279409914638535996355848933378734045908205536540619564723586905257569498716707820544351092379516465943537383422680357333849248129118148543389733395686399565999586899123087310025442994131218237679518267106194962305629529210402269726736072967966518381350920965727690274018080619332676536005722214955949897632990356174168234408837737546230730400434240785496100281815168806724358191550743656843853383646410487436540166360406982096949178466861150173527305369007546917550634679211293496458282787881244581230558011582720632502886494712233308474151958909251857281750741736910202763888790654287328846201724930302778996046434656839999091303411
_t = bytes_to_long(des_decrypt(long_to_bytes(_e)))
_p = wiener_attack(_t,_n)
_q = _n//_p
_d = invert(_e,(_p-1)*(_q-1))
e1 = pow(_c,_d,_n)
print e1

第二部分就直接用Extending Wiener Attack求解即可。

from Crypto.Util.number import *
from gmpy2 import invert
c = 6472367338832635906896423990323542537663849304314171581554107495210830026660211696089062916158894195561723047864604633460433867838687338370676287160274165915800235253640690510046066541445140501917731026596427080558567366267665887665459901724487706983166070740324307268574128474775026837827907818762764766069631267853742422247229582756256253175941899099898884656334598790711379305490419932664114615010382094572854799421891622789614614720442708271653376485660139560819668239118588069312179293488684403404385715780406937817124588773689921642802703005341324008483201528345805611493251791950304129082313093168732415486813
e2 = 27188825731727584656624712988703151030126350536157477591935558508817722580343689565924329442151239649607993377452763119541243174650065563589438911911135278704499670302489754540301886312489410648471922645773506837251600244109619850141762795901696503387880058658061490595034281884089265487336373011424883404499124002441860870291233875045675212355287622948427109362925199018383535259913549859747158348931847041907910313465531703810313472674435425886505383646969400166213185676876969805238803587967334447878968225219769481841748776108219650785975942208190380614555719233460250841332020054797811415069533137170950762289
e1 = 114552459553730357961013268333698879659007919035942930313432809776799669181481660306531243618160127922304264986001501784564575128319884991774542682853466808329973362019677284072646678280051091964555611220961719302320547405880386113519147076299481594997799884384012548506240748042365643212774215730304047871679706035596550898944580314923260982768858133395187777029914150064371998328788068888440803565964567662563652062845388379897799506439389461619422933318625765603423604615137217375612091221578339493263160670355032898186792479034771118678394464854413824347305505135625135428816394053078365603937337271798774138959
N  = 14922959775784066499316528935316325825140011208871830627653191549546959775167708525042423039865322548420928571524120743831693550123563493981797950912895893476200447083386549353336086899064921878582074346791320104106139965010480614879592357793053342577850761108944086318475849882440272688246818022209356852924215237481460229377544297224983887026669222885987323082324044645883070916243439521809702674295469253723616677245762242494478587807402688474176102093482019417118703747411862420536240611089529331148684440513934609412884941091651594861530606086982174862461739604705354416587503836130151492937714365614194583664241
a  = 0.356#731./2049
M1=N**0.5
M2= N **(a+1)
D = diagonal_matrix(ZZ,[N,M1,M2,1])
M=matrix(ZZ,[[1,-N,0,N**2],[0,e1,-e1,-e1*N],[0,0,e2,-e2*N],[0,0,0,e1*e2]])*D
L=M.LLL()
t=vector(ZZ,L[0])
x=t*M**(-1)
phi = int(x[1]/x[0]*e1)
d = invert(0x10001,phi)
m=pow(c,d,N)
print long_to_bytes(m) 

References

Extending Wiener’s Attack in the Presence of Many Decrypting Exponents