ファイナリティ・ガジェット

ファイナリティ・ガジェットとは？

ファイナリティ・ガジェットとは、ブロックまたはチェックポイントをいつファイナライズ済みとして扱うべきかを決定する、ブロックチェーンのコンセンサス構成要素です。

ファイナライズされたブロックは、プロトコルの通常のセキュリティ前提の下で、ブロックチェーンの恒久的な履歴の一部とみなされます。

ファイナライズ済みブロックを覆すには、深刻なコンセンサス障害、大量の不正な投票権、重大な経済的ペナルティ、または例外的な社会的介入が必要となります。

「ガジェット」という言葉は、ブロック生成や現行チェーンの選択を担う別のシステムに、ファイナリティの仕組みを追加したり組み合わせたりできることを示します。

ファイナリティ・ガジェットが、次のブロックを生成する参加者を必ず決めるわけではありません。

代わりに、バリデーターの投票を集め、選択されたブロックを、提案されたばかりのブロックから正当化済みおよびファイナライズ済みのチェックポイントへと移行させます。

最もよく知られる例は、Casper the Friendly Finality Gadget（一般にCasper FFGと呼ばれます）です。

Casper FFGは、EthereumのProof of Stakeコンセンサスメカニズムにおけるファイナリティの構成要素です。

EthereumはCasper FFGとLMD-GHOSTフォーク選択ルールを組み合わせ、Gasperと呼ばれる完全なコンセンサス設計を採用しています。

Ethereumの公式Gasperドキュメントでは、Casperがチェックポイントをファイナライズし、LMD-GHOSTがノードによる正しいチェーンヘッドの選択を支援すると説明されています。

ブロックチェーンのファイナリティとは？

ブロックチェーンのファイナリティとは、承認済みトランザクションが後のチェーン再編成によって削除または変更されないという確信の度合いです。

トランザクションはまず提案ブロックに含まれます。

そのブロックの後にブロックが追加され、バリデーターの投票を受ける場合があります。

支持が増えるほど、そのトランザクションを覆す確率または経済的実現可能性は低下します。

ファイナライズ済みトランザクションは、プロトコル上の最も強い標準的な承認水準に達しています。

ファイナリティは、すべてのコンピューター、ウェブサイト、ウォレット、アプリケーションがすでにトランザクションを表示しているという意味ではありません。

そのトランザクションを含むブロックを、ブロックチェーンのコンセンサスシステムが確定させたことを意味します。

Ethereumの用語集では、ファイナリティを、ステークされた大量のETHを失わなければ一連のトランザクションを変更できないという保証として定義しています。

ブロックチェーンにファイナリティが必要な理由

ブロックチェーンでは、多数の独立したコンピューターが共有の取引履歴を維持します。

ネットワークの遅延によって、異なるノードがほぼ同時に異なる有効なブロックを受信する場合があります。

この状況では、フォークと呼ばれる競合する分岐が一時的に生じることがあります。

フォーク選択ルールは、ノードがどの分岐を追うべきか判断するのに役立ちます。

ただし、その時点でフォーク選択ルールが選んだ分岐も、後続の投票やブロックが別の分岐を支持すれば置き換わる可能性があります。

ファイナリティ・ガジェットは、古いブロックへのより強い確定をもたらします。

チェックポイントがファイナライズされると、誠実なノードはそれと矛盾するチェックポイントに置き換えるべきではありません。

この確定によって、暗号資産ユーザー、アプリケーション、カストディアン、ブリッジ、スマートコントラクトは、トランザクションが十分に決済されたと判断しやすくなります。

「ガジェット」と呼ばれる理由

ファイナリティ・ガジェットは、より大きなコンセンサスメカニズム内で独立したモジュールとして動作できるため、ガジェットと呼ばれます。

基盤となるシステムは、ブロックが完全なファイナリティに達する前でも、引き続き高速でブロックを提案できます。

その後、ガジェットがバリデーターの投票ルールを選択されたブロックやチェックポイントに適用します。

このモジュール型の構造では、関連はするものの異なる2つの問いを分けられます。

1つ目は、現在のチェーンヘッドとしてどのブロックを扱うべきかです。

2つ目は、どの過去のブロックがファイナライズ済みとして扱えるほど安全かです。

機能を分けることで、ブロックチェーンは頻繁にブロックを生成しながら、より強い合意ルールを適用する頻度を抑えられる場合があります。

ブロック生成とブロックのファイナリティ

ブロック生成とは、新しいブロックを作成して配信する参加者を選ぶプロセスです。

ブロックのファイナリティとは、そのブロックが正規チェーンに残るという強い合意に達するプロセスです。

ブロックチェーンは、ブロック生成とファイナリティに別々のプロトコルを使うことがあります。

Ethereumでは、Proof of Stakeのバリデーターがスロットごとにブロックを提案します。

フォーク選択ルールは、バリデーターのメッセージを使ってチェーンヘッドを特定します。

Casper FFGは別途、チェックポイントへの投票を使ってチェーンの一部を正当化し、ファイナライズします。

別のブロックチェーンでは、異なるブロック生成プロトコルを使いながら独自のファイナリティ・ガジェットを組み合わせる場合があります。

ファイナリティ・ガジェットの仕組み

ファイナリティ・ガジェットは一般に、意思決定に経済的価値または他の認証手段を紐付けたバリデーターから投票を集めます。

バリデーターはブロックチェーンを確認し、過去のチェックポイントと新しいチェックポイントの関係に投票します。

過去のチェックポイントは一般にソースと呼ばれます。

新しいチェックポイントはターゲットと呼ばれます。

十分な投票権がその関係を支持すると、プロトコルはスーパーマジョリティリンクを認識します。

ターゲットチェックポイントが正当化される場合があります。

必要な投票関係が後続のチェックポイントまで続くと、過去の正当化済みチェックポイントがファイナライズされることがあります。

