BLOCKCHAIN TRACK
ブロックチェーン・分散台帳
ハッシュチェーン・PoW/PoS 合意・マークル木・スマートコントラクト・zk 証明… 分散台帳の仕組みを、まず TL;DR でつかみ、そこから原理まで。
Concept Map
原理・深掘り
分散台帳の仕組みを、まず TL;DR で要点をつかみ、そこから原理まで。
BFTコンセンサス
ブロックチェーンで確定したブロックが二度と覆らない仕組みは、BFT合意の定足数設計にあります。3f+1とビザンチン耐性、PBFTとTendermintの投票、PoWとの差を原理で押さえられます。
P2Pとゴシップネットワーク
ブロックチェーンが単一障害点なしに世界へ伝わる仕組みが腑に落ちます。ピア発見・オーバレイ構成からゴシップ伝播、伝播遅延がフォークを生む数理までを原理で解説。
UTXOモデルとアカウントモデル
ビットコインの残高はどこにも記録されていない。UTXOとアカウントという2つの状態表現を原理から対比し、並列実行・プライバシー・検証コストの差が設計思想にどう表れるかが腑に落ちる。
コンセンサス（PoW・PoS）
中央管理者なしで台帳が一致する理由をつかめる。ナカモト合意の確率的ファイナリティ、PoWとPoSのシビル耐性の違い、エネルギーとセキュリティの関係まで原理で腑に落ちる。
スマートコントラクトとEVM
なぜスマートコントラクトは全ノードで同じ結果を出せ、無限ループで台帳を止められないのか。EVMのスタックマシン・ガス計量・決定的な状態遷移を原理から辿り、堅牢なコントラクト設計の勘所まで腑に落ちます。
ゼロ知識証明（SNARK・STARK）
秘密を明かさず「正しく計算した」ことだけを証明できる。zk-SNARKとzk-STARKの原理を押さえれば、ブロックチェーンのプライバシー保護とロールアップによるスケーリングの仕組みが腑に落ちる。
トークンとインセンティブ設計
なぜチェーンはトークンで守られるのか。ガス・報酬・スラッシングが結びつく仕組みを追い、攻撃コストと経済的安全性を数量で見積もれるようになる。合意の安全性が暗号だけでなく損得で決まる理由が腑に落ちる。
ファイナリティとフォーク選択
取引が「もう覆らない」と言える根拠はどこにあるのか。最長鎖・最重鎖ルールとリオーグの数理から、確率的ファイナリティと確定的ファイナリティの本質的な違いまで、実務判断に落とし込めるよう原理で解説する。
ブロックチェーンのデータ構造
なぜ台帳は一度書いたら書き換えられないのか。ブロックを前ブロックハッシュで鎖状に連結し、内部をマークル木で束ねる仕組みを原理から追えば、改ざん検知が「後から気づく」ではなく「構造上ばれる」理由が腑に落ちる。
マークル木と包含証明
台帳全体を持たなくても「その取引は確かに入っている」と証明できるのがマークル木です。ハッシュを木状に畳んでルート一つに要約し、対数個のハッシュだけで包含を検証する仕組みを原理から解きます。
レイヤー2とロールアップ
手数料が高く遅いL1をどう速く安くするか。ロールアップは実行をオフチェーンへ逃がしL1を検証層に徹させる仕組みで、Optimistic と ZK の違いとデータ可用性の勘所まで筋道立てて理解できる。
署名・ウォレット・鍵管理
ブロックチェーンで資産を守れるかは鍵の扱いで決まる。ECDSA署名・アドレス導出・HDウォレット・シードフレーズの内部を原理から押さえ、なぜ「鍵を失う＝資産喪失」なのかが腑に落ちる。