VSCTF的Recovery

题目如下：

from random import randint

from base64 import b64encode

def validate(password: str) -> bool:

    if len(password) != 49:

        return False

    key = ['vs'.join(str(randint(7, 9)) for _ in range(ord(i))) + 'vs' for i in password[::-2]]

    gate = [118, 140, 231, 176, 205, 480, 308, 872, 702, 820, 1034, 1176, 1339, 1232, 1605, 1792, 782, 810, 1197, 880,

            924, 1694, 2185, 2208, 2775]

    if [randint(a, b[0]) for a, b in enumerate(zip(gate, key), 1) if len(b[1]) != 3 * (b[0] + 7 * a) // a]:

        return False

    hammer = {str(a): password[a] + password[a + len(password) // 2] for a in range(1, len(password) // 2, 2)}

    block = b'c3MxLnRkMy57XzUuaE83LjVfOS5faDExLkxfMTMuR0gxNS5fTDE3LjNfMTkuMzEyMS5pMzIz'

    if b64encode(b'.'.join([((b + a).encode()) for a, b in hammer.items()])) != block:

        return False

    return True

if __name__ == "__main__":

    passwd = input('Please validate your ID using your password\n> ')

    if validate(passwd):

        print('Access Granted: You now have gained access to the View Source Flag Vault!')

    else:

        print('Access Denied :(')

源码分析：

这个题的难点就在于代码过于python化，核心内容全是推导式。读懂代码这题就迎刃而解了。（也不是，如果解题代码写的不对，得到的也是错误flag，没错，说的就是本人这个弱鸡）

如果你也没读懂代码，那就跟着我思路来看看，或许会让你豁然开朗。如果你也明白了代码里的含义，可以跳过这个部分看看解题代码，我猜你只是需要这个。废话不多说，开搞。

先看 if __name__ == "__main__" 发现比较重要的是调用了validate函数，把我们输入的结果passwd传了进去。

对validate函数审计，因为我们是要破解，所以应当，也应该如此的从后面开始看。我们一眼就发现密文block，然后在 if 判断出告诉了我们block是base64加密后的结果，我们果断解一下。

content = 'c3MxLnRkMy57XzUuaE83LjVfOS5faDExLkxfMTMuR0gxNS5fTDE3LjNfMTkuMzEyMS5pMzIz'

print(base64.b64decode(content))

得到结果：

ss1.td3.{_5.hO7.5_9._h11.L_13.GH15._L17.3_19.3121.i323

继续对 if 分析，我们发现有一个列表推导式：[((b + a).encode()) for a, b in hammer.items()]

for 前面的内容是属于 for 循环里面的内容，所以这里意思是把 hammer 字典中 key 和 value 分别赋值给 a 和 b ，注意啊，这里 b 和 a 都是字符串，因此它们相加是拼接到一起。这里的encode的作用不大，使用默认的编码格式。

然后就把 a 和 b 生成的新字符串加到前面的字符串中，然后以点分隔。

通过以上，我们就知道了hammer字典中用哪些内容，于是写个代码提取一下：

cipertext = 'ss1.td3.{_5.hO7.5_9._h11.L_13.GH15._L17.3_19.3121.i323'

print(len(cipertext))

flag_key = {}

j = 1

for i in cipertext.split('.'):

    flag_key.update({j: i[0:2]})

    j += 2

print(flag_key)

得到结果：

{1: 'ss', 3: 'td', 5: '{_', 7: 'hO', 9: '5_', 11: '_h', 13: 'L_', 15: 'GH', 17: '_L', 19: '3_', 21: '31', 23: 'i3'}

然后对hammer字典分析，发现是个字典推导式：

key = str(a)

value = password[a] + password[a + len(password) // 2]

for 循环从数字0 开始每次步长为 2 ，结束为 password 的长度，看一下代码就知道 len(password) = 49

对以上分析我们就知道了 password[1] = s，pasword[25] = s，pasword[3] = t,，pasword[27] = d 以此类推，写个代码：

key_1 = ''

key_2 = ''

key_content = ''

# b_lenth=[375, 231, 252, 153, 144, 261, 153, 348, 255, 267, 303, 315, 330, 285, 342, 357, 159, 156, 210, 153, 153, 252, 306, 297, 354]

for a in flag_key:

    key_1 += flag_key[a][0:1]

    key_2 += flag_key[a][1:2]

key_content += key_1 + '  ' + key_2

print(key_content)

#print(len(key_content))

得到结果flag1：

st{h5_LG_33i  sd_O_h_HL_13

继续对源码分析，在 if 处又发现一个列表推导式：[randint(a, b[0]) for a, b in enumerate(zip(gate, key), 1) if len(b[1]) != 3 * (b[0] + 7 * a) // a]

复杂推导式的读取原则是：从左边开始的第一个 for 开始读，属于 for 左边的为最后结果，右边则属于 for 循环里的下级内容。（自己总结的，如果不理解可以去百度了解更多）

enumerate函数的链接：Python enumerate() 函数 | 菜鸟教程 (runoob.com)

zip函数的链接：Python zip() 函数 | 菜鸟教程 (runoob.com)

这里一开始我也琢磨了好久，后面才知道 a 是从 1 开始的整数数列，通式为 n = n + 1 , 而 b[0] 就是 gate列表的内容，因为 zip 函数返回的是元组并且赋值给的 b，而 b[0] 正是元组中的第一个参数gate的值，因为 if 是在 for 里面的，所以 b [0] 动态变化。

通过上述我们知道，出题人要求我们使得 len(b[1]) = 3 * (b[0] + 7 * a) // a，而 b[1] 的内容则是key列表的内容，写个代码提取一下：

gate = [118, 140, 231, 176, 205, 480, 308, 872, 702, 820, 1034, 1176, 1339, 1232, 1605, 1792, 782, 810, 1197, 880,924, 1694, 2185, 2208, 2775]

b_lenth = []

for i in range(len(gate)):

    b_lenth.append(3 * (gate[i] + 7 * (i + 1)) // (i + 1))

print(b_lenth)

得到结果：

# b_lenth=[375, 231, 252, 153, 144, 261, 153, 348, 255, 267, 303, 315, 330, 285, 342, 357, 159, 156, 210, 153, 153, 252, 306, 297, 354]

我们继续对代码分析，发现了一个更加复杂的列表推导式 key，我们在前面总结了复杂推导式的读取原则，但是你应该明白这里的列表推导式的 “第一个” for 应该为最后一个。

所以我们在前面的复杂推导式读取原则应该加上：如果遇到的第一个 for 是在小括号中，则往后找第一个 for

这里的 key 列表推导式我们展开来写，如下：

#假设password = ’ vsctf‘

password = 'vsctf'

key = ['vs'.join(str(7) for _ in range(ord(i))) + 'vs' for i in password[::2]]

print(key[0])

print(len(key[0]))

key1 = []

content = ''

for i in password[::2]:

    for _ in range(ord(i)):

       content += 'vs'.join(str(7))  #因为这里join中传入参数不是序列，所以前面的'vs'不起作用，则 content = '7'

       content += 'vs'

    key1.append(content)

    break    #如果要和上述列表推导式相等，这里break实际没有

print(key1[0])

print(len(key1[0]))

得到结果如下：

发现是一模一样的，如果你这里感到奇怪，那一定是对 join 函数的不理解：Python join()方法 | 菜鸟教程 (runoob.com)

通过对key 列表推导式分析发现，它是取 password 中偶数索引的内容，然后将内容转换为ascii码数值，作为循环的次数，每次循环取7 到 9中随机一个整数加 ’vs' 字符串。

所以我们只要知道有多少个整数，就知道了这个ASCII码数值是多少，从而知道 password 中偶数索引的内容。

因为前面我们已经算出了b[1]长度，又因为这里 for 每次都加上 'vs' 两个字符串，所以在原来的基础上扩大了3倍，因此只要把 b_lenth 列表中每个元素除于 3 再转换即得flag2内容。

# b_lenth=[375, 231, 252, 153, 144, 261, 153, 348, 255, 267, 303, 315, 330, 285, 342, 357, 159, 156, 210, 153, 153, 252, 306, 297, 354]

key = ''

for i in b_lenth:

    # print(chr(i // 3))

    key += chr(i // 3)

print(key)

结果如下：

最后我们从flag2后面开始拿一个，从flag1 前面拿一个，然后重复前面，即得最终flag

综上所述，我们可以写出完整解题脚本。

完整解题代码：

#coding:utf-8

import base64

content = 'c3MxLnRkMy57XzUuaE83LjVfOS5faDExLkxfMTMuR0gxNS5fTDE3LjNfMTkuMzEyMS5pMzIz'

cipertext = base64.b64decode(content)

print(len(cipertext))

flag_key = {}

j = 1

for i in cipertext.split('.'):

    flag_key.update({j: i[0:2]})

    j += 2

print(flag_key)

flag = ''

k = -1

for a in flag_key:

    flag += chr(b_lenth[k] // 3) + flag_key[a][0:1] #偶数索引内容 + 奇数索引内容，从password字符串的索引0开始，到索引23结束

    k += -1

    if len(flag) == 24:

        print(flag)

        k = -13

        for b in flag_key:

            flag += chr(b_lenth[k] // 3) + flag_key[b][1:2]    #从索引24开始，到索引48结束

            k += -1

        flag += chr(b_lenth[0] // 3) #加上索引49

        break

print(flag)

得到flag：