矛盾する投票に署名したバリデーターは、スラッシングを受けたり、バリデーターセットから除外されたりする場合があります。

こうしたペナルティにより、矛盾するファイナリティを成立させる経済的コストが高まります。

チェックポイントとは？

チェックポイントとは、ファイナリティ投票に利用するため、一定の境界で選択されるブロックです。

ファイナリティ・ガジェットでは、すべての個別ブロックに対してバリデーターが完全なファイナリティ投票を行う必要があるとは限りません。

代わりに、複数のブロックを代表するチェックポイントに投票することができます。

Ethereumでは、時間をスロットとエポックに分けています。

現在、1スロットは12秒です。

1エポックは32スロットで構成され、約6.4分です。

エポックの開始時のブロックが、そのエポックのチェックポイントとなります。

エポックの最初のスロットにブロックが含まれない場合、プロトコルのルールに従い、直近の過去のブロックがチェックポイントの境界を代表することがあります。

Ethereumの公式チェックポイント定義では、チェックポイントへの投票により、エポック全体のバリデーター活動をまとめ、スーパーマジョリティによる判断を行えると説明されています。

アテステーションとは？

アテステーションとは、ブロックチェーンの状態とチェーン履歴に関するバリデーターの投票です。

Ethereumのアテステーションには、フォーク選択プロセスとファイナリティプロセスの両方に利用される情報が含まれます。

バリデーターは、チェーンヘッドとして適切と考えるブロックに投票します。

また、Casper FFGで使われるソースチェックポイントとターゲットチェックポイントにも投票します。

バリデーターには、アテステーションを公開する特定の時間が割り当てられます。

正確で期限内のアテステーションは、ネットワークによるチェーン選択とチェックポイントのファイナライズに役立ちます。

アテステーションの欠落、遅延、矛盾は、バリデーターの報酬を減らしたり、ペナルティを生じさせたりする場合があります。

スーパーマジョリティリンクとは？

関連するアクティブステークの少なくとも3分の2を代表するバリデーター投票が、2つのチェックポイント間のつながりを支持すると、スーパーマジョリティリンクが成立します。

この投票は、ターゲットチェックポイントがソースチェックポイントの正当な子孫であることを示します。

3分の2というしきい値が重要なのは、この規模の矛盾する2つの投票グループが、総ステークの少なくとも3分の1で重なるためです。

矛盾するチェックポイントが両方ともファイナライズされた場合、少なくとも3分の1のステークが投票ルールに違反したことになります。

重複するステークは特定され、処罰される可能性があります。

したがって、このしきい値はコンセンサスの安全性と、測定可能な経済的結果を結び付けます。

正当化済みチェックポイントとは？

正当化済みチェックポイントとは、過去の正当化済みチェックポイントから必要なスーパーマジョリティの支持を受けたチェックポイントです。

正当化は、強い合意を示しますが、ファイナリティには達していません。

正当化済みチェックポイントが削除される可能性は低いものの、プロトコル上の最も強いファイナリティステータスにはまだ達していません。

Ethereumの簡略化した処理では、バリデーターがまず3分の2のスーパーマジョリティリンクによって新しいチェックポイントを正当化します。

その後、さらに新しいチェックポイントへの投票が続くと、過去の正当化済みチェックポイントがファイナライズされます。

ファイナライズ済みチェックポイントとは？

ファイナライズ済みチェックポイントとは、ファイナリティルールで追加の投票関係を受けた正当化済みチェックポイントです。

Ethereumで一般的な例では、チェックポイントAはすでに正当化されています。

次に、バリデーターがチェックポイントAから次のチェックポイントBへのスーパーマジョリティリンクを作成します。

チェックポイントBが正当化され、チェックポイントAがファイナライズされます。

ファイナライズ済みチェックポイントA以前のすべてのブロックが、ファイナライズ済みチェーン履歴の一部となります。

そのブロックに含まれるトランザクションは、Ethereumのプロトコルレベルのファイナリティに達しています。

Casper FFGとは？

Casper FFGは、Casper the Friendly Finality Gadgetの略称です。

ブロックチェーンのブロック生成やフォーク選択プロセスを補完する、またはその上に追加することを目的としたProof of Stakeのファイナリティプロトコルです。

初期のCasper FFGの研究論文は、既存のブロックチェーンにブロックの巻き戻しへのより強い保護を追加できるProof of Stakeファイナリティシステムを説明しています。

この設計では、バリデーターの預け入れ、スーパーマジョリティ投票、チェックポイントのファイナライズ、スラッシング条件を組み合わせます。

Ethereumは現在のProof of Stakeコンセンサスシステム内で、Casper FFGを改変した形で採用しています。

Casper FFGをEthereumのコンセンサスメカニズム全体と混同してはいけません。

Casper FFGはファイナリティルールを担い、他の構成要素がブロック提案、トランザクション実行、ネットワーク、フォーク選択などを担います。

Gasperとは？

GasperはEthereumのProof of Stakeコンセンサス設計の名称です。

名称はGHOSTとCasperを組み合わせたものです。

LMD-GHOSTはノードによる現在のブロックチェーンのヘッド選択を支援します。

Casper FFGはチェックポイントを正当化し、ファイナライズします。

フォーク選択の構成要素は、新しいブロックやバリデーターのメッセージに迅速に対応できます。

ファイナリティの構成要素は、より時間をかける一方で、ブロックチェーン履歴への経済的に強い確定をもたらします。

この組み合わせにより、Ethereumは各スロットでブロックを生成しながら、より長い時間をかけて完全なファイナリティに到達できます。

LMD-GHOSTとは？

LMD-GHOSTは「Latest Message Driven Greedy Heaviest Observed SubTree」の略称です。

Ethereumのコンセンサスクライアントが用いるフォーク選択ルールです。

このルールは、各バリデーターから直近に届いた有効なメッセージを考慮します。

