Jane Streetのリバースエンジニアリングチャレンジを解く：1ヶ月の悪戦苦闘の記録
Solving the Jane Street Reverse Engineering Challenge
Jane Streetが定期的に出題するリバースエンジニアリングチャレンジに、著者が1ヶ月間没頭した体験を詳細に綴る。ASICチップの設計データ（GDSファイル）から回路を解析し、その動作を解明するという難問に、独自のツール開発や既存ツールの活用、手作業での配線追跡など、試行錯誤を重ねながら挑む。最終的にはウォームアップ問題を解き、本問題にも挑戦するが、その過程で直面した技術的課題と、ユーモアを交えた苦労話が展開される。
私はいつも物事を難しい方法でやるんだ。
HNでの議論
75- mdritch
z3が大好きです。昨年のJane Streetのパズルで初めて使いましたが、それはニューラルネットワークに偽装されたハッシュアルゴリズムに関するものでした。仕事ではMCMCをよく使っていて、z3によるMCMCモデルの形式検証について少し調査したこともありますが、まだ本格的なものはありません。この記事のおかげで、またその調査を再開したい気持ちになりました。
- josu
この問題をchatGPT 5.6 Sol Proに与えてみました。結果はこれです：
> 12分36秒で動作
> 解決しました
- ctippett
> 結局「z3」というツールを使うことになった。なんだか魔法みたいだ？ 解が見つかるたびに喜びが湧き上がる。
これにはとても共感します。初めてオペレーションズ・リサーチの講義に行った後にも同じような感覚を覚えました。一見理解不能なほど複雑な問題を、単純な制約の集まりとして定式化して解を得るというのは、まさに魔法のようでした。
- piker
> さて、次に何をすればいいかよくわからない
手伝いましょう：Jane Streetが毎年あなたに支払う何百万ドルものお金を、どう使うかを考えることです。例えば、プライベート航空は高いと聞きますよ。:)
- xvilka
実際のチップ（画像の品質が良ければ）でこのようなタスクを支援するために、Degate[1][2]というオープンソースソフトウェアがあります。