コンセンサス

初心者ガイド第2部。何千台ものコンピューターの記録が食い違わないのは、互いの仕事を確かめ合い、ページを一枚ずつ前のページに鎖のようにつないでいるからだ。

初心者ガイド第5部。全員が自分でルールを確かめること、そして最も多くの労力がかかったチェーンが勝つこと。管理者のいない仕組みで不正が通らないのは、この2つの単純な規則のおかげだ。

Forensicxsが、ビットコインv0.1のソースコード31,794行を1行ずつたどる解説を公開した。全31ファイルを扱う。

プルーフ・オブ・ワークとプルーフ・オブ・ステークの違いを、時価総額・稼働実績・電力・攻撃コスト・分散度・速度・新規採用の7軸で日付つきの数字で判定し、DPoSとPoAの戦績も並べる。

タイムスタンプではなくブロック高を基準に判定するバージョンビット式のソフトフォーク有効化方式を規定し、タイムアウト前のロックインを保証するフラグも導入した。

2016年1月15日、Bitcoin Core v0.12は、ECDSAの署名の検証に使うライブラリーを、OpenSSLから、ウィーユとマクスウェルが作ったlibsecp256k1に代えた。

複数のソフトフォークをブロックのnVersionフィールドを使って並行して有効化できる、最初のバージョンビット式シグナリング方式を規定する。期間中央値の時刻としきい値、固定タイムアウトを用いる。

ロックタイムの判定基準をブロックの中央値時刻経過（MTP）に変更するソフトフォーク。マイナーがブロック時刻を偽る動機を排除する。

トランザクションのシーケンス番号を、コンセンサスで強制される相対ロックタイムとして再定義する仕様。出力の承認後、一定のブロック数または時間が経つまで入力を使用不能にする。

ビットコインスクリプトのECDSA署名を厳密なDER符号化に制限するソフトフォーク仕様。OpenSSLへの暗黙の依存を解消し、トランザクション展性も抑制する。

OP_CHECKLOCKTIMEVERIFYを定義するソフトフォーク仕様。指定したブロック高または時刻に達するまでトランザクション出力を使用不能にし、エスクローや時間制約付き契約を可能にする。

2013年3月の分岐をギャビン・アンドレセンが検証した文書。0.8が受け入れ0.8より前の一部が退けたブロック、原因のBerkeley DBのロック数、その後の対策を記す。

2013年3月11日、一つの大きなブロックをきっかけにチェーンが割れた。開発者は全版が受け入れる短いほうのチェーンを選び、二つのプールが版を戻して合流した。

コインベースのscriptSigにブロック高を埋め込み、直近1,000ブロックの95%が対応した時点でブロックv2を有効化し、一意性を強制する。

2011年11月21日のビットコインv0.5で、同梱のCrypto++のうちSHA-256の部分が外され、OpenSSLに置き換えられた。v0.1以来のウェイ・ダイのライブラリへの依存が消えた。

サトシがbitcoin.orgで公開した、プルーフ・オブ・ワークチェーンによって将軍たちを一つの計画に一致させる、ビザンチン将軍問題の説明。

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

ビットコインのノードが一本のチェーンに合意する仕組みを解説する。SHA-256dのプルーフ・オブ・ワーク、難易度の調整、ブロックの検証規則、フォークの解き方、確率による確定。

ビットコインがどんな脅威を想定しているかを、図を使って一通り解説する。プロトコルが信頼するもの、守る対象、攻撃ごとの対策、残っている危険。

ドナルドが難題を1982年の問題の名で呼び、サトシは「解決策だ」と言い切り、顔ぶれの決まった将軍の問題を、誰でも加われる場に描き直した。王のWi-Fiの答えは、bitcoin.orgのページになった。