Notes
zk-tokyo Advanced Cryptography Program 2026 を受講しながら書いている自習ノートです。各週 1 枚の HTML で、外部通信もビルドも要りません。 前提から書き、壊せるラボと検問クイズで定着させます。ソースはsusumutomita/advanced-cryptography-note。
Week 4 — 証明システムを 3 つの部品に分ける（予習ノート）
SumCheck（mod 11）・STARK のトレース → 商多項式 → FRI（mod 17）・PLONK のゲート表と大積（mod 101）を 1 行ずつ打って進む対話ドリル 3 本（41 行）と、講義スライド追従のカード 26 枚。嘘の証明者がすり抜ける確率を数える 3 つのラボつき。
ノートを開くWeek 3 — 楕円曲線と Schnorr（1 行打って、出た値を貼って、1 文読む）
宿題 schnorr-from-scratch を Python で 1 行ずつ打ちながら進む対話ドリル 4 本（宿題の 7 問・題意からコードへ・曲線の足し算と離散対数・制約 → 多項式 → 1 点で確かめる）。講義スライド 65 枚と同じ順番のカード列、用語集、simulator と nonce 再利用のラボ、検問クイズ。
ノートを開くWeek 2 — 秘密を分けて、集めずに計算する（MPC）
1 行打って、出た値を貼る対話ドリル 2 本（share と線形演算 / Beaver と GMW、計 20 行）から入る。講義スライド 55 枚と同じ順番のカード列、宿題 8 関数、mod 11・23・1 bit の演習 15 問。GMW を 1 ステップずつ回せるラボ、開示検問クイズ。
ノートを開くWeek 1 — 算術回路の作り方と、壊し方
1 行打って、出た値を貼る対話ドリル 2 本（「= 0 の式」で条件を書く / 1 本抜くと通る値が 2 通りから 8 通りに増える、計 19 行）から入る。講義スライドと課題 README の順番のカード列、宿題 build / attack、演習 6 問、回路を壊せる対話ラボと検問クイズ。
ノートを開くWeek 0（土台編）— 有限体と楕円曲線
1 行打って、出た値を貼る対話ドリル 2 本（余りの世界 / 曲線の点と離散対数、計 25 行）から入る。mod・群環体・逆元・位数・楕円曲線・離散対数をカード 1 枚 = 主張 1 つで、数は mod 7・11・13 だけ。演習 13 問、零因子の電卓と曲線の全点を巡回させるラボ。
ノートを開く