ブロックツリーの中で、バリデーターの支持重量が最も大きい分岐をたどります。

新しいブロックやアテステーションが届くと変化する可能性のある、現在のチェーンヘッドをLMD-GHOSTが特定します。

Casper FFGは、通常の状況でフォーク選択プロセスが越えるべきではない境界を定めます。

この2つの仕組みは、関連するものの別々のコンセンサス問題を解決します。

Ethereumのファイナリティにかかる時間

通常のネットワーク状況では、Ethereumでブロックがファイナライズされるまで現在約15分かかります。

1エポックは12秒のスロットを32個含むため、約6.4分です。

ファイナリティには通常、連続するエポック間のチェックポイントの支持が必要です。

トランザクションが実際にどれだけの時間でファイナリティに達するかは、そのブロックがエポックのどの位置にあるか、必要なバリデーター投票が処理されるタイミングによって異なります。

完全なファイナリティの前でもブロックの安全性は徐々に高まりますが、プロトコル上で最も強い決済水準にはまだ達していません。

Ethereumの公式シングルスロット・ファイナリティ・ロードマップによると、現在の処理には約15分かかります。

ファイナリティとブロック承認の違い

ブロック承認とは通常、トランザクションの後に別のブロックまたはチェーンの進行が追加されたことを意味します。

承認数が増えるほど、一般に再編成が起こる可能性は低くなります。

承認数に基づく安全性は確率的な場合があります。つまり、時間とともに巻き戻しの可能性は低下しますが、数学的に絶対ゼロになるとは限りません。

ファイナリティ・ガジェットは、バリデーターの合意と経済的ペナルティに基づく、これとは異なるプロトコル上のステータスを提供します。

トランザクションが複数の承認を受けても、ファイナライズされていない場合があります。

アプリケーションは、入出金ポリシーを設定する際に、直近の承認数とファイナリティステータスの両方を利用できます。

確率的ファイナリティと経済的ファイナリティ

トランザクションの後にブロックが追加されるほど、確率的ファイナリティは強まります。

古いブロックを覆すには、より多くの承認済みチェーンの作業量または重みを置き換える必要があるため、その難易度は上がります。

経済的ファイナリティは、処罰可能なバリデーターの確約に基づきます。

矛盾するファイナライズ済み履歴を作るには、バリデーターがルールに違反し、ステークした資産をリスクにさらす必要があります。

Casper FFGは、ファイナライズに不正があればバリデーターのステークの相当部分がスラッシングの対象となるため、経済的ファイナリティを提供します。

「経済的」という言葉が重要なのは、ファイナリティが物理的に不可能であることではなく、コンセンサス違反のコストと結果に依存するためです。

ファイナリティは完全に不可逆？

あらゆる想定可能な状況で巻き戻しが不可能だと主張するものではありません。

システムの安全性に関する前提が維持されている限り、プロトコル上、巻き戻しが起こらないという保証です。

大規模なバリデーターのルール違反、重大なコンセンサスのバグ、壊滅的な障害の後の社会的決定など、深刻な事態が発生した場合にのみ、ファイナライズ済みブロックが覆される可能性があります。

通常のネットワーク遅延、ブロックの欠落1件、小規模なバリデーターの停止によって、ファイナライズ済み履歴が覆ることは想定されていません。

実際の暗号資産利用では、ファイナライズ済みトランザクションの変更に極めて大きなコストと混乱が伴うため、決済済みとして扱われます。

スラッシング条件とは？

スラッシング条件は、バリデーターが矛盾するコンセンサスメッセージに署名したことを証明できる行為を定めます。

スラッシングでは、バリデーターのステークした暗号資産の一部または全部が没収され、バリデーターは有効な参加者から除外されます。

Casper型のファイナリティは、主に2種類の禁止されたチェックポイント投票に依存しています。

1つは二重投票です。

もう1つはサラウンド投票です。

このルールは、矛盾するチェックポイントがファイナライズされた場合に、大量の処罰可能なバリデーターの行為が明らかになるよう設計されています。

二重投票とは？

二重投票とは、バリデーターが同じターゲットエポックについて、異なる2つのチェックポイント投票を送信することです。

実質的に、そのバリデーターは同じファイナリティ期間に矛盾するターゲットを支持しています。

誠実なバリデーターは、そのエポックについて有効なターゲット投票を1つだけ公開する必要があります。

署名された矛盾する投票が2つあれば、違反を示す暗号学的証拠として利用できます。

サラウンド投票とは？

サラウンド投票とは、同じバリデーターによる別の投票を、ある投票が取り囲むことです。

つまり、ある投票のソースはより前にあり、そのターゲットはもう一方の投票の両方のポイントより後にあります。

このルールは、バリデーターが重複する範囲で矛盾するチェックポイント履歴を支持することを防ぎます。

二重投票と同様、サラウンド投票も署名済みメッセージによって証明できます。

ステークの3分の1が重要な理由

ステークの3分の1というしきい値は、Casper FFGの安全性とライブネスの特性において中心的な役割を果たします。

ファイナライズには、アクティブステークの少なくとも3分の2を代表する投票が必要です。

総投票権の3分の2を持つ矛盾する2つのグループは、少なくとも総投票権の3分の1を共有します。

両方の矛盾するファイナライズを支持した重複グループは、スラッシング条件に違反したことになります。

その結果、通常の前提では、矛盾する履歴をファイナライズするには、総ステークの少なくとも3分の1がスラッシングの対象となる必要があります。

Ethereumの公式Proof of Stakeドキュメントは、ファイナライズ済み履歴を覆すには、攻撃者がステークされたETHの総量の少なくとも3分の1を破棄のリスクにさらす必要があると説明しています。

バリデーターの3分の1超がオフラインになるとどうなる？

アクティブステークの3分の1超が正しく投票できない場合、残るバリデーターはファイナリティに必要な3分の2のしきい値にすぐには達しません。

