From 347dc88c13f839d864607fc1093bb09a4cd903b0 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Wed, 8 Jan 2025 23:33:40 +0900 Subject: feat(blog/content): new post /posts/2025-01-08/phperkaigi-2023-tokens-q1/ --- .../2025-01-08/phperkaigi-2023-tokens-q1.ndoc | 391 +++++++++++++++++++++ .../2025-01-08/phperkaigi-2023-tokens-q1/Q1.png | Bin 0 -> 68173 bytes 2 files changed, 391 insertions(+) create mode 100644 vhosts/blog/content/posts/2025-01-08/phperkaigi-2023-tokens-q1.ndoc create mode 100644 vhosts/blog/content/posts/2025-01-08/phperkaigi-2023-tokens-q1/Q1.png (limited to 'vhosts/blog/content/posts') diff --git a/vhosts/blog/content/posts/2025-01-08/phperkaigi-2023-tokens-q1.ndoc b/vhosts/blog/content/posts/2025-01-08/phperkaigi-2023-tokens-q1.ndoc new file mode 100644 index 00000000..82747627 --- /dev/null +++ b/vhosts/blog/content/posts/2025-01-08/phperkaigi-2023-tokens-q1.ndoc @@ -0,0 +1,391 @@ +--- +[article] +uuid = "ce8f20e8-c79f-48f8-982d-53edd4d20483" +title = "PHPerKaigi 2023 トークン問題解説 (1/5)" +description = "PHPerKaigi 2023 でデジタルサーカス株式会社から出題した問題を解説する。全5問中の第1問。" +tags = [ + "conference", + "php", + "phperkaigi", + "piet", +] + +[[article.revisions]] +date = "2025-01-08" +remark = "公開" +--- +
+
+ はじめに + + これは PHPerKaigi 2023 の記事です。今は 2025 年ですが、PHPerKaigi 2023 の記事です。 + +

+ 2023-03-23 から 2023-03-25 にかけて開催された PHPerKaigi 2023 では、弊社デジタルサーカス株式会社からトークン問題を出題した。 + 「トークン問題」とは、PHPerKaigi 2023 でおこなわれた PHPer チャレンジと呼ばれる企画で使われたもので、この記事で説明するような問題を解くと、「PHPer トークン」と呼ばれる「#」から始まる文字列を得ることができる。参加者がこのトークンを集めると、景品などが得られるという仕組みである。 +

+

+ PHPerKaigi 2023 の参加レポ でも書いたとおり、この年のトークン問題は「昨年の PHPerKaigi 2022 が終わった段階から作り始め、約半年かけて制作」された。PHPerKaigi 当日も PHPer チャレンジ解説セッション という形で解説の機会を頂いたのだが、せっかくなので記事の形でも残しておこうと思う。 +

+

+ この記事は、全5問ある中の第1問について解説する。他の問題については以下のリンクを参照のこと。 +

+
    +
  1. 第1問 (この記事)
    2. +
  2. 第2問 (TODO: 執筆中)
    3. +
  3. 第3問 (TODO: 執筆中)
    4. +
  4. 第4問 (TODO: 執筆中)
    5. +
  5. 第5問 (TODO: 執筆中)
    6. +
+
+
+ Q1: An Art of Computer Programming +

+ 第1問『An Art of Computer Programming』はこちら。 +

+ 全体がQRコードになっており、中央には小さな文字で「Password is one of the PHPer tokens.」と書かれている +
+
+ 解き方 +

+ まずはトークンを得る方法を解説なしに説明する。次のように実行する。 +

+ + /dev/null + ]]> + +

+ 無事に実行できていれば「#ModernPHPisStaticallyTypedLanguage」というトークンが得られる。 +

+
+
+ 解説 +
+ 画像として読む +

+ まずは素直に画像として見てみよう。 + 全体は QR コードになっている。適当な QR コードリーダで読み込むと、次のようなテキストが表示されるはずだ。 +

+ + /dev/null + ]]> + +

+ メッセージは、この画像の実行方法とこの問題でやるべきこと (パスワードの推測) を示している。 +

+

