トランザクション設計

ビットコインv0.1のソースから、トランザクション・ブロック・署名ハッシュのバイト境界と、ネットワーク・ディスクで同じ直列化機構を再利用する経路を示す。

ビットコインのブロック構造、マークルツリーによるトランザクションのヘッダーへのコミット、最大作業量チェーン選択規則によるフォーク解決の仕組み。

ビットコインの2,100万枚上限が幾何級数の半減から導かれる仕組み、ブロック報酬が新規発行分から手数料へ移行する過程、インセンティブモデルが正直なマイニングを維持する構造を解説する。

ビットコインのノードが単一のチェーンに合意する仕組み: SHA-256d PoW、難易度調整、ブロック検証規則、フォーク解決、確率的ファイナリティ。

ビットコインの基盤チェーンの上層と周辺に成長したエコシステムの設計: Lightning決済チャネル、連合型サイドチェーン、L1エンベロープ拡張、マイニングプール構成。

すべてのサブシステムを横断するアーキテクチャー比較: サトシのv0.1（2009年1月）と現行Bitcoin Core v27以降を分割図と領域別表で並置する。

ビットコインが楕円曲線鍵、電子署名、ハッシュ関数、決定性導出をどのように用いて、信頼できる第三者なしに所有権を保護するかを解説する。

ビットコインのノードが互いを発見し、トランザクションとブロックを交換し、P2Pゴシップ層でネットワーク攻撃に抵抗する仕組み。

ビットコインの脅威モデルを端から端まで図解: プロトコルが信頼するもの、防御する対象、各攻撃への対策、残存するリスク。

Bitcoin Coreがブロックを永続化し、UTXOセットを維持し、チェーン状態をインデックス化し、メモリープールを管理し、履歴データを剪定し、assumeUTXOで起動する仕組みを解説する。

Bitcoin Coreが鍵を管理し、トランザクションを構築し、コインを選択し、手数料を推定し、RPC・REST・ZMQインターフェースで機能を外部に公開する仕組みを解説する。

2010-08-15オーバーフロー事件の構造分析 — ソフトフォーク救出機構、5時間の対応時間枠、トランザクション形状フォレンジック、中央集権パラドックス。

ピーター・トッドがBIP 65（OP_CHECKLOCKTIMEVERIFY）を提案。出力を将来の指定時点まで使用不能とする命令を導入し、エスクローやペイメントチャネルを実現。

BIP 125はオプトインReplace-by-Fee（RBF）を正式化。サトシの2010年12月BitcoinTalk提案を起源とし、そのスレッドにトッドの2件目の投稿がある。

整数オーバーフローバグ（CVE-2010-5139）の悪用でブロック74638に1,844億BTCが生成された。修正版は発見から5時間40分後、正常チェーンの逆転は不正なブロックから約15時間後。

Forensicxsがビットコインv0.1の31,794行を行単位でウォークスルー。全31ファイルを網羅。