ブロックの提案は続き、フォーク選択ルールもチェーンヘッドの特定を続けることができます。

ただし、チェックポイントのファイナライズが止まることがあります。

この状態は、ファイナリティの遅延またはライブネスの障害と呼ばれます。

ファイナリティの遅延が起きても、ブロックチェーン上のすべてのトランザクション処理が自動的に停止するわけではありません。

プロトコル上、最も強い決済ステータスが進行していないことを意味します。

非アクティブ・リークとは？

非アクティブ・リークは、バリデーターの参加不足が長引いた後にファイナリティを回復するためのEthereumの仕組みです。

ファイナリティが複数のエポックにわたって失われると、正しく参加していないバリデーターは、次第に速いペースでステークを失い始めます。

参加しているバリデーターは、残っている有効ステークの中で徐々に大きな割合を占めます。

最終的には、アクティブ側がチェックポイントのファイナライズに必要な3分の2のスーパーマジョリティを再び得られるようになります。

Ethereumの報酬とペナルティに関するドキュメントでは、参加する多数派がファイナリティを回復できるまで、非アクティブ・リークによって非アクティブなバリデーターの影響が低下すると説明されています。

この仕組みはライブネスを支えますが、大規模なネットワーク分断や広範なバリデーター障害時の復旧には時間がかかる場合があります。

安全性とライブネス

安全性とは、誠実なノードが矛盾する2つのブロックチェーン履歴をファイナライズしないことです。

ライブネスとは、ブロックチェーンが進行を続け、新しいチェックポイントをファイナライズできることです。

ファイナリティ・ガジェットは、両方の特性のバランスを取る必要があります。

不確実な間ファイナライズを拒むことは安全性を保つ一方、決済を遅らせる場合があります。

ファイナライズを容易にしすぎると速度は向上するものの、矛盾する履歴に対する保護が弱まる可能性があります。

Casper FFGは強い安全性を優先し、長期的な混乱後にライブネスを回復するため非アクティブ・リークを利用します。

ファイナリティの遅延とは？

ファイナリティの遅延とは、新しいブロックが生成されているにもかかわらず、チェックポイントがファイナライズに必要な投票を十分に得られない状態です。

バリデーターの停止、ソフトウェアのバグ、ネットワーク分断、誤ったアテステーション、意図的な攻撃などが原因となることがあります。

遅延中でも、アプリケーションは新たに提案されたトランザクションを表示し続ける場合があります。

ただし、高額を扱うシステムは、トランザクションを恒久的に決済済みとみなす前にファイナリティの回復を待つことがあります。

ファイナリティの遅延を、確定したチェーン再編成と混同してはいけません。

これは、最近のブロックについて不確実性が高まっていることを示すものであり、すでにブロックが削除された証拠ではありません。

二重ファイナリティとは？

二重ファイナリティとは、矛盾する2つのチェックポイントがどちらもプロトコルのファイナライズルールを満たしたように見える状態です。

これは重大なコンセンサス障害に当たります。

通常のCasper FFGモデルでは、少なくともバリデーターステークの3分の1が、スラッシング対象となる矛盾した投票に署名している必要があります。

矛盾する2つのファイナライズ済み履歴を見つけたノードは、通常のフォーク選択ルールだけでは問題を自動的に解決できません。

どちらの履歴を受け入れるべきかを決めるため、オフチェーンでの調整や社会的合意が必要となる場合があります。

そのため、二重ファイナリティは通常の短距離再編成よりはるかに深刻です。

ファイナリティ・ガジェットとチェーン再編成

チェーン再編成とは、ノードが最近のブロックを競合する分岐に置き換えることです。

バリデーターがブロックやメッセージを受け取るタイミングが異なるため、ファイナリティに達する前に小規模な再編成が起こることがあります。

ファイナリティ・ガジェットは、通常の再編成が及ぶ範囲を制限します。

誠実なノードは、最新のファイナライズ済みチェックポイントと矛盾する分岐へチェーンを再編成すべきではありません。

未ファイナライズのブロックを受け入れるアプリケーションは、短距離再編成の可能性を考慮する必要があります。

ファイナリティと暗号資産の入金

暗号資産の入金サービスは、資金を利用可能にする前に、トランザクションが一定数の承認またはプロトコル上のファイナリティに達するまで待つことがあります。

サービスが限定的な再編成リスクを許容する場合、少額の入金は完全なファイナリティより前に反映されることがあります。

高額の入金では、より強い決済の確実性が求められる場合があります。

必要な待機時間は業務上のリスク判断であり、ブロックチェーン共通のルールではありません。

ユーザーは、トランザクションの取り込み、ウォレットへの表示、サービスでの反映、最終決済を区別してください。

ファイナリティとクロスチェーンブリッジ

クロスチェーンブリッジは、あるブロックチェーンを監視し、送信元チェーン上のイベントを検出すると、別のブロックチェーンで処理を実行します。

送信元チェーンのファイナリティ前に動作するブリッジは、後の再編成で削除されるトランザクションを処理する可能性があります。

攻撃者は、送信元トランザクションが消える前に、送信先チェーンで資産を受け取ろうとすることがあります。

ファイナリティを待てばこのリスクは低下しますが、送金時間は長くなります。

ブリッジの設計者は、バリデーター、リレイヤー、スマートコントラクト、ライトクライアント、送信先チェーンの安全性も考慮する必要があります。

送信元チェーンのファイナリティが保護するのは、ブリッジシステム全体の一部にすぎません。

ファイナリティとLayer 2ネットワーク

Layer 2ネットワークは、基盤となるブロックチェーンの外でトランザクションを処理し、データ、証明、または確約を基盤チェーンに公開します。

関連する基盤レイヤーのトランザクションがファイナライズされる前に、ユーザーが高速なローカル承認を得る場合があります。

