ブロックチェーン
ブロックチェーン・分散台帳
ハッシュチェーン・PoW/PoS 合意・マークル木・スマートコントラクト・zk 証明… 分散台帳の仕組みを、まず TL;DR でつかみ、そこから原理まで。
解説記事
原理・深掘り
分散台帳の仕組みを、まず TL;DR で要点をつかみ、そこから原理まで。
BFTコンセンサス
ブロックチェーンで確定したブロックが二度と覆らない仕組みは、BFT合意の定足数設計にあります。3f+1とビザンチン耐性、PBFTとTendermintの投票、PoWとの差を原理で押さえられます。
DAOとオンチェーンガバナンス
誰が権限を握るかをコードで定めるのがDAO。トークン投票・タイムロック・マルチシグが連なる仕組みを原理から追い、投票率や買収リスクを数量で見積もり、Snapshot併用の設計判断まで自分で下せるようになる。
HTLCとアトミックスワップ
仲介所を通さず別々のチェーンのコインを交換しても、片方だけ持ち逃げされない。HTLCのハッシュ開示とタイムロックが「全部成立か全部返金か」をどう保証するかを原理から押さえられる。
MEVとフロントランニング
自分の取引がなぜ割り込まれ損をするのか、その正体をつかめる。ブロック生成者がトランザクション順序を握ることから生じるMEVを原理で追い、サンドイッチ攻撃からPBSによる緩和までを筋道立てて理解できる。
P2Pとゴシップネットワーク
ブロックチェーンが単一障害点なしに世界へ伝わる仕組みが腑に落ちます。ピア発見・オーバレイ構成からゴシップ伝播、伝播遅延がフォークを生む数理までを原理で解説。
UTXOモデルとアカウントモデル
ビットコインの残高はどこにも記録されていない。UTXOとアカウントという2つの状態表現を原理から対比し、並列実行・プライバシー・検証コストの差が設計思想にどう表れるかが腑に落ちる。
アカウント抽象化（ERC-4337）
秘密鍵1本を失えば全資産を失う従来ウォレットの弱点を、アカウント抽象化はどう克服するか。ソーシャルリカバリやガス代行、任意の署名方式を、コンセンサス層を変えずに実現する仕組みが腑に落ちる。
ガス・手数料メカニズム（EIP-1559）
手数料の高騰と過払いを減らす仕組みを原理から理解できる。ベースフィーのバーンと需給調整、ブロックの弾力性、チップの役割を辿り、手数料を根拠を持って予測・設定できるようになる。
クロスチェーンブリッジ
資産は元のチェーンから動かせない。ブリッジは「片側でロック、他側でミント」で価値だけを移す仕組みで、外部・楽観的・zkの検証方式と、巨額流出を招いた急所まで筋道立てて理解できる。
コンセンサス（PoW・PoS）
中央管理者なしで台帳が一致する理由をつかめる。ナカモト合意の確率的ファイナリティ、PoWとPoSのシビル耐性の違い、エネルギーとセキュリティの関係まで原理で腑に落ちる。
ステート・決済チャネル
少額決済のたびに手数料と確定待ちを払うのは非効率。二者間で署名済み状態を交換し、最初と最後だけをオンチェーン化するチャネルの原理と、資金効率・紛争解決の勘所を筋道立てて理解できる。
スマートコントラクトとEVM
なぜスマートコントラクトは全ノードで同じ結果を出せ、無限ループで台帳を止められないのか。EVMのスタックマシン・ガス計量・決定的な状態遷移を原理から辿り、堅牢なコントラクト設計の勘所まで腑に落ちます。
ゼロ知識証明（SNARK・STARK）
秘密を明かさず「正しく計算した」ことだけを証明できる。zk-SNARKとzk-STARKの原理を押さえれば、ブロックチェーンのプライバシー保護とロールアップによるスケーリングの仕組みが腑に落ちる。
データ可用性サンプリング（danksharding）
全データを持たない軽いノードでも、数十個のかけらを無作為に取り寄せるだけでデータ公開を高信頼に確かめられる。消失訂正符号とdankshardingがロールアップの手数料を桁で下げる原理まで腑に落ちる。
トークンとインセンティブ設計
なぜチェーンはトークンで守られるのか。ガス・報酬・スラッシングが結びつく仕組みを追い、攻撃コストと経済的安全性を数量で見積もれるようになる。合意の安全性が暗号だけでなく損得で決まる理由が腑に落ちる。
トークン規格（ERC-20・721・1155）
なぜ無数のトークンをウォレットや取引所が共通に扱えるのか。ERC-20・721・1155のインタフェースと相互運用、そして事故の温床であるapproveパターンの安全性まで、分散台帳上の状態設計として原理から腑に落ちる。
ファイナリティとフォーク選択
取引が「もう覆らない」と言える根拠はどこにあるのか。最長鎖・最重鎖ルールとリオーグの数理から、確率的ファイナリティと確定的ファイナリティの本質的な違いまで、実務判断に落とし込めるよう原理で解説する。
ブロックチェーンオラクルと価格フィード
なぜスマートコントラクトは為替や価格を自分で読めないのか。オラクル問題を分散オラクルネットワークと価格集約でどう解くか、操作耐性の作り方と攻撃の型まで原理から腑に落ちる。
ブロックチェーンのシャーディング
全ノードが全取引を処理する冗長性がスループットの壁になる。シャーディングは状態と処理を分割して並列化する設計で、シャード間通信の非同期性と、分割で薄まるセキュリティをどう補うかまで原理で腑に落ちる。
ブロックチェーンのデータ構造
なぜ台帳は一度書いたら書き換えられないのか。ブロックを前ブロックハッシュで鎖状に連結し、内部をマークル木で束ねる仕組みを原理から追えば、改ざん検知が「後から気づく」ではなく「構造上ばれる」理由が腑に落ちる。
マークル木と包含証明
台帳全体を持たなくても「その取引は確かに入っている」と証明できるのがマークル木です。ハッシュを木状に畳んでルート一つに要約し、対数個のハッシュだけで包含を検証する仕組みを原理から解きます。
メモリプールとトランザクション伝播
送った送金が「まだ承認されていない」間、どこで何が起きているのかが腑に落ちる。mempoolの待機、ゴシップ伝播、手数料オークション、RBFによる置き換え、リオーグ時の戻しまで原理で解説する。
レイヤー2とロールアップ
手数料が高く遅いL1をどう速く安くするか。ロールアップは実行をオフチェーンへ逃がしL1を検証層に徹させる仕組みで、Optimistic と ZK の違いとデータ可用性の勘所まで筋道立てて理解できる。
軽量クライアントプロトコル
スマホでもチェーンを自分で検証したい、を叶えるのが軽量クライアント。ヘッダ同期・マークル証明・同期委員会の仕組みと、フルノードに勝てない信頼最小化の限界まで原理で押さえる。
検証可能ランダム関数（VRF）
PoSのリーダー選出やくじ引きを、誰にも操作されず後から誰でも監査できるようにする鍵がVRFです。予測不能な乱数と、その正しさを証明できる仕組みを原理から押さえられます。
署名・ウォレット・鍵管理
ブロックチェーンで資産を守れるかは鍵の扱いで決まる。ECDSA署名・アドレス導出・HDウォレット・シードフレーズの内部を原理から押さえ、なぜ「鍵を失う＝資産喪失」なのかが腑に落ちる。