+ 次に QR コードの中央部に目を向けると、小さな文字で「Password is one of the PHPer tokens.」と書かれているのがわかる。 + 他の PHPer トークンの中から適切な1つを見つけだし、「パスワード」として渡すことで答えとなる PHPer トークンが得られるというわけだ。 +

+
+
+ パスワード +

+ 不正なパスワードを使って実行してみると、次のようなエラーメッセージが表示される。 +

+ + /dev/null + 401 Unauthorized + ]]> + +

+ すでに「解き方」の節で示したように、パスワードである PHPer トークンは「#iwillblog」で、これを与えると正解のトークンが得られる。 +

+

+ このパスワードの選択にはとある事情がある。 + 今回の問題の作問は前回の開催 (PHPerKaigi 2022) 直後からスタートしており、この時点では PHPerKaigi 2023 で登録される PHPer トークンにどのようなものがあるかはまったくわからない状態であった。 + 作問作業を早期に終わらせるには、次回開催でも確実に使われるであろう定番のトークンを予測して選ぶ必要があったのだ。 + かくして、私が知る限り毎回登場しているトークンである「#iwillblog」に白羽の矢が立てられた。 +

+

+ なお、解いてくださった方の中には、先頭の「#」を入力せずに何度も試してしまい答えが得られずじまいになった方もいらっしゃるようだった。 + 問題を置いていたリポジトリにヒントとしてパスワードのトークンが「i」で始まると書いていたのだが、これが意図せずミスリードになってしまった。 + これは私のミスである。 +

+
+
+ PNG ステガノグラフィ +

+ QR コードも言っているように、このファイルは PNG 画像であるにもかかわらず PHP で実行することができる。なぜこのようなことが可能なのか。 +

+

+ PNG 画像のフォーマットは、次のようになっている。 +

+
    +
  1. マジックナンバーなど
    2. +
  2. PNG ヘッダ (IHDR チャンク)
    3. +
  3. 実際の画像データ (IDAT チャンク)
    4. +
  4. PNG フッタ (IEND チャンク)
    5. +
+

+ PNG フッタの後ろにあるデータは、画像ビューアには解釈されず、画像の表示には影響を与えない。したがって、PNG フッタの後ろには任意のデータを埋め込むことができる。 +

+

+ さて、PHP には、PHP プログラムの始まりを示すための PHP タグ (<?php または <?) がある。 + CLI で実行する場合、PHP タグよりも前にあるデータは標準出力へそのまま出力される。 +

+

+ この2つの事実を使って、この画像ファイルは次のような構造になっていた。 +

+
    +
  1. マジックナンバーなど
    2. +
  2. PNG ヘッダ (IHDR チャンク)
    3. +
  3. 実際の画像データ (IDAT チャンク)
    4. +
  4. PNG フッタ (IEND チャンク)
    5. +
  5. PHP タグ (<?php)
    6. +
  6. 通常の PHP ソースコード
    7. +
+

+ strings コマンドを使うと、隠されたデータを浮き彫りにできる。 +

+ + + +

+ IHDR や IEND は PNG 画像の一部である。<?php からが実際のプログラムになっている。 + もちろんこれを PHP プログラムとして動かすと、PHP タグより前にある PNG 画像としてのデータはそのまま標準出力へと出力されてしまう。 + それを防ぐため、QR コードを読み込んだときの実行方法には +

+ + /dev/null + ]]> + +

+ 標準出力を捨てるよう >/dev/null と指定されている。 +

+

+ なお、このように PNG 画像などに本来のデータとは異なる別のデータを隠すことを「ステガノグラフィ」(Wikipedia「ステガノグラフィー」) と呼ぶ。 +

+
+
+ 実行される PHP プログラム +

+ 画像の正体がわかったところで、画像に隠されていた PHP プログラムについて見ていこう。先ほどは一部しか記載しなかったので、全体を載せる。 + なお、雑にゴルフしながら書いたので、空白こそ残しているものの可読性は非常に低いことと思う。 +