完全な決済は、Layer 2の設計、証明システム、チャレンジ期間、データ可用性、基盤レイヤーのファイナリティに左右されることがあります。

Layer 2アプリケーション内でファイナライズ済みと説明されたトランザクションでも、基盤ブロックチェーンでの最終決済に達していない場合があります。

アプリケーションがどの種類のファイナリティを指しているか確認してください。

ファイナリティとスマートコントラクト

スマートコントラクトのトランザクションは、ブロックがファイナライズされる前に正常実行されることがあります。

他のアプリケーションが、その一時的な状態を基に追加の操作をすぐに実行する場合もあります。

チェーン再編成によってトランザクションが削除されると、置き換えられた分岐上の依存する状態変更もすべて削除される可能性があります。

そのため、高額なオフチェーン操作を行う前に、適切な承認またはファイナリティ水準を待つ必要があります。

同一チェーン上で動作するスマートコントラクトは、1回のトランザクションが1つのブロック内で実行されるため、通常、将来のファイナリティを待つ処理をトランザクションの途中に入れることはできません。

ファイナリティを必要とするワークフローでは通常、後続トランザクション、リレイヤー、オフチェーン監視が必要です。

ウィーク・サブジェクティビティとは？

ウィーク・サブジェクティビティは、新規または長期間オフラインだったProof of Stakeノードが正しいチェーンを安全に特定するため、最近の信頼できるチェックポイントを必要とする性質です。

長距離攻撃者は、ステークをかなり前に引き出したバリデーターの鍵を利用し、別の履歴を作ろうとする場合があります。

その元バリデーターは、通常のスラッシングに利用できるアクティブステークをすでに保有していない場合があります。

最近のウィーク・サブジェクティビティ・チェックポイントは、アクティブなコミュニティが認めるブロックチェーン履歴をノードに示します。

Ethereumの公式ウィーク・サブジェクティビティ・ドキュメントでは、最近のチェックポイントが、同期中のノードを古い代替履歴から保護する仕組みを説明しています。

ウィーク・サブジェクティビティは、日々のすべてのトランザクションに中央機関への信頼が必要という意味ではありません。

主に、チェーンの最新情報を持たないノードを安全に起動する際に関係します。

ウィーク・サブジェクティビティ・チェックポイントとファイナライズ済みチェックポイント

ファイナライズ済みチェックポイントは、プロトコル上のバリデーター投票によって生成されます。

ウィーク・サブジェクティビティ・チェックポイントは、新規または長期間オフラインだったノードに提供される、最近の信頼できる参照情報です。

ノードが矛盾する2つのファイナライズ済みチェックポイントを確認した場合、重大なコンセンサス障害が発生した証拠となりますが、社会的に受け入れられている分岐を自動的に特定することはできません。

ブロックがノードの信頼するウィーク・サブジェクティビティ・チェックポイントと矛盾する場合、ノードはそのブロックを拒否します。

両者は関連していますが、異なるセキュリティ上の目的を担います。

チェックポイント同期とは？

チェックポイント同期を使うと、Proof of Stakeノードはジェネシスからコンセンサス履歴全体を処理するのではなく、最近の信頼できるチェックポイントから同期を開始できます。

これにより、ノードの起動にかかる時間を短縮できる場合があります。

ノードは、信頼できる、または独立して検証されたソースからチェックポイントを取得する必要があります。

悪意あるチェックポイントを使うと、ノードが誤ったチェーンに置かれる可能性があります。

ノード運用者は、1つの値に依存する前に、複数の独立した情報源のチェックポイントを比較できます。

ファイナリティ・ガジェットとフォーク選択ルール

フォーク選択ルールは、現時点でノードが追うべき分岐を選びます。

ファイナリティ・ガジェットは、どの過去のチェックポイントを置き換えるべきではないかを決定します。

新しいメッセージが届くと、フォーク選択の結果は変わる場合があります。

重大なコンセンサス障害が起きない限り、ファイナライズ済みの境界は安定しているべきです。

EthereumではLMD-GHOSTがフォーク選択ルールであり、Casper FFGがファイナリティ・ガジェットです。

ファイナリティ・ガジェットとコンセンサスメカニズム

コンセンサスメカニズムとは、合意を維持するために使われるルール、インセンティブ、ネットワーク上の前提、フォーク選択ロジック、バリデーター選出、ファイナリティプロセスの全体を指します。

ファイナリティ・ガジェットは、その大きなシステムの一構成要素です。

Casper FFGをEthereumのコンセンサスメカニズム全体と呼ぶと、ブロック提案、LMD-GHOST、トランザクション実行、報酬、ネットワークなど、重要な機能が抜け落ちます。

Ethereumのコンセンサスメカニズムに関するドキュメントでは、コンセンサスはProof of Stakeや1つの投票アルゴリズムだけではなく、プロトコルとインセンティブの一連の仕組みで構成されると説明されています。

ファイナリティ・ガジェットとProof of Stake

Proof of Stakeは、ステークされた暗号資産に応じてコンセンサスへの影響力を割り当てる方法です。

ファイナリティ・ガジェットは、バリデーターの投票を使ってブロックやチェックポイントをファイナライズするルール群です。

Proof of Stakeのブロックチェーンがファイナリティ・ガジェットを使うことはありますが、両者は同じ意味ではありません。

Proof of Stakeネットワークごとに、ファイナリティのルール、しきい値、投票スケジュール、ペナルティは異なる場合があります。

ファイナリティ・ガジェットとビザンチン障害耐性

ビザンチン障害耐性とは、一部の参加者が誤動作または悪意ある行動をしても、分散システムが合意を維持できる能力です。

多くのファイナリティ・ガジェットは、ビザンチン障害耐性コンセンサスの考え方を利用しています。

スーパーマジョリティの投票しきい値により、システムは一定割合までの不正なバリデーター投票権に耐えられます。

