Notes
zk-tokyo Advanced Cryptography Program 2026 を受講しながら書いている自習ノートです。各週 1 枚の HTML で、外部通信もビルドも要りません。 前提から書き、壊せるラボと検問クイズで定着させます。ソースはsusumutomita/advanced-cryptography-note。
Week 4
Week 4 — 証明システムを 3 つの部品に分ける
証明とゼロ知識性。NP・IP・PCP・IOP から、GKR（SumCheck）・STARK（AIR + FRI）・PLONK（KZG + 大積）を算術化・コミットメント・証明システムの 3 部品で並べる。嘘の証明者がすり抜ける確率を数える 3 つのラボつき。
ノートを開くWeek 3
Week 3 — 楕円曲線と Schnorr（講義スライド 65 枚と同じ順番のカード列）
宿題 schnorr-from-scratch の 10 関数をスライド番号つきで読む。講義が飛ばした「制約 → 多項式 → 短い証明」と「ゼロ知識証明を自分で組み立てる手順」、用語集、simulator と nonce 再利用のラボ、検問クイズ。
ノートを開くWeek 2
Week 2 — 秘密を分けて、集めずに計算する（MPC）
講義スライド 55 枚と同じ順番のカード列。宿題 8 関数をスライド番号つきで、Beaver・OT・GMW を mod 11・23・1 bit の演習 15 問で。GMW を 1 ステップずつ回せるラボ、開示検問クイズ。
ノートを開くWeek 1
Week 1 — 算術回路の作り方と、壊し方
講義スライドと課題 README の順番のカード列。宿題 build / attack を因数分解から読む、演習 6 問。制約を 1 本外して回路を壊せる対話ラボと検問クイズ。
ノートを開くWeek 0
Week 0（土台編）— 有限体と楕円曲線
mod・群環体・逆元・位数・楕円曲線・離散対数をカード 1 枚 = 主張 1 つで。数は mod 7・11・13 だけ、演習 13 問。零因子の電卓と、曲線の全点を巡回させるラボ。
ノートを開く