LitCTF-common_primes_plus-CSDN博客

本文链接：https://blog.csdn.net/Niuma1122/article/details/140237655

推导一种数学关系

看看题目

from Crypto.Util.number import *
from secret import flag,a,b,c,d

assert a*c == b*d + 1
assert isPrime(a) and isPrime(b) and isPrime(c) and isPrime(d)
m = bytes_to_long(flag)

e = 65537
p = getPrime(512)
q1 = getPrime(512)
q2 = getPrime(512)
n1 = p * q1
n2 = p * q2

hint1 = a * n1 + b * n2
hint2 = c * n1 + d * n2
c = pow(m,e,n1)

print(f"n1 = {n1}")
print(f"hint1 = {hint1}")
print(f"hint2 = {hint2}")
print(f"c = {c}")

'''
n1 = 72619153900682160072296441595808393095979917106156741746523649725579328293061366133340736822282117284050717527134297532031234706715551253283030119063143935874516054785948327252045453986903379262257406260016876625891582923191913450785482873961282498295762698500898694660964018533698142756095427829906473038053
hint1 = 115150932086321440397498980975794957800400136337062771258224890596200580556053305338941267789684878816176014493153795643655219028833232337281425177163963414534998897852644398384446019097451620742463880027107068960452304016955877225140421899265978792650445328111566277376529454404089066088845864500514742797060500618255170627
hint2 = 166820160267525807953634213157298160399912450930658918773153592459310847514047652216110562360456335336533080444219104489314586122760398361430693763814336759476811490524054588094610387417965626546375189720748660483054863693527537614055954695966458622029711055735399842018236940424665041143785192280089418185085532002136215976
c = 28378912671104261862184597375842174085651209464660064937481961814538145807266472966765374317717522401362019901110151858589886717440587644003368826809403188935808872400614919296641885383025657934630410406898092262104442977722339379234085663757182028529198392480656965957860644395092769333414671609962801212632
'''

题目的n1,n2一看就是共享素数，我们要想求p，肯定是要求gcd(n1,n2),然后我们看hint1,和hint2，应该是能得到些关系。题目中又有

$a*c-b*d=1$

根据我们的线性代数关系，又有：

$\left\{\begin{matrix} am+cn=1 \\ bm+dn=0 \end{matrix}\right.$

设

$g=gcd(n1,n2)$

则

$n1=gx$

$n2=gy$

所以

$hint1=a*n1+b*n2=agx+bgy=g(ax+by)$

$hint2=c*n1+d*n2=cgx+dgy=g(cx+dy)$

显然

$gcd(hint1,hint2)=g*gcd(ax+by,cx+dy)$

根据上式

$\left\{\begin{matrix} am+cn=1 \\ bm+dn=0 \end{matrix}\right.$

又因为

$(ax+by)m+(cx+dy)n=(am)x+(bm)y+(cn)x+(dn)y$

$=(am+cn)x+(bm+dn)y$

$=x$

$(ax+by)(-n)+(cx+dy)m=(-an)x+(-bn)y+(cm)x+(dm)y$

$=(-an+cm)x+(-bn+dm)y$

$=y$

所以ax+by和cx+dy可以通过线性组合相互表示x和y

所以得到

$gcd(ax+by,cx+dy)=1$

因此我们得到

$gcd(hint1,hint2)=gcd(n1,n2)$

EXP


## EXP
* from Crypto.Util.number import *

e = 65537
n1 = 72619153900682160072296441595808393095979917106156741746523649725579328293061366133340736822282117284050717527134297532031234706715551253283030119063143935874516054785948327252045453986903379262257406260016876625891582923191913450785482873961282498295762698500898694660964018533698142756095427829906473038053
hint1 = 115150932086321440397498980975794957800400136337062771258224890596200580556053305338941267789684878816176014493153795643655219028833232337281425177163963414534998897852644398384446019097451620742463880027107068960452304016955877225140421899265978792650445328111566277376529454404089066088845864500514742797060500618255170627
hint2 = 166820160267525807953634213157298160399912450930658918773153592459310847514047652216110562360456335336533080444219104489314586122760398361430693763814336759476811490524054588094610387417965626546375189720748660483054863693527537614055954695966458622029711055735399842018236940424665041143785192280089418185085532002136215976
c = 28378912671104261862184597375842174085651209464660064937481961814538145807266472966765374317717522401362019901110151858589886717440587644003368826809403188935808872400614919296641885383025657934630410406898092262104442977722339379234085663757182028529198392480656965957860644395092769333414671609962801212632


p = GCD(hint1,hint2)
q1 = n1 // p
phi = (p - 1) * (q1 - 1)

d = inverse(e,phi)
m = pow(c,d,n1)
flag = long_to_bytes(m)

print(flag)

希望大家点点赞，点点关注，创作不易