2018 网鼎杯-第二场 WriteUp

📝 赛事概况

  • 比赛赛制：采用线上 CTF（夺旗赛） 模式

  • 晋级规则：每场线上预选赛取前 50 名进入线下半决赛。比赛结束后，前 50 名需在 12 小时内提交 Writeup 供审核

Misc

套娃（LSB 隐写）

一直解压缩出一张图片

LSB 影响拿到 flag

虚幻（文件附加隐写 + 汉信码）

使用 foremost 分离很多图片出来

疑似二维码残缺部分

在 StegSolve 中切换通道

再反转颜色

补充上定位符

需要使用强大的二维码扫描工具扫描出是汉信码，然后拿到 flag

1
flag{4ab1507d-d195-4d30-87c0-a0d85a77d953}

Reverse

martricks（矩阵 + SMT 求解）

pasted_1787212314241_tp5bj4.png

IDA 反编译

pasted_1787213037907_rpvywr.png

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
flag = input()

# 两个 7x7 矩阵，用于后续矩阵乘法校验
A = [[0] * 7 for _ in range(7)]
B = [[0] * 7 for _ in range(7)]

# 填充矩阵：v11 作为 A 的填充位置，按步长 13 在 49 个位置中跳跃
# A[位置] = flag[i] ^ 位置；B[顺序位置] = byte_601060[位置] ^ i
v11 = 23
for i in range(49):
    A[v11 // 7][v11 % 7] = flag[i] ^ v11
    B[i // 7][i % 7] = byte_601060[v11] ^ i
    v11 = (v11 + 13) % 49

# 校验：(A * B)[row][col] 模 256 是否等于 byte_6010A0[v10] ^ v10
v10 = 41
row = 3

for i in range(7):          # row 以步长 3 遍历所有行
    col = 4
    for j in range(7):      # col 以步长 4 遍历所有列
        acc = 0
        t = 5
        for k in range(7):  # t 以步长 5 遍历 0..6，计算行×列内积
            acc += B[t][col] * A[row][t]
            acc &= 0xff      # 累加结果按字节截断
            t = (t + 5) % 7

        if acc != (byte_6010A0[v10] ^ v10):
            print("wrong flag")
            exit()

        v10 = (v10 + 31) % 49  # v10 以步长 31 遍历 49 个校验值
        col = (col + 4) % 7

    row = (row + 3) % 7

print("congrats")

也就是说：

  • A 是由输入 flag 变形得到的矩阵

  • B 是由程序内置数组 byte_601060 变形得到的矩阵

所以后续目标就是根据 byte_601060 和 byte_6010A0 反推出 A，再根据 A 还原 flag

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
from z3 import *

# 常量字符串，长度 49
const_str = b"some legends r told, some turn to dust or to gold"
assert len(const_str) == 49

# 目标校验值（49 字节）
target = [
    0xAA, 0x7A, 0x24, 0x0A, 0xA8, 0xBC, 0x3C, 0xFC, 0x82, 0x4B,
    0x51, 0x52, 0x5E, 0x1C, 0x82, 0x1F, 0x79, 0xBA, 0xB5, 0xE3,
    0x43, 0x04, 0xFD, 0xAC, 0x10, 0xB5, 0x63, 0xBD, 0x8D, 0xE7,
    0x35, 0xD9, 0xD3, 0xE8, 0x42, 0x6D, 0x71, 0x5A, 0x09, 0x54,
    0xE9, 0x9F, 0x4C, 0xDC, 0xA2, 0xAF, 0x11, 0x87, 0x94
]

# 49 个 8 位符号变量表示 flag
flag = [BitVec(f"flag_{i}", 8) for i in range(49)]

s = Solver()

# 限制为可打印 ASCII
for c in flag:
    s.add(UGE(c, 0x20))
    s.add(ULE(c, 0x7e))

# 格式约束：以 "flag{" 开头，以 "}" 结尾
prefix = b"flag{"
for i, c in enumerate(prefix):
    s.add(flag[i] == c)
s.add(flag[48] == ord('}'))

# ---------- 构造矩阵 ----------
# A 矩阵：7x7，元素为符号变量（flag[i] ^ v11）
A = [[None for _ in range(7)] for _ in range(7)]
# B 矩阵：7x7，元素为常量（const_str[v11] ^ i）
B = [[0 for _ in range(7)] for _ in range(7)]

v11 = 23
for i in range(49):
    # 按步长 13 跳跃填充 A 和 B
    A[v11 // 7][v11 % 7] = flag[i] ^ BitVecVal(v11, 8)
    B[i // 7][i % 7] = const_str[v11] ^ i
    v11 = (v11 + 13) % 49

# ---------- 校验 ----------
v10 = 41
v13 = 3

for i in range(7):
    v14 = 4
    for j in range(7):
        acc = BitVecVal(0, 8)
        v7 = 5
        for k in range(7):
            # 内积：A 第 v13 行 与 B 第 v14 列
            acc += BitVecVal(B[v7][v14], 8) * A[v13][v7]
            v7 = (v7 + 5) % 7

        # 约束：acc == target[v10] ^ v10
        s.add(acc == BitVecVal(target[v10] ^ v10, 8))

        v10 = (v10 + 31) % 49
        v14 = (v14 + 4) % 7

    v13 = (v13 + 3) % 7

print("[*] solving...")

if s.check() == sat:
    model = s.model()
    result = b""
    for i in range(49):
        result += bytes([model[flag[i]].as_long()])
    print("[+] FLAG:")
    print(result.decode())
else:
    print("[-] failed")

pasted_1787214415895_ref6h9.png