+ + 1e5) { + echo "infinite loop detected\n"; + break; + $c1 = $cs[$pc]; + $y = (6 + intdiv($c1-2, 3) - intdiv($c0-2, 3)) % 6; + $x = (3 + $c1%3 - $c0%3) % 3; + match (($c0 !== 1) * ($c1 !== 1) * ($y*3 + $x)) { + 1 => $m[] = $b, + 2 => array_pop($m), + 3 => $m[] = array_pop($m) + array_pop($m), + 4 => $m[] = (fn($x, $y) => $y - $x)(array_pop($m), array_pop($m)), + 5 => $m[] = array_pop($m) * array_pop($m), + 8 => $m[] = array_pop($m) === 0 ? 1 : 0, + 11 => $cc *= pow(-1, array_pop($m)), + 12 => $m[] = $m[count($m)-1], + 13 => $m = (fn($n, $d, $m, $l) => [ + ...array_slice($m, 0, $l-$d), + ...array_reverse([ + ...array_reverse(array_slice($m, $l-$d, $d-$n)), + ...array_reverse(array_slice($m, $l-$n)), + ]), + ])(array_pop($m), array_pop($m), $m, count($m)), + 15 => !empty($i) and $m[] = array_shift($i), + 16 => $o .= sprintf('%d', array_pop($m)), + 17 => $o .= sprintf('%c', array_pop($m)), + default => 'nop', + }; + $c0 = $c1; + for ($j = 0; $j < 8; $j++) { + $v = []; + if ($c1 === 1) { + $x = $pc % $w; + $y = intdiv($pc, $w); + $e = [($y+1)*$w-1, ($h-1)*$w+$x, $y*$w, $x][$dp]; + $z = [1, $w, -1, -$w][$dp]; + for ($ep = $pc; $ep !== $e; $ep += $z) + if ($cs[$ep] !== 1) break; + $ep -= $z; + $pc = $ep; + } else { + $q = [$pc]; + $ep = $pc; + while (!empty($q)) { + $qq = array_pop($q); + $v[$qq] = true; + foreach ([$qq+1, $qq+$w, $qq-1, $qq-$w] as $qp) { + if ($cs[$qp] !== $c1) continue; + if (isset($v[$qp])) continue; + $q[] = $qp; + $qx = $qp % $w; + $qy = intdiv($qp, $w); + $x = $ep % $w; + $y = intdiv($ep, $w); + if ( + ($dp === 0 && ($x < $qx || ($x === $qx && ($y<=>$qy) === $cc))) + || ($dp === 1 && ($y < $qy || ($y === $qy && ($qx<=>$x) === $cc))) + || ($dp === 2 && ($qx < $x || ($qx === $x && ($qy<=>$y) === $cc))) + || ($dp === 3 && ($qy < $y || ($qy === $y && ($x<=>$qx) === $cc))) + ) + $ep = $qp; + } + } + } + $np = $ep + [1, $w, -1, -$w][$dp]; + if ($cs[$np] !== 0) { + $b = count(array_keys($v)); + $pc = $np; + break; + } + if ($j === 7) break 2; + if ($j % 2 === 0) $cc = -$cc; + if ($j % 2 === 1) $dp = ($dp+1) % 4; + // The original Piet image is wrong: it outputs 403 error for invalid passwords. + // Failure of authentication should be notified by 401, not 403. + // I noticed that one month before PHPerKaigi, but I could not read or write (paint) + // Piet any longer at that time. + fwrite(STDERR, str_replace('403 Forbidden', '401 Unauthorized', $o)); + ]]> + +

+ これは一体なんなのか。ずばり、難解プログラミング言語の一つ Piet のインタプリタになっている。 + Piet はピエト・モンドリアン (『赤・青・黄のコンポジション』などで知られる抽象画家) の作品にインスピレーションを受けて作られた、画像をソースコードとするプログラミング言語である。 + インタプリタは画像の各ピクセルの上を進みながら、色等に応じて特定の処理をおこなっていく。 + ここでは詳しい言語仕様については解説しないので、Wikipedia の記事「Piet」 などを参照してほしい。 +

+

+ プログラムの冒頭にあるこの箇所 +

+ + + +

+ で __FILE__ つまりこの画像ファイルを読み込んでいる。 + 先ほど Piet は画像をソースコードにしていると説明した。 + そう、今回の問題の画像ファイル Q1.png は、PHP 製 Piet インタプリタであると同時に、Piet のソースコード画像でもあるのだ。 + QR コード中央のカラフルな部分が Piet の命令になっている。 +

+
+
+ Piet のソースコード +

+ さて、Piet でどのようなコードが書かれて (いや、描かれて) いるのかを解説したいところだが、今の私にはできそうにない。 + というのも、すでに述べたように Piet は「難解プログラミング言語」である。 + およそ人が描いたり読んだりするようには作られていない。性質としては、パズルに近い代物である。 +

+

+ というわけで、ここではあらましを説明するだけでご容赦いただきたい。 + それぞれの部分はおおよそ次のようなことをやっている (再検証・再読解はしていないので大嘘かもしれない)。 +

+
    +
  • 左上: 入力受け付け +
      +
    • 標準入力から1文字ずつ読み込み、入力がなくなるまでスタックに積む。多分。
      • +
    +
    • +
  • 上辺、右辺: パスワードの検証 +
      +
    • 入力がパスワードと一致するか (= #iwillblog かどうか) を調べる。多分。
      • +
    +
    • +
  • 下辺、左辺、上辺の3列目、右辺の3列目、下辺の2列目: トークンの出力 +
      +
    • パスワードと一致していればここに飛んでくる。正解のトークンを出力する。多分。
      • +
    +
    • +
  • 右辺の2列目、上辺の2列目: 不正解のメッセージ出力 +
      +
    • パスワードと一致していなければここに飛んでくる。不正解のときのメッセージを出力する。多分。
      • +
    +
    • +
+

+ ところで、先ほど掲載した Piet のインタプリタのソースコード末尾には次のような箇所がある。 +

+ + + +

+ コメントにも書かれているが、この Piet のソースコード画像には誤りがあった。 + 本来 HTTP のステータスコードを真似るのなら、認証の失敗には 401 を返さなければならない。 + しかし、Piet のソースは 403 を返すように書いてしまっていた。 + そのことに私が気付いたのは PHPerKaigi 2023 が開催されるひと月前で、その時点で私はこの Piet のソースコードを (ちょうどこの記事でそうなっているのと同じように) 読解できなくなっていた。 + さらに悪いことに、正しいメッセージ「401 Unauthorized」は元の「403 Forbidden」よりも3文字長い。 + 3文字出力が長くなるということは、それだけ Piet で塗るべきピクセルが増えることを意味する。 + もはや3文字追加で出力するだけの余白はこの画像に残されていなかった (と思う。腕ききの Piet プログラマならできるかもしれないので挑戦してみてほしい)。 +

+

+ これを解決するために私が選んだのは、インタプリタを改造し、本来のメッセージとは異なるメッセージを無理やり出力させて帳尻を合わせることだった。 + そういうわけでこの Piet インタプリタは完全な Piet インタプリタではなく、「403 Forbidden」というテキストを絶対に出力できない。 +

+
+
+ その他小ネタ +

+ ここまでで問題の核心部分は説明し終えたので、ここからは残った小ネタを紹介しておく。 +

+

+ この問題のタイトル『An Art of Computer Programming』は、ドナルド・クヌースの『The Art of Computer Programming』をパロディしたものである。 +

+

+ この問題で得られるトークン「#ModernPHPisStaticallyTypedLanguage」は特に元ネタがあるわけではない。当然のような顔で嘘を主張したかったのでこうなった。 +

+
+
+
+ おわりに +

+ この問題の自己評価はこちら。 +

+
    +
  • 難しさ: 2位 / 全5問
    • +
  • お気に入り度: 4位 / 全5問
    • +
  • 鮮やかさ: 1位 / 全5問
    • +
+
+
diff --git a/vhosts/blog/content/posts/2025-01-08/phperkaigi-2023-tokens-q1/Q1.png b/vhosts/blog/content/posts/2025-01-08/phperkaigi-2023-tokens-q1/Q1.png new file mode 100644 index 00000000..7f099d74 Binary files /dev/null and b/vhosts/blog/content/posts/2025-01-08/phperkaigi-2023-tokens-q1/Q1.png differ -- cgit v1.2.3-70-g09d2