経済的ペナルティは、こうした投票ルールにProof of Stakeのインセンティブ層を加えます。

したがって、ファイナリティ・ガジェットは実際のブロックチェーン構成要素である一方、ビザンチン障害耐性はより広い分散システム上の特性および研究領域です。

ファイナリティ・ガジェットとしてのGRANDPA

GRANDPAは「GHOST-based Recursive ANcestor Deriving Prefix Agreement」の略称です。

Polkadotのコンセンサス設計で使われるファイナリティ・ガジェットです。

GRANDPAは、候補ブロックを生成する仕組みとは分離されています。

そのバリデーターはチェーンに投票し、新しいブロックを1つずつファイナライズするのではなく、複数のブロックにわたる共通の祖先をファイナライズできます。

Polkadotの公式コンセンサスドキュメントは、GRANDPAを非同期型かつ説明責任を伴うファイナリティ・ガジェットと説明しています。

Casper FFGとGRANDPAは、ファイナリティ・ガジェットの概念が異なるアルゴリズムで実装できることを示しています。

独立したファイナリティ・ガジェットの利点

独立したガジェットを使うと、ブロック生成を速く続けながら、バリデーター投票によってより強いファイナリティを形成できます。

承認数だけから安全性を推定するのではなく、明示的なファイナリティを提供できます。

スラッシング条件により、一定のコンセンサス違反を公開の場で証明し、経済的に処罰できるようになります。

モジュール型の設計によって、フォーク選択とファイナリティを別々のプロトコル構成要素として改善できます。

また、一時的にファイナリティが遅延していても、ブロック生成を継続する仕組みを支えられます。

ファイナリティ・ガジェットの限界

ファイナリティ・ガジェットは、プロトコルを複雑にします。

バリデーターは、鍵、投票スケジュール、ネットワーク接続、スラッシングリスクを管理する必要があります。

スーパーマジョリティへの到達には、時間と通信が必要です。

ブロック生成が続いていても、大規模なバリデーター停止によってファイナリティが遅れることがあります。

バリデーターの集中は、協調した障害や検閲をより深刻にする可能性があります。

新規または長期間オフラインだったノードは、ウィーク・サブジェクティビティの前提に基づき、最近の信頼できるチェックポイントを必要とする場合があります。

経済的ファイナリティは、ステークされた資産の実際の価値と分布にも依存します。

バリデーターの集中とファイナリティリスク

バリデーターのステークが、独立した運用者、ソフトウェアクライアント、所在地、インフラ提供者に分散しているほど、ファイナリティ・ガジェットは安全になります。

ステークが集中すると、1つの組織または協調グループがファイナリティを遅らせる可能性があります。

一般的なソフトウェアのバグが、多数のバリデーターに同時に影響することもあります。

1つのコンセンサスクライアントがステークの3分の1超を占めていると、重大なバグによってファイナリティが妨げられる可能性があります。

1つの不具合を持つ実装がスーパーマジョリティを占める場合、影響はさらに深刻になり得ます。

Ethereumのクライアント多様性に関するガイダンスでは、独立したクライアント実装にバリデーターの利用を分散させることで、相関したコンセンサスリスクを低減できる理由を説明しています。

ネットワーク分断とファイナリティ

ネットワーク分断とは、バリデーターのグループ間で安定した通信ができなくなる状態です。

各グループが異なるブロックやアテステーションを認識する場合があります。

どちらの側もアクティブステークの3分の2を持たない場合、どちらも新しいチェックポイントをファイナライズできないはずです。

このライブネスの喪失は安全性を保護します。グループ同士が矛盾する履歴を容易にファイナライズできないためです。

分断が十分長く続けば、非アクティブ・リークによって最終的に片側がファイナリティを回復できる場合があります。

分断された各側のバリデーターがペナルティを受ける可能性があるため、復旧には慎重な調整が必要となる場合があります。

ファイナリティ・ガジェットは無効なトランザクションをファイナライズできる？

ファイナリティ・ガジェットは、通常のトランザクション検証やブロック検証に取って代わるものではありません。

実行クライアントは、署名、残高、スマートコントラクトのルール、その他のトランザクション要件を検証します。

コンセンサスクライアントは、ブロックとバリデーターのルールを検証します。

誠実なノードは、バリデーターの支持を有効と扱う前に無効なブロックを拒否します。

したがって、無効なブロックのファイナライズには、バリデーターの行動、クライアントソフトウェア、実装上の前提、ネットワークガバナンスに関わる深刻な障害が必要です。

ファイナリティは、正しく受け入れられた履歴を覆すことを難しくしますが、クライアントが正常に機能している状況で、明らかに無効なトランザクションを有効に変えるものではありません。

バリデーターはファイナライズ済みブロックを覆せる？

プロトコルに従うバリデーターは、ファイナライズ済みチェックポイントと矛盾するチェーンに投票しません。

代替履歴をファイナライズしようとするグループは、コンセンサスルールに違反できるだけの投票権を必要とします。

矛盾する投票を行えば、不正なステークの少なくとも一部がスラッシングの対象となります。

ステークの3分の2超を使う攻撃は、一時的にファイナリティを支配できる可能性がありますが、経済的・社会的な影響は極めて大きくなります。

そのため、ユーザーはファイナライズ済みブロックと新たに提案されたブロックを区別する必要があります。

シングルスロット・ファイナリティとは？

シングルスロット・ファイナリティは、1つのスロット内でブロックの提案とファイナライズを行うことを目指すブロックチェーン設計案です。

現在のEthereumでは、ファイナリティに約15分かかります。

シングルスロット・ファイナリティが実現すれば、アプリケーションやユーザーの待ち時間が短縮されます。

最近のブロックが再編成の試みにさらされる期間も短縮できる可能性があります。

Ethereum規模で実現するには、非常に大規模なバリデーターセットの効率的な集約と検証が必要です。

