【zer0pts CTF 2022】 Anti-Fermat

1.题目

from Crypto.Util.number import isPrime, getStrongPrime
from gmpy import next_prime
from secret import flag# Anti-Fermat Key Generation
p = getStrongPrime(1024)
q = next_prime(p ^ ((1<<1024)-1))
n = p * q
e = 65537# Encryption
m = int.from_bytes(flag, 'big')
assert m < n
c = pow(m, e, n)print('n = {}'.format(hex(n)))
print('c = {}'.format(hex(c)))#n = 0x1ffc7dc6b9667b0dcd00d6ae92fb34ed0f3d84285364c73fbf6a572c9081931be0b0610464152de7e0468ca7452c738611656f1f9217a944e64ca2b3a89d889ffc06e6503cfec3ccb491e9b6176ec468687bf4763c6591f89e750bf1e4f9d6855752c19de4289d1a7cea33b077bdcda3c84f6f3762dc9d96d2853f94cc688b3c9d8e67386a147524a2b23b1092f0be1aa286f2aa13aafba62604435acbaa79f4e53dea93ae8a22655287f4d2fa95269877991c57da6fdeeb3d46270cd69b6bfa537bfd14c926cf39b94d0f06228313d21ec6be2311f526e6515069dbb1b06fe3cf1f62c0962da2bc98fa4808c201e4efe7a252f9f823e710d6ad2fb974949751
#c = 0x60160bfed79384048d0d46b807322e65c037fa90fac9fd08b512a3931b6dca2a745443a9b90de2fa47aaf8a250287e34563e6b1a6761dc0ccb99cb9d67ae1c9f49699651eafb71a74b097fc0def77cf287010f1e7bd614dccfb411cdccbb84c60830e515c05481769bd95e656d839337d430db66abcd3a869c6348616b78d06eb903f8abd121c851696bd4cb2a1a40a07eea17c4e33c6a1beafb79d881d595472ab6ce3c61d6d62c4ef6fa8903149435c844a3fab9286d212da72b2548f087e37105f4657d5a946afd12b1822ceb99c3b407bb40e21163c1466d116d67c16a2a3a79e5cc9d1f6a1054d6be6731e3cd19abbd9e9b23309f87bfe51a822410a62

2.复现

重点看p,q的生成方式，p是随机的1024位素数，q = next_prime(p ^ ((1<<1024)-1))。

1<<1024-1=2**1024-1化为2进制就是1024个1,由于一个二进制数异或1就是取它的反，意思就是1变成0,0变成1。所以p^2**1024-1的结果x是把p的每一位取反，所以x+p=2**1024-1。

由于q是x的下一个素数所以q=x+r，带进去p+q=2**1024-1+r，所以p+q就约等于2**1024。

又由于 $n=(\frac{p+q}{2})^{2}-(\frac{p-q}{2})^{2}$ 把p+q带进去 $n=(\frac{2^{1024}}{2})^{2}-(\frac{p-q}{2})^{2}=\frac{2^{2048}}{4}-\frac{(p-q)^{2}}{4}$

所以4n=2**2048-(p-q)**2,p-q= $\sqrt{2^{2048}-4n}$ ,因为p+q= $2^{1024}$ ,所以p= $\frac{\sqrt{2^{2048}-4n}+2^{1024}}{2}$

然后再向后面爆破p就行了。

