1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
| import struct
MEM_SIZE = 0x10000
DATA_QWORD_BASE = 7168 # in qwords
DATA_BASE = DATA_QWORD_BASE * 8 # 0xE000
def u8(x): return x & 0xFF
def u16(x): return x & 0xFFFF
def u32(x): return x & 0xFFFFFFFF
def u64(x): return x & 0xFFFFFFFFFFFFFFFF
class VM:
def __init__(self, vmcode: bytes, input_ints=None, debug_after_n=None):
self.mem = bytearray(MEM_SIZE)
if len(vmcode) > DATA_BASE:
raise ValueError("vmcode too large")
self.mem[:len(vmcode)] = vmcode
# VM 状态
self.regs = [0] * 8 # s[0..7]
self.ip = 0 # 低 16 位:指令指针
self.dp = 0xFFFF # 高 16 位:数据/栈指针
self.base0 = 0 # LOWORD(v92)
self.base1 = 0 # WORD1(v92)
self.base2 = 0 # WORD2(v92)
self.zf = False # BYTE6(v92) —— 零标志
self.run_flag = True # HIBYTE(v92) —— 是否继续跑
self.output = None # 0x84 时记一下输出值
self.debug_ok = False
self.num = 0
self.debug_after_n = debug_after_n
# 输入整数写到内存后段
if input_ints is not None:
for idx, val in enumerate(input_ints):
if idx >= 50:
break
off = DATA_BASE + idx * 8
struct.pack_into("<Q", self.mem, off, u64(val))
self.log_file = open("vm.log", "w", encoding="utf-8")
# 内存读写辅助
def read_u8(self, addr):
addr &= 0xFFFF
return self.mem[addr]
def read_u16(self, addr):
addr &= 0xFFFF
if addr == 0xFFFF:
return self.mem[addr]
return self.mem[addr] | (self.mem[(addr + 1) & 0xFFFF] << 8)
def write_u8(self, addr, val):
addr &= 0xFFFF
self.mem[addr] = u8(val)
def read_u64(self, addr):
addr &= 0xFFFF
bs = bytes(self.mem[addr:addr+8] + self.mem[:max(0, addr+8-MEM_SIZE)])
return struct.unpack_from("<Q", bs, 0)[0]
def write_u64(self, addr, val):
addr &= 0xFFFF
b = struct.pack("<Q", u64(val))
for i in range(8):
self.mem[(addr + i) & 0xFFFF] = b[i]
def fetch_u8(self):
b = self.read_u8(self.ip)
self.ip = u16(self.ip + 1)
return b
def fetch_u16(self):
lo = self.read_u8(self.ip)
hi = self.read_u8(self.ip + 1)
self.ip = u16(self.ip + 2)
return (hi << 8) | lo
def step(self, debug=False):
ip0 = self.ip
opcode = self.fetch_u8()
def log(msg):
cond = (debug or self.debug_ok)
if self.debug_after_n is not None:
cond = cond and (self.num == self.debug_after_n-1)
if cond:
line = f"[IP={ip0:04x} OP={opcode:02x}] {msg}\n"
if hasattr(self, "log_file") and self.log_file is not None:
self.log_file.write(line)
self.log_file.flush()
else:
print(line, end="")
# 0x00: NOP
if opcode == 0x00:
log("NOP")
return 1
# 0x01: JMP imm16
elif opcode == 0x01:
imm = self.fetch_u16()
# log(f"JMP 0x{imm:04x}")
self.ip = imm
# 0x02: JNZ imm16 (推测:ZF==0 时跳转)
elif opcode == 0x02:
imm = self.fetch_u16()
# log(f"JNZ 0x{imm:04x}, ZF={self.zf}")
if not self.zf:
self.ip = imm
# 0x03: JZ imm16 (推测:ZF==1 时跳转)
elif opcode == 0x03:
imm = self.fetch_u16()
# log(f"JZ 0x{imm:04x}, ZF={self.zf}")
if self.zf:
self.ip = imm
# 0x11: 设置 base0(LOWORD(v92))
elif opcode == 0x11:
imm = self.fetch_u16()
# log(f"SET base0 = 0x{imm:04x}")
self.base0 = imm
# 0x12: 设置 base1(WORD1(v92))
elif opcode == 0x12:
imm = self.fetch_u16()
# log(f"SET base1 = 0x{imm:04x}")
self.base1 = imm
# 0x15: R[reg] = QWORD[mem[base0]]
elif opcode == 0x15:
reg = self.fetch_u8()
if reg >= 8:
# raise IndexError("reg out of range in 0x15")
return 0
val = self.read_u64(self.base0)
# log(f"LDQ R{reg} = [0x{self.base0:04x}] => 0x{val:016x}")
self.regs[reg] = val
# 0x16: R[reg] = imm64
elif opcode == 0x16:
reg = self.fetch_u8()
if reg >= 8:
return 0
# raise IndexError("reg out of range in 0x16")
b = bytes(self.mem[self.ip:self.ip+8] +
self.mem[:max(0, self.ip+8-MEM_SIZE)])
imm = struct.unpack_from("<Q", b, 0)[0]
self.ip = u16(self.ip + 8)
self.regs[reg] = imm
self.zf = (imm == 0)
log(f"LDI R{reg} = 0x{imm:016x}, ZF={self.zf}")
# 0x17: R[dst] = R[src]
elif opcode == 0x17:
dst = self.fetch_u8()
src = self.fetch_u8()
if dst >= 8 or src >= 8:
return 0
# raise IndexError("reg out of range in 0x17")
self.regs[dst] = self.regs[src]
self.zf = (self.regs[dst] == 0)
# log(f"MOV R{dst} = R{src} (0x{self.regs[dst]:016x}), ZF={self.zf}")
# 0x18: R[reg] = QWORD[mem[base0 + offset16]]
elif opcode == 0x18:
reg = self.fetch_u8()
off = self.fetch_u16()
if reg >= 8:
return 0
# raise IndexError("reg out of range in 0x18")
addr = u16(self.base0 + off)
val = self.read_u64(addr)
self.regs[reg] = val
if reg == 0:
self.debug_ok = True
log(f"LDQ R{reg} = [base0 + 0x{off:04x}] @0x{addr:04x} => 0x{val:016x}")
# 0x19: QWORD[mem[base0]] = R[reg]
elif opcode == 0x19:
reg = self.fetch_u8()
if reg >= 8:
return 0
# raise IndexError("reg out of range in 0x19")
self.write_u64(self.base0, self.regs[reg])
# log(f"STQ [0x{self.base0:04x}] = R{reg} (0x{self.regs[reg]:016x})")
# 0x1A: R[dst] = byte[mem[base0 + (u16)R[src]]]
elif opcode == 0x1A:
dst = self.fetch_u8()
src = self.fetch_u8()
if dst >= 8 or src >= 8:
return 0
# raise IndexError("reg out of range in 0x1A")
idx = u16(self.regs[src])
addr = u16(self.base0 + idx)
val = self.read_u8(addr)
self.regs[dst] = val
# log(f"LDB R{dst} = [base0 + (u16)R{src}] @0x{addr:04x} => 0x{val:02x}")
# 0x1B: byte[mem[base0 + (u16)R[src]]] = (u8)R[dst]
elif opcode == 0x1B:
dst = self.fetch_u8()
src = self.fetch_u8()
if dst >= 8 or src >= 8:
return 0
# raise IndexError("reg out of range in 0x1B")
idx = u16(self.regs[src])
addr = u16(self.base0 + idx)
val = u8(self.regs[dst])
self.write_u8(addr, val)
# log(f"STB [base0 + (u16)R{src}] @0x{addr:04x} = R{dst}.lo (0x{val:02x})")
# 0x1C: R[reg]++ ; ZF = (old == -1)
elif opcode == 0x1C:
reg = self.fetch_u8()
if reg >= 8:
return 0
# raise IndexError("reg out of range in 0x1C")
old = self.regs[reg]
self.regs[reg] = u64(old + 1)
self.zf = (old == 0xFFFFFFFFFFFFFFFF)
# log(f"INC R{reg}: 0x{old:016x} -> 0x{self.regs[reg]:016x}, ZF={self.zf}")
# 0x1D: R[reg]-- ; ZF = (old == 1)
elif opcode == 0x1D:
reg = self.fetch_u8()
if reg >= 8:
return 0
# raise IndexError("reg out of range in 0x1D")
old = self.regs[reg]
self.regs[reg] = u64(old - 1)
self.zf = (old == 1)
# log(f"DEC R{reg}: 0x{old:016x} -> 0x{self.regs[reg]:016x}, ZF={self.zf}")
# 0x1E: R[reg] >>= shift8 ; ZF = (result == 0)
elif opcode == 0x1E:
reg = self.fetch_u8()
shift = self.fetch_u8()
if reg >= 8:
return 0 #raise IndexError("reg out of range in 0x1E")
val = self.regs[reg]
res = u64(val >> (shift & 0x3F))
self.regs[reg] = res
self.zf = (res == 0)
# log(f"SHR R{reg} >>= {shift & 0x3F}: 0x{val:016x} -> 0x{res:016x}, ZF={self.zf}")
# 0x1F: base0 += (u16)R[reg]
elif opcode == 0x1F:
reg = self.fetch_u8()
if reg >= 8:
return 0 #raise IndexError("reg out of range in 0x1F")
old = self.base0
self.base0 = u16(self.base0 + u16(self.regs[reg]))
# log(f"ADD base0 += (u16)R{reg}: 0x{old:04x} -> 0x{self.base0:04x}")
# 0x25: AND 寄存器
elif opcode == 0x25:
dst = self.fetch_u8()
src = self.fetch_u8()
if dst >= 8 or src >= 8:
return 0 #raise IndexError("reg out of range in 0x25")
old = self.regs[dst]
self.regs[dst] = u64(old & self.regs[src])
self.zf = (self.regs[dst] == 0)
log(f"AND R{dst} &= R{src}: 0x{old:016x} & 0x{self.regs[src]:016x} = 0x{self.regs[dst]:016x}, ZF={self.zf}")
# 0x26: XOR 寄存器
elif opcode == 0x26:
dst = self.fetch_u8()
src = self.fetch_u8()
if dst >= 8 or src >= 8:
return 0 #raise IndexError("reg out of range in 0x26")
old = self.regs[dst]
self.regs[dst] = u64(old ^ self.regs[src])
self.zf = (self.regs[dst] == old) # 等价于 src == 0
log(f"XOR R{dst} ^= R{src}: 0x{old:016x} ^ 0x{self.regs[src]:016x} = 0x{self.regs[dst]:016x}, ZF={self.zf}")
# 0x27: R[reg] <<= shift8 ; ZF = (result == 0)
elif opcode == 0x27:
reg = self.fetch_u8()
shift = self.fetch_u8()
if reg >= 8:
return 0 #raise IndexError("reg out of range in 0x27")
val = self.regs[reg]
res = u64(val << (shift & 0x3F))
self.regs[reg] = res
self.zf = (res == 0)
# log(f"SHL R{reg} <<= {shift & 0x3F}: 0x{val:016x} -> 0x{res:016x}, ZF={self.zf}")
# 0x29: R[reg] ^= imm64 ; ZF = (old == imm)
elif opcode == 0x29:
reg = self.fetch_u8()
if reg >= 8:
return 0 #raise IndexError("reg out of range in 0x29")
b = bytes(self.mem[self.ip:self.ip+8] +
self.mem[:max(0, self.ip+8-MEM_SIZE)])
imm = struct.unpack_from("<Q", b, 0)[0]
self.ip = u16(self.ip + 8)
old = self.regs[reg]
self.regs[reg] = u64(old ^ imm)
self.zf = (old == imm)
log(f"XOR R{reg} ^= imm64 0x{imm:016x}: 0x{old:016x} -> 0x{self.regs[reg]:016x}, ZF={self.zf}")
# 0x2A: R[reg] &= imm64 ; ZF = (result == 0)
elif opcode == 0x2A:
reg = self.fetch_u8()
if reg >= 8:
return 0 #raise IndexError("reg out of range in 0x2A")
b = bytes(self.mem[self.ip:self.ip+8] +
self.mem[:max(0, self.ip+8-MEM_SIZE)])
imm = struct.unpack_from("<Q", b, 0)[0]
self.ip = u16(self.ip + 8)
old = self.regs[reg]
self.regs[reg] = u64(old & imm)
self.zf = (self.regs[reg] == 0)
# log(f"AND R{reg} &= imm64 0x{imm:016x}: 0x{old:016x} -> 0x{self.regs[reg]:016x}, ZF={self.zf}")
# 0x2B: R[dst] = byte[mem[base1 + (u16)R[src]]]
elif opcode == 0x2B:
dst = self.fetch_u8()
src = self.fetch_u8()
if dst >= 8 or src >= 8:
return 0
idx = u16(self.regs[src])
addr = u16(self.base1 + idx)
val = self.read_u8(addr)
self.regs[dst] = val
# log(f"LDB R{dst} = [base1 + (u16)R{src}] @0x{addr:04x} => 0x{val:02x}")
# 0x2C: byte[mem[base1 + (u16)R[src]]] = (u8)R[dst]
elif opcode == 0x2C:
dst = self.fetch_u8()
src = self.fetch_u8()
if dst >= 8 or src >= 8:
return 0 #raise IndexError("reg out of range in 0x2C")
idx = u16(self.regs[src])
addr = u16(self.base1 + idx)
val = u8(self.regs[dst])
self.write_u8(addr, val)
# log(f"STB [base1 + (u16)R{src}] @0x{addr:04x} = R{dst}.lo (0x{val:02x})")
# 0x32: ZF = (R[reg] == imm64)
elif opcode == 0x32:
reg = self.fetch_u8()
if reg >= 8:
return 0 #raise IndexError("reg out of range in 0x32")
b = bytes(self.mem[self.ip:self.ip+8] +
self.mem[:max(0, self.ip+8-MEM_SIZE)])
imm = struct.unpack_from("<Q", b, 0)[0]
self.ip = u16(self.ip + 8)
self.zf = (self.regs[reg] == imm)
log(f"CMP R{reg} == 0x{imm:016x}? R{reg}=0x{self.regs[reg]:016x}, ZF={self.zf}")
if reg == 0:
self.zf = True
self.debug_ok = False
self.num += 1
if self.num == self.debug_after_n:
return 1
# 0x80: 把当前 ip 记到 base2,作为“函数起点”
elif opcode == 0x80:
self.base2 = self.ip
# log(f"SET base2 = ip = 0x{self.ip:04x}")
# 0x81: 注册函数:table[idx] = base2 + 3
elif opcode == 0x81:
idx = self.fetch_u8()
if not hasattr(self, "fun_table"):
self.fun_table = {}
self.fun_table[idx] = u16(self.base2 + 3)
# log(f"DEF FN[{idx}] = 0x{self.fun_table[idx]:04x}")
# 0x82: call 函数:压栈返回地址,再跳转
elif opcode == 0x82:
idx = self.fetch_u8()
if not hasattr(self, "fun_table") or idx not in self.fun_table:
return 0
# raise KeyError(f"function idx {idx} not registered")
ret = self.ip
self.dp = u16(self.dp - 2)
self.write_u8(self.dp, ret & 0xFF)
self.write_u8(self.dp + 1, (ret >> 8) & 0xFF)
self.ip = self.fun_table[idx]
# log(f"CALL FN[{idx}] -> 0x{self.ip:04x}, push RET=0x{ret:04x} at dp=0x{self.dp:04x}")
# 0x83: ret:从栈顶弹出返回地址到 ip
elif opcode == 0x83:
if self.dp == 0xFFFF:
# log("RET with empty stack -> halt")
self.run_flag = False
return 1
lo = self.read_u8(self.dp)
hi = self.read_u8(self.dp + 1)
ret = (hi << 8) | lo
self.dp = u16(self.dp + 2)
# log(f"RET to 0x{ret:04x}, new dp=0x{self.dp:04x}")
self.ip = ret
# 0x84: 输出 R[reg](写到栈上),然后退出 VM
elif opcode == 0x84:
reg = self.fetch_u8()
if reg >= 8:
return 0 #raise IndexError("reg out of range in 0x84")
self.dp = u16(self.dp - 8)
self.write_u64(self.dp, self.regs[reg])
self.output = self.regs[reg]
log(f"RETVAL R{reg} = 0x{self.regs[reg]:016x} stored at dp=0x{self.dp:04x}, HALT")
# self.run_flag = False
# 0x85: R[reg] = QWORD[mem[dp]] ; dp += 8
elif opcode == 0x85:
reg = self.fetch_u8()
if reg >= 8:
return 0 #raise IndexError("reg out of range in 0x85")
val = self.read_u64(self.dp)
self.regs[reg] = val
self.dp = u16(self.dp + 8)
# log(f"POPQ R{reg} = [dp] => 0x{val:016x}, new dp=0x{self.dp:04x}")
# 0x90: 系统调用(这里还没实现)
elif opcode == 0x90:
arg = self.fetch_u8()
log(f"SYSCALL 0x90 arg=0x{arg:02x} (NOT IMPLEMENTED) -> HALT")
# self.run_flag = False
else:
log(f"UNKNOWN opcode -> HALT")
# self.run_flag = False
def run(self, debug=False):
steps = 0
try:
while self.run_flag:
a = self.step(debug=debug)
if a == 0:
self.log_file.close()
break
steps += 1
return self.output
finally:
if hasattr(self, "log_file") and self.log_file is not None:
self.log_file.close()
self.log_file = None
def run_vm_with_ints(ints, vmcode_path="full_vmcode", debug=False, debug_after_n=9):
with open(vmcode_path, "rb") as f:
code = f.read()
vm = VM(code, input_ints=ints, debug_after_n=debug_after_n)
out = vm.run(debug=debug)
return out, vm
mask64 = 0xFFFFFFFFFFFFFFFF
mask32 = 0xFFFFFFFF
# ---------- 基础函数: 与日志同构 ----------
def loop_64bit(r0, r6):
while True:
r7 = r0
r7 = (r7 & r6) & mask64
r0 = (r0 ^ r6) & mask64
if r7 == 0:
break
r7 = (r7 << 1) & mask64
r6 = r7
return r0
def func_A_32bit(r_in):
r6 = (r_in >> 8) & mask32
r7 = (r_in << 24) & mask32
r6 = (r6 ^ r7) & mask32
return r6
def func_B_32bit(r0, r1):
r6 = r1
while True:
r7 = r0
r7 = (r7 & r6) & mask32
r0 = (r0 ^ r6) & mask32
if r7 == 0:
break
r7 = (r7 << 1) & mask32
r6 = r7
r0 &= mask32
return r0
def func_C_32bit(r0, r2):
return (r0 ^ r2) & mask32
def func_D_32bit(r_in):
r6 = (r_in << 3) & mask32
r7 = (r_in >> 29) & mask32
r6 = (r6 ^ r7) & mask32
return r6
def func_E_32bit(r0, r1):
return (r1 ^ r0) & mask32
# ---------- 轮常量调度 R2[k] ----------
def build_r2_schedule(r):
"""
只跑 r2,r3,r4,r5 的“下半轮”,得到每一轮上半轮使用的 r2 常量。
"""
r2 = r[0]
r3 = r[1]
r4 = r[2]
r5 = r[3]
R2 = []
for k in range(27): # 0..26
R2.append(r2)
if k == 0x1a:
# 最后一轮没有下半轮
continue
r0_g_in = r3
r1_g_in = r2
r2_g_in = k
r0_H_A = func_A_32bit(r0_g_in)
r0_H_B = func_B_32bit(r0_H_A, r1_g_in)
r0_H_C = func_C_32bit(r0_H_B, r2_g_in)
r1_H_D = func_D_32bit(r1_g_in)
r1_H_E = func_E_32bit(r0_H_C, r1_H_D)
# 更新到下一轮
r2, r3, r4, r5 = r1_H_E, r4, r5, r0_H_C
return R2
# ---------- 上半轮显式逆 ----------
def rol32(x, n):
return ((x << n) | (x >> (32 - n))) & mask32
def ror32(x, n):
return ((x >> n) | (x << (32 - n))) & mask32
def inv_upper_round(r0_next, r1_next, r2_k):
"""
逆向一轮上半轮: 给定输出 (r0_next,r1_next) 和 r2_k,
求上一轮输入 (r0_prev,r1_prev)
"""
c0 = r0_next & mask32
e1 = r1_next & mask32
d1 = (e1 ^ c0) & mask32
r1_prev = ror32(d1, 3) # 逆 D: ROL3 -> ROR3
b0 = (c0 ^ r2_k) & mask32 # 逆 C: XOR r2_k
a0 = (b0 - r1_prev) & mask32 # 逆 B: 加法 -> 减法
r0_prev = rol32(a0, 8) # 逆 A: ROR8 -> ROL8
return r0_prev, r1_prev
# ints =[13430028123848624410, 13767982679358783948, 11713643540287541804, 8785781270016547275, 5592440162506734093, 18308193844343275176, 1734829927, 12474808138286712448, 14773488025708418042, 6145507630794926191, 1802201963, 15600888960577064236, 6903078875579093773, 1852730990, 13105847985596755079, 12401591929655495169, 14481374110727130427, 3919366872831373201, 11451939409513851430, 1953789044, 17235855896972825888, 1987475062, 1916851354365983645, 2021161080, 2038004089, 2054847098, 17641256427711907975, 10954895412222869047, 9086595392298378073, 5295387722887053174, 15356410353063384153, 12187465423418120720, 14608926774405230659, 16160493834789769285, 1229539657, 13841060151611699047, 1263225675, 1280068684, 10181670230088315432, 1313754702, 1330597711, 5725376311369793868, 12817717089813452135, 11273537721551939182, 3076809482903728308, 1414812756, 1431655765, 6802938463641799296, 11625777768394830813, 1482184792]
# kkk =35
ints = [13430028123848624410, 13767982679358783948, 11713643540287541804, 8785781270016547275, 5592440162506734093, 18308193844343275176, 1734829927, 12474808138286712448, 14773488025708418042, 6145507630794926191, 1802201963, 15600888960577064236, 6903078875579093773, 1852730990, 13105847985596755079, 12401591929655495169, 14481374110727130427, 3919366872831373201, 11451939409513851430, 1953789044, 17235855896972825888, 1987475062, 1916851354365983645, 2021161080, 2038004089, 2054847098, 17641256427711907975, 13917286480390178951, 9086595392298378073, 5295387722887053174, 15356410353063384153, 12187465423418120720, 14608926774405230659, 16160493834789769285, 1229539657, 13841060151611699047, 1263225675, 1280068684, 10181670230088315432, 1313754702, 1330597711, 5725376311369793868, 12817717089813452135, 11273537721551939182, 3076809482903728308, 1414812756, 1431655765, 6802938463641799296, 11625777768394830813, 1482184792]
kkk = 35
while kkk <= 50:
result = []
out, vm = run_vm_with_ints(ints, vmcode_path="full_vmcode", debug=False, debug_after_n=kkk)
with open("vm.log", "r", encoding="utf-8") as f:
lines = f.readlines()
input_value = 0
i = 0
nok = True
while i < len(lines):
if i < 10 and "RETVAL R7 = 0x00000000000000ff stored at dp=0xffef" in lines[i]:
i += 1
k = int(lines[i].split("LDI R6 = ")[1].split(",")[0], 16)
result.append([i, k, "k"])
if "XOR R0 ^= imm64" in lines[i]:
c = int(lines[i].split("XOR R0 ^= imm64 ")[1].split(":")[0], 16)
result.append([i, c, "c"])
line = lines[i]
if "CMP R7 == 0x0000000000000000? R7=0x0000000000000000, ZF=True" in line and nok:
i += 1
while "AND R7 &= R6:" not in lines[i]:
if "XOR R0 ^= imm64" in lines[i]:
c = int(lines[i].split("XOR R0 ^= imm64 ")[1].split(":")[0], 16)
result.append([i, c, "c"])
if "LDI R1 = " in lines[i]:
r = int(lines[i].split("LDI R1 = ")[1].split(",")[0], 16)
rr1 = int.from_bytes(r.to_bytes(8, byteorder="little")[:4], byteorder="little")
rr2 = int.from_bytes(r.to_bytes(8, byteorder="little")[4:8], byteorder="little")
result.append([i, rr1, "r"])
result.append([i, rr2, "r"])
i += 1
line = lines[i]
k = int(line.split(" & ")[1].split(" ")[0], 16)
if k == 0xfffffffffffffff0:
nok = False
elif k != 1:
result.append([i, k, "k"])
if " => " in lines[i]:
input_value = int(lines[i].split(" => ")[1], 16)
print(hex(input_value))
if "CMP R0 == " in lines[i]:
cipher = int(line.split("CMP R0 == ")[1].split("?")[0], 16)
print(hex(cipher))
print(result)
final_r0 = cipher & mask32
final_r1 = (cipher >> 32) & mask32
r = [i[1] for i in result[-4:]]
# 2) 逆 32 位主循环: 从 k=26..0 逐轮恢复
R2 = build_r2_schedule(r)
r0_curr, r1_curr = final_r0, final_r1
for k in reversed(range(27)): # 26,25,...,0
r2_k = R2[k]
r0_prev, r1_prev = inv_upper_round(r0_curr, r1_curr, r2_k)
r0_curr, r1_curr = r0_prev, r1_prev
r0_0, r1_0 = r0_curr, r1_curr
# 合并成 64 位,得到进入 32 位轮前的值
v = ((r1_0 & mask32) << 32) | (r0_0 & mask32)
x = v & mask64
for ck in result[:-4][::-1]:
if ck[2] == 'k':
x = (x - ck[1]) & mask64
elif ck[2] == 'c':
x ^= ck[1]
idx = ints.index(input_value)
ints[idx] = x
print(kkk, ints)
kkk += 1
result = []
break
i += 1
|