2026年7月時点で、シングルスロット・ファイナリティはEthereumの今後のロードマップに含まれる目標であり、メインネットで現在利用されているファイナリティの仕組みではありません。

ファイナリティの高速化が難しい理由

ファイナリティを高速化するには、バリデーターがより短い時間内に通信し、投票し、署名を集約して結果を検証する必要があります。

世界中のバリデーターネットワークでは、遅延、一時的な停止、接続品質の差が発生します。

すべてのバリデーターに毎スロットの投票を求めると、帯域幅と計算量が大きくなる可能性があります。

小規模な委員会を使えば効率は向上しますが、各投票が示す経済的安全性が低下する場合があります。

プロトコルの設計者は、速度、分散化、安全性、ハードウェア要件、耐障害性のバランスを取る必要があります。

暗号資産トレーダーにとってファイナリティが重要な理由

ファイナリティは、チェーン再編成によって入金や送金が消える可能性が低くなったタイミングを判断するのに役立ちます。

提案されたばかりのブロックでしか確認できないトランザクションには、まだ一定の再編成リスクがあります。

ファイナライズ済みトランザクションは、ネットワークの通常のコンセンサス上、最も強い基準を通過しています。

多額の資金を移動するトレーダーは、サービスが少額取引を早く反映する場合でも、ファイナリティを待つことがあります。

ファイナリティは、誤ったアドレスへの送金、悪意あるトランザクションへの署名、価値が下落する資産の購入からトレーダーを守るものではありません。

開発者にとってファイナリティが重要な理由

開発者は、オンチェーンのイベントをいつ決済済みとして扱うかを決める必要があります。

すぐに対応すれば速度は向上しますが、再編成リスクが高まります。

完全なファイナリティを待てば決済の確実性は高まりますが、遅延が増えます。

ネットワークのインターフェースが対応している場合、アプリケーションは提案済み、安全、ファイナライズ済みのブロックステータスを区別する必要があります。

クロスチェーンアプリケーションは、送信元と送信先の両方のチェーンにおけるファイナリティを考慮してください。

ファイナリティが常に予定どおり進むと想定せず、監視システムで遅延を検出する必要があります。

バリデーターにとってファイナリティが重要な理由

バリデーターは、適時かつ一貫したアテステーションを公開することで、ファイナリティの形成を支援します。

署名鍵を保護し、矛盾するメッセージを生成する設定を避ける必要があります。

同じ鍵を使う2つのバリデーターインスタンスが同時に稼働すると二重投票が起こる可能性があるため、フェイルオーバーシステムは慎重に設計する必要があります。

対応するソフトウェアでは、スラッシング保護データベースを利用してください。

クライアントの多様性、正確な時刻同期、安全なネットワーク、監視も、ファイナリティ関連のリスクを下げます。

ファイナリティの確認方法

ブロックチェーンエクスプローラーやノードインターフェースに、ブロックがファイナライズ済みと表示されることがあります。

EthereumのコンセンサスAPIも、ファイナライズ済みチェックポイントの情報を公開しています。

ウォレットは、完全なファイナリティに達しているかを表示せず、トランザクションを「承認済み」とだけ示すことがあります。

高額の送金を行うユーザーは、トランザクションを含むブロックと、ネットワークの最新のファイナライズ済みブロックを比較できます。

サードパーティのインターフェースはデータの表示が遅れたり、誤ったりする場合があるため、重要なシステムでは自前のノードまたは複数の独立した情報源を照会することがあります。

ファイナリティ・ガジェットに関するよくある誤解

ファイナリティ・ガジェットは、ブロックチェーンのコンセンサスメカニズム全体ではありません。

必ずしもブロックを生成するわけではありません。

最近承認されたブロックが、常にファイナライズ済みとは限りません。

ファイナリティは、すべてのアプリケーションがすでにトランザクションを反映したことを意味しません。

通常のプロトコル運用下ではファイナライズ済みトランザクションを覆せませんが、壊滅的なコンセンサス障害は理論上起こり得ます。

投票を1回欠席したすべてのバリデーターにスラッシングが適用されるわけではありません。

スラッシングは、証明可能な矛盾した行為や重大な不正行為を対象とし、通常の参加漏れには一般により小さなペナルティが適用されます。

ファイナリティが遅延しても、ブロックチェーンのブロック生成が自動的に停止するわけではありません。

Casper FFGはLMD-GHOSTと同じものではありません。

シングルスロット・ファイナリティは、現在のEthereumメインネットでは稼働していません。

よくある質問

暗号資産におけるファイナリティ・ガジェットとは？

バリデーターの投票と経済的ルールを使って、ブロックやチェックポイントをいつファイナライズ済みとして扱うべきか決めるコンセンサス構成要素です。

ファイナリティ・ガジェットの目的は？

強い決済保証を作り、通常のチェーン再編成によってファイナライズ済みのブロックチェーン履歴が置き換えられるのを防ぐことです。

最もよく知られるファイナリティ・ガジェットは？

Casper the Friendly Finality Gadget（Casper FFG）が最もよく知られた例で、EthereumのProof of Stakeコンセンサスシステム内で使われています。

FFGは何の略？

FFGはFriendly Finality Gadgetの略です。

Casper FFGはEthereumのProof of Stakeと同じ？

いいえ。Casper FFGは、Ethereumのより広いProof of Stakeコンセンサスメカニズムに含まれるファイナリティの構成要素です。

Gasperとは？

Gasperは、Casper FFGのファイナリティ・ガジェットとLMD-GHOSTのフォーク選択ルールを組み合わせたEthereumのコンセンサス設計です。

Casper FFGとLMD-GHOSTの違いは？

Casper FFGはチェックポイントをファイナライズし、LMD-GHOSTはブロックチェーンの現在のヘッドを選択します。

ファイナライズ済みブロックとは？