import gmpy2
import sympy
import libnum
n = int(0x1ffc7dc6b9667b0dcd00d6ae92fb34ed0f3d84285364c73fbf6a572c9081931be0b0610464152de7e0468ca7452c738611656f1f9217a944e64ca2b3a89d889ffc06e6503cfec3ccb491e9b6176ec468687bf4763c6591f89e750bf1e4f9d6855752c19de4289d1a7cea33b077bdcda3c84f6f3762dc9d96d2853f94cc688b3c9d8e67386a147524a2b23b1092f0be1aa286f2aa13aafba62604435acbaa79f4e53dea93ae8a22655287f4d2fa95269877991c57da6fdeeb3d46270cd69b6bfa537bfd14c926cf39b94d0f06228313d21ec6be2311f526e6515069dbb1b06fe3cf1f62c0962da2bc98fa4808c201e4efe7a252f9f823e710d6ad2fb974949751)
c = int(0x60160bfed79384048d0d46b807322e65c037fa90fac9fd08b512a3931b6dca2a745443a9b90de2fa47aaf8a250287e34563e6b1a6761dc0ccb99cb9d67ae1c9f49699651eafb71a74b097fc0def77cf287010f1e7bd614dccfb411cdccbb84c60830e515c05481769bd95e656d839337d430db66abcd3a869c6348616b78d06eb903f8abd121c851696bd4cb2a1a40a07eea17c4e33c6a1beafb79d881d595472ab6ce3c61d6d62c4ef6fa8903149435c844a3fab9286d212da72b2548f087e37105f4657d5a946afd12b1822ceb99c3b407bb40e21163c1466d116d67c16a2a3a79e5cc9d1f6a1054d6be6731e3cd19abbd9e9b23309f87bfe51a822410a62)
e = 65537
p=(gmpy2.iroot(pow(2,2048)-4*n,2)[0]+pow(2,1024))//2
# p=(2**1024+gmpy2.iroot((2**1024)**2-4*n,2)[0])//2
p=int(p)
while(1):p=sympy.nextprime(p)if(n%p==0):print(p)break
q=n//p
phi=(p-1)*(q-1)
d=gmpy2.invert(e,phi)
m=pow(c,d,n)
flag=libnum.n2s(int(m))
print(flag)
# b'Good job! Here is the flag:\n+-----------------------------------------------------------+\n| zer0pts{F3rm4t,y0ur_m3th0d_n0_l0ng3r_w0rks.y0u_4r3_f1r3d} |\n+-----------------------------------------------------------+'

【zer0pts CTF 2022】 Anti-Fermat相关推荐

【zer0pts CTF 2022】 Anti-Fermat（p、q生成不当)
题目源码 from Crypto.Util.number import isPrime, getStrongPrime from gmpy import next_prime from secret ...
【Visual Studio 2022】VS2022安装教程
一.Windows安装Visual Studio 2022 1.1 下载地址首先登陆Visual Studio官网 Visual Studio 2022官网下载地址界面如下所示.然后选择需要的版本 ...
关于我的那些事【我的2022】
当人第一认识到自己并不能解决一切问题的时候,可能这时候就是一瞬间成长的时候吧.翻开博客发现上次写杂感类的还是2018年,一晃4年多过去了,也该回头看看了. 一.生活与工作 1.生活这段时间对我有什么 ...
【蓝桥杯2022】- 数的拆分
数的拆分以下为个人对赛题的一个分析,不能保证正确性,如果认为分析有问题,请批评指正. 最终代码有还有问题,为开根号的精度问题,如果是开3,7次根等,则可能误判. 问题描述问题分析分析一问题正整 ...
【年度总结 | 2022】想干什么就去干吧，少年
【CS231n assignment 2022】Assignment 3 - Part 3，Transformer
【CS231n assignment 2022】Assignment 2 - Part 1，全连接网络的初始化以及正反向传播
【软件安全实验2022】验证码——1
exeinfo 查壳,没啥问题打开 IDA,查找字符串其中这一项比较可疑,形式一样,进入查看进入,A 键整理字符串整理好后是这样 X 键查看交叉引用运气不错!进入尝试 Tab 键转换成类 ...
【CS231n assignment 2022】Assignment 2 - Part 2，优化器，批归一化以及层归一化

【zer0pts CTF 2022】 Anti-Fermat

【zer0pts CTF 2022】 Anti-Fermat相关推荐

最新文章

热门文章