DozerCTF2024

  1. very_long_access
  2. pppyyy
  3. 上春山
  4. se
  5. shuiyin
  6. 套一下
  7. strange_code
  8. ezzzzz_Forensics

very_long_access

时间戳被打乱,排序一下

Dozerctf{Y0u-Can-R3a11y-F1nd-Th3F14g!}

pppyyy

简单的python

from z3 import *
s = Solver()
nums = [0 for _ in range(14)]
for i in range(14):
    nums[i] = Int(f'nums[{i}]')

s.add((((((nums[0] * 2 + nums[1] - 4 - nums[2] * 3 - nums[3] - 3) + nums[4] * 5 + nums[5] * 5 - nums[6] - 3) + nums[7] + 2 - nums[8]) + 3 + nums[9] - 3 - nums[10] * 4) + nums[11] * 3 - nums[12] - 2) + nums[13] + 3 == 56)
s.add(((((nums[0] + 2 - nums[1] * 5) + nums[2] - 3 - nums[3]) + 5 - nums[4] * 4 - nums[5]) + 5 + nums[6] * 4 + nums[7] * 5 + nums[8] * 3 + nums[9] * 5 - nums[10] - 5 - nums[11] - 2 - nums[12] - 5) + nums[13] - 3 == 681)
s.add((((nums[0] * 5 + nums[1] * 3 - nums[2] - 2) + nums[3] * 4 + nums[4] - 3) + nums[5] * 4 + nums[6] * 4 + nums[7] + 3 - nums[8] * 2 - nums[9]) + 3 + nums[10] + 3 - nums[11] * 2 - nums[12] * 3 - nums[13] * 2 == 1129)
s.add((((((nums[0] * 5 - nums[1] - 2) + nums[2] - 2) + nums[3] + 5 - nums[4]) + 3 + nums[5] * 2 + nums[6] + 2 - nums[7] * 4 - nums[8] - 2) + nums[9] + 5 + nums[10] + 4 - nums[11]) + 3 + nums[12] + 3 - nums[13] * 5 == 55)
s.add(((((nums[0] + 2 - nums[1] * 4 - nums[2] * 3) + nums[3] + 3 + nums[4] * 4 + nums[5] * 3 - nums[6]) + 5 + nums[7] - 2 - nums[8]) + 5 + nums[9] * 4 - nums[10] - 2 - nums[11] - 4) + nums[12] * 5 - nums[13] - 4 == 673)
s.add((((((nums[0] - 5 - nums[1] - 4 - nums[2] - 4 - nums[3]) + 2 + nums[4] * 4 - nums[5]) + 4 + nums[6] + 3 + nums[7] + 5 - nums[8] * 5 - nums[9]) + 2 + nums[10] + 2 + nums[11] - 2) + nums[12] * 3 - nums[13]) + 4 == 249)
s.add(((((((nums[0] * 4 + nums[1] - 4) + nums[2] - 5) + nums[3] - 2 - nums[4] * 2) + nums[5] + 3 + nums[6] - 3 - nums[7]) + 3 - nums[8] * 4 - nums[9] * 3) + nums[10] * 2 + nums[11] * 5 + nums[12] - 4) + nums[13] - 4 == 422)
s.add(((((((nums[0] * 3 - nums[1] - 3 - nums[2] - 3) + nums[3] - 2 - nums[4] - 5) + nums[5] * 2 + nums[6] - 4) + nums[7] - 5) + nums[8] * 5 - nums[9] * 3 - nums[10]) + 5 - nums[11] - 4 - nums[12] * 5) + nums[13] - 4 == 49)
s.add((((((((nums[0] - 4 - nums[1]) + 3 - nums[2]) + 4 - nums[3] - 4) + nums[4] + 5 - nums[5] * 3) + nums[6] + 2 + nums[7] * 4 - nums[8] - 4 - nums[9]) + 3 - nums[10] * 5) + nums[11] * 2 + nums[12] * 3 - nums[13]) + 2 == 0)
s.add((((((((nums[0] - 5 - nums[1]) + 5 - nums[2] - 4) + nums[3] + 3 + nums[4] - 2) + nums[5] - 4) + nums[6] * 2 - nums[7] - 4 - nums[8] * 4) + nums[9] + 4 + nums[10] * 4 - nums[11]) + 5 - nums[12]) + 4 + nums[13] + 4 == 268)
s.add(((((((nums[0] - 5 - nums[1]) + 3 - nums[2]) + 2 + nums[3] - 4 - nums[4]) + 4 + nums[5] - 5 - nums[6]) + 2 + nums[7] - 4 - nums[8] - 5 - nums[9] - 5 - nums[10] - 2 - nums[11]) + 5 + nums[12] - 3) + nums[13] + 4 == -162)
s.add(((((((((nums[0] + 5 - nums[1]) + 4 + nums[2] * 5 - nums[3] - 3) + nums[4] - 5 - nums[5] - 5) + nums[6] + 3 - nums[7] * 5 - nums[8] * 3) + nums[9] - 4) + nums[10] - 2) + nums[11] - 3) + nums[12] - 5) + nums[13] + 2 == -2)
s.add(((((nums[0] + 4 + nums[1] - 5 - nums[2]) + 3 + nums[3] + 3 - nums[4] - 4 - nums[5]) + 3 + nums[6] - 3 - nums[7] - 5 - nums[8]) + 3 + nums[9] - 5 - nums[10] - 2) + nums[11] + 5 + nums[12] * 5 - nums[13] - 5 == 433)
s.add((((((nums[0] + 4 + nums[1] + 4 + nums[2] + 3 - nums[3] - 2) + nums[4] - 4) + nums[5] + 3 - nums[6] - 4 - nums[7] * 2) + nums[8] - 3) + nums[9] + 2 + nums[10] * 3 - nums[11] * 4) + nums[12] + 5 + nums[13] * 3 == 515)