重大なコンセンサス障害や大規模なバリデーターのペナルティがない限り、通常のプロトコル運用下では削除できないブロックです。

正当化済みチェックポイントとは？

過去の正当化済みチェックポイントから条件を満たすスーパーマジョリティリンクを受けたものの、必ずしもファイナリティには達していないチェックポイントです。

スーパーマジョリティリンクとは？

関連するアクティブなバリデーターステークの少なくとも3分の2が支持するチェックポイント投票です。

Ethereumのファイナリティにはどのくらいかかる？

通常の状況では、Ethereumがプロトコル上の完全なファイナリティに達するまで現在約15分かかります。

Ethereumのエポックの長さは？

Ethereumのエポックは12秒のスロットを32個含み、約6.4分です。

Ethereumで1回承認されればファイナリティに達する？

いいえ。ブロックは現在のチェーンヘッドとして承認されても、プロトコルレベルのファイナリティには達していない場合があります。

ファイナライズ済みトランザクションを覆せる？

通常の運用ではできません。覆すには、大規模なバリデーターのルール違反、経済的ペナルティ、または例外的なコンセンサス障害が必要です。

チェックポイントのファイナライズに必要なステークは？

必要なスーパーマジョリティリンクを作るには、アクティブステークの少なくとも3分の2を代表する投票が必要です。

ステークの3分の1が重要なのはなぜ？

3分の1を超えるステークはファイナリティを遅らせる可能性があり、通常のCasperの前提では、矛盾するファイナライズによって少なくとも3分の1のステークがスラッシング対象となります。

バリデーターの3分の1がオフラインになるとどうなる？

残る投票権では必要な3分の2のしきい値に達せず、新しいチェックポイントのファイナライズが停止する可能性があります。

非アクティブ・リークとは？

長期的なファイナリティ障害の間、非参加バリデーターのステークを徐々に減らし、アクティブなバリデーターが最終的にスーパーマジョリティを回復できるようにする仕組みです。

ファイナリティの遅延ですべてのトランザクションが停止する？

必ずしもそうではありません。新しいチェックポイントがファイナライズされなくても、ブロックの提案が続く場合があります。

二重ファイナリティとは？

矛盾する2つのチェックポイントがファイナライズされたように見える、重大なコンセンサス障害です。

二重投票とは？

バリデーターが同じターゲットエポックについて、異なるチェックポイントターゲットに署名することです。

サラウンド投票とは？

バリデーターが行ったあるチェックポイント投票が、同じバリデーターによる別の投票を不適切に取り囲むことです。

スラッシングとは？

重大なコンセンサス違反が証明された場合に、バリデーターのステークを没収し、有効なバリデーターから除外することです。

ファイナリティ・ガジェットを使うのはEthereumだけ？

いいえ。GRANDPAファイナリティ・ガジェットなど、別のファイナリティの仕組みを使うブロックチェーンもあります。

GRANDPAとは？

ブロック生成プロセスとは別にチェーンへ投票し、共通の祖先をファイナライズするファイナリティ・ガジェットです。

ウィーク・サブジェクティビティとは？

新規または長期間オフラインだったProof of Stakeノードが、安全に同期するため最近の信頼できるチェックポイントを必要とする性質です。

チェックポイント同期とは？

ノードがジェネシスから履歴全体を処理する代わりに、最近の信頼できるチェックポイントからコンセンサス同期を開始する方法です。

シングルスロット・ファイナリティとは？

ブロックの提案とファイナライズを同じスロット内で行う設計案です。

Ethereumは現在、シングルスロット・ファイナリティを使っている？

いいえ。2026年7月時点では、将来のロードマップ上の目標です。

暗号資産ブリッジがファイナリティを待つのはなぜ？

後の再編成によって削除される送信元チェーンのトランザクションに基づき、資産やメッセージを発行するリスクを低減するためです。

ファイナリティはウォレット盗難を防ぐ？

いいえ。ファイナリティが保護するのはブロックチェーン履歴であり、秘密鍵、ウォレット権限、スマートコントラクトのセキュリティ、投資価値ではありません。

ブロックがファイナライズ済みか確認する方法は？

信頼できるブロックチェーンエクスプローラーまたはコンセンサスノードが示す最新のファイナライズ済みチェックポイントと、トランザクションのブロックを比較できます。

まとめ

ファイナリティ・ガジェットは、バリデーターの合意を強い決済保証に変える、ブロックチェーンのコンセンサス構成要素です。

コンセンサスメカニズム全体に取って代わるのではなく、ブロック生成やフォーク選択ルールと並行して動作します。

EthereumのCasper FFGは、チェックポイント投票、3分の2のスーパーマジョリティリンク、正当化、ファイナライズ、スラッシング条件を使って、ブロックチェーン履歴を保護します。

Ethereumは、Casper FFGをLMD-GHOSTと組み合わせ、Gasperと呼ばれるコンセンサス設計を採用しています。

通常の運用下でファイナライズ済みチェックポイントを置き換えるには、重大なバリデーターのルール違反と大きな経済的ペナルティが必要です。

バリデーターの多くがオフラインになったり、意見が分かれたりすると、ファイナリティ・ガジェットはファイナライズを遅らせて安全性を維持できます。

Ethereumの非アクティブ・リークは、ファイナリティ障害が長引く間、非参加ステークの影響を減らしてライブネスを回復するよう設計されています。

ファイナリティは、暗号資産の入金、ブリッジ、Layer 2システム、スマートコントラクト、バリデーター、オンチェーンイベントが恒久的に決済されたと判断する必要があるアプリケーションにとって重要です。

Ethereumの現在のファイナリティには約15分かかり、シングルスロット・ファイナリティは今後の開発目標です。

ブロック提案、フォーク選択、承認、正当化、ファイナライズの違いを理解すると、暗号資産ユーザーはブロックチェーンの決済リスクをより正確に評価できます。