首页
社区
课程
招聘
[讨论] 关于比赛第二题的一点小小疑问
发表于: 2017-10-30 21:08 2856

[讨论] 关于比赛第二题的一点小小疑问

2017-10-30 21:08
2856
看了各位高手的解题报告后,发现大家在证明方程无解时用了下面四个等式:
(b-a)*5 + b = 0x8f503a42
(b-a)*13 + a = 0xef503a42
(b-a)*17 + b = 0xf3a94883
(b-a)*7 + a = 0x33a94883

但我觉得应该有个取余运算,例如
(((b-a)*5)%0x100000000 + b)%0x100000000 = 0x8f503a42

不知我的理解是否正确?虽然无伤大雅,都能证明方程无解。





[招生]科锐逆向工程师培训(2024年11月15日实地,远程教学同时开班, 第51期)

收藏
免费 0
支持
分享
最新回复 (7)
雪    币: 11
活跃值: (12)
能力值: ( LV5,RANK:70 )
在线值:
发帖
回帖
粉丝
2
我也考虑了取余运算,用Z3跑了无结果
2017-10-30 22:48
0
雪    币: 168
活跃值: (823)
能力值: ( LV10,RANK:173 )
在线值:
发帖
回帖
粉丝
3
照片记录谁 我也考虑了取余运算,用Z3跑了无结果
2017-10-31 08:40
0
雪    币: 3136
活跃值: (97)
能力值: ( LV9,RANK:165 )
在线值:
发帖
回帖
粉丝
4
取余是肯定有的,估计大佬们没有写出来而已,看汇编代码,都是操作的寄存器,当然只有32位。
2017-10-31 09:13
0
雪    币: 168
活跃值: (823)
能力值: ( LV10,RANK:173 )
在线值:
发帖
回帖
粉丝
5
demoLin 取余是肯定有的,估计大佬们没有写出来而已,看汇编代码,都是操作的寄存器,当然只有32位。
感谢答疑
2017-10-31 09:41
0
雪    币: 21
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
jvy
6
请问如何证明加了取余运算后无解?
2017-11-1 12:21
0
雪    币: 168
活跃值: (823)
能力值: ( LV10,RANK:173 )
在线值:
发帖
回帖
粉丝
7
jvy 请问如何证明加了取余运算后无解?
我说下我的思路:
1.  将  x%y  =  z  写成  x  =  t  *  y  +  z  (t为整数)这样的形式参与运算  。
2.  选择其中两个等式进行加加减减,效果就是要弄出一个等式的左边是奇数,右边是偶数,从而推出是矛盾的,这样就OK啦。
2017-11-2 14:42
0
雪    币: 21
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
jvy
8
kaoyange 我说下我的思路: 1. 将 x%y = z 写成 x = t * y + z (t为整数)这样的形式参与运算 。 2. 选择其中两个等式进行加加减减,效果就是要弄出一个等式的左边是奇数,右边是偶数 ...
非常感谢!
2017-11-5 13:46
0
游客
登录 | 注册 方可回帖
返回
//