print(s.check())
print(s.model())

nums[7] = 116
nums[3] = 121
nums[5] = 53
nums[2] = 98
nums[9] = 48
nums[12] = 122
nums[10] = 110
nums[11] = 38
nums[13] = 51
nums[4] = 95
nums[8] = 104
nums[6] = 121
nums[0] = 66
nums[1] = 64

print(bytes(nums))
#b'B@by_5yth0n&z3'

Dozerctf{B@by_5yth0n&z3}

上春山

老海:佛前莲花开三朵 腿长:春来杨柳摘几支 老海:这从大清换成民国,生意还不都是都是零毛碎琴的,没点儿啊 腿长:排琴,看你门清告诉你个杵门子,听说倒埝有个船沉了,里都是枸迷杵啊,缺一个海上的相家找找地方,找到地方得手后均杵 老海:这杵门子硬啊,我去倒埝问问,汪天后给你详细位置 flag是也是黑话,但是要转md5

群里说是有名的沉船事件

se

播音号

压缩包密码是播音号

shuiyin

套一下

key = 'you_really_think_it_is_such_easy?'
msg = [0x3d,0x1f,0x0d,0x07,0x04,0x09,0x13,0x15,0x0f,0xf6,0x01,0x4e,0x07,0x29,0x4d,0x09,0x30,0x08,0xb5,0x13,0x11,0xe4,0x0c,0xd5,0xeb,0x4d,0xe3,0x1d,0xa0,0x03]
for i in range(len(msg)):
    print(chr(msg[i] ^ (i + ord(key[i]))),end='')

strange_code

在线网站识别

.-.—-… —.-..-.. .—–…. .-..—.-. -.-…—. -..—-… .-…—-. .–…—. ..—–… —.-…-. –..-..–. .-.-..—. .-.—..-. -.-..—.. .—.-.-.. -.–..-.-. .-.-..—. .-.—..-. …—.–. -..-.-.–. —.-…-. .-..–.–. -.-…—. —–….. ….—–.

ezzzzz_Forensics

puzzle嗦一下

vc挂载,密码和文件都要用上


file检查,E01镜像,改后缀名,挂载

恢复密钥只有一半

抽象画,npiet

八进制


转载请注明来源,欢迎对文章中的引用来源进行考证,欢迎指出任何有错误或不够清晰的表达.