不正証明

不正証明とは？

不正証明とは、提案された状態遷移、トランザクション結果、出金、その他のオフチェーン計算が誤っていることを示すブロックチェーンの仕組みです。

不正証明は、暗号資産のトランザクションをベースブロックチェーンの外で処理し、圧縮データと状態のコミットメントをベースチェーンに公開するオプティミスティックロールアップと特に密接に関連しています。

オプティミスティック方式では、すべてのトランザクションバッチに暗号学的な有効性証明を要求せず、提出された結果を一時的に受け入れます。

定められたチャレンジ期間中に、独立した参加者は、システムのルールが守られていないことを示す証拠を提出して、誤った結果に異議を申し立てられます。

異議申し立てが成功すると、無効な主張は却下され、正しい状態が有効なものとして維持され、不正または誤りを犯した参加者は担保を失う場合があります。

オプティミスティックロールアップに関するEthereumのドキュメントでは、誰かが不正証明の手続きで異議を申し立てない限り、オフチェーンのトランザクションは有効と仮定されると説明しています。

不正証明は、無効な結果を出した人に不正を行う意図があったと必ずしも証明するものではありません。ソフトウェアのバグ、設定ミス、ハードウェアの問題、計算上の偶発的な誤りでも、誤った結果が生じるためです。

このため、現代のブロックチェーン開発者の多くは、「不正証明」より広い意味を持つ「フォールト証明」という用語を使います。

暗号資産で不正証明が重要な理由

不正証明により、ブロックチェーンシステムは高コストの計算をベースレイヤーから移しつつ、単一の中央集権的な運営者を完全に信頼する必要をなくせます。

ベースブロックチェーンは、ロールアップのすべてのトランザクションを発生と同時に実行する必要がありません。

ロールアップの状態を再構成できるだけの情報を保存し、無効な結果が提出されたと主張された際に紛争を解決できればよいのです。

このオプティミスティック設計では、参加者間に意見の相違がある場合を中心に高コストのオンチェーン検証を行うため、取引コストを抑えられる可能性があります。

不正証明は、無効な出金や状態の主張に異議を申し立てる手段をユーザーに提供することで、運営組織だけに依存しない自己管理も支援します。

この仕組みにより、ベースブロックチェーンはスマートコントラクトのルールに従って証拠を確認する、中立的な審判となります。

適切に設計されたシステムは、少なくとも1人の誠実で対応能力のある参加者がチェーンを監視し、期限内に異議を申し立てられる限り、安全性を維持できます。

このセキュリティモデルは、一般に「1者誠実性の仮定」と要約されます。

不正証明の仕組み

ロールアップのシーケンサーは、ユーザーのトランザクションを集め、順序付け、実行し、ロールアップ状態の新しいバージョンを作成します。

次にロールアップは、トランザクションデータまたはデータのコミットメントと、処理後の状態に関する主張を、決済を担うブロックチェーンへ公開します。

この主張は、プロトコルに応じてアサーション、出力ルート、ステートルート、状態コミットメント、チェックポイントなどと呼ばれます。

決済コントラクトは、その主張を直ちに最終確定したものとは見なしません。

代わりにチャレンジ期間を設け、その間にバリデーターやチャレンジャーが計算を独立して再現できます。

誠実なチャレンジャーは、提案された結果を、公表済みのトランザクションをロールアップの公式ルールに従って実行した結果と比較します。

両方の結果が一致すれば、不正証明は不要であり、チャレンジ期間の終了後に主張が確定できます。

結果が異なる場合、チャレンジャーは決済コントラクトを通じて異議申し立てを開始します。

紛争手続きでは、決済ブロックチェーンが結果の食い違いを生んだ計算ステップを検証できるまで、意見の相違を絞り込みます。

その後、コントラクトがプロトコルのルールに従った主張を判定し、もう一方を却下します。

不正証明の簡単な例

ロールアップの開始時点で、Aliceが10トークン、Bobが2トークンを保有しているとします。

有効なトランザクションによって、AliceからBobへ3トークンが送金されます。

正しい処理後の状態では、Aliceが7トークン、Bobが5トークンを保有します。

ロールアップの運営者が誤って、Aliceが6トークン、Bobが6トークンを保有していることを示す状態コミットメントを提出したとします。

独立したバリデーターがトランザクションを再実行し、正しい残高を計算します。

提出結果が以前の状態と有効なトランザクションから導かれないため、バリデーターは運営者の状態コミットメントに異議を申し立てます。

不正証明は、異議の対象となった実行ステップを特定し、決済コントラクトが送金ルールを検証するための情報を提示します。

コントラクトは移動したトークンが3つだけであることを確認し、誤った状態コミットメントを却下します。

これは簡略化した例ですが、実際の不正証明システムも、複雑なスマートコントラクトの実行、ガス計算、ストレージ更新、暗号学的コミットメントに同じ原則を適用します。

オプティミスティックロールアップとは？

オプティミスティックロールアップは、暗号資産のトランザクションをベースブロックチェーンの外で処理しながら、そのブロックチェーンをデータ可用性、決済、紛争解決に利用するレイヤー2スケーリングシステムです。

「オプティミスティック」とは、計算がすべて正しいことを証明するものをすぐに添付するのではなく、トランザクションバッチをデフォルトで有効として扱うことを意味します。

シーケンサーがトランザクション処理後すぐに結果を報告するため、ユーザーは通常、ロールアップ内で迅速な確認を得られます。

ただし、関連する状態の主張がチャレンジ期間を経る必要があるため、ロールアップから決済レイヤーへ戻すには長く待つ場合があります。

オプティミスティックロールアップは、セキュリティを独立したバリデーターグループだけでなく、主に決済ブロックチェーンに依存するよう設計されている点で、一般的なサイドチェーンとは異なります。

Ethereumのスケーリングに関するドキュメントでは、オプティミスティックロールアップは不正証明を通じて異議のある計算を実行する一方、ゼロ知識ロールアップは有効性証明を提出すると説明しています。

ステートルートとは？

ステートルートとは、特定時点のブロックチェーンまたはロールアップの完全な状態を表す、簡潔な暗号学的コミットメントです。

状態には、アカウント残高、スマートコントラクトのコード、ストレージ値、ノンス、将来のトランザクション処理に必要なその他の情報が含まれる場合があります。

ステートルートは、基礎となるデータベース全体よりもはるかに小さいものです。

通常、関連する値が1つでも変わると、生成されるコミットメントも変わります。

ロールアップの提案者は、状態全体を決済コントラクトに直接保存せずにステートルートを公開できます。

他の参加者は、利用可能なトランザクションデータから状態を再構成し、同じルートを得られるか確認できます。

不正証明による紛争は、多くの場合、同じ開始状態とトランザクション列から、当事者間で異なるルートが生成されたことをきっかけに始まります。

状態遷移とは？

状態遷移とは、1つ以上の有効なトランザクションを実行し、ブロックチェーンの古い状態を新しい状態へ変換するプロセスです。

簡単な式で示すと、

となります。

状態遷移関数には、署名、残高、ガス、コントラクト実行、ストレージ、トランザクションの順序に関するプロトコルルールが含まれます。

同じ入力とプロトコルのバージョンを使用するすべての誠実な参加者は、同じ結果を計算するはずです。

不正証明は、提案された新しい状態が、古い状態と公開済みの入力から正しく導かれていないことを示します。

同じ入力でも誠実なコンピューターが異なる結果を出せると、紛争を確実に解決できないため、決定論的な実行が不可欠です。

チャレンジ期間とは？

チャレンジ期間とは、オプティミスティック方式の結果が決済上の最終確定に至る前に、異議を申し立てられる期間です。

多くのオプティミスティックロールアップは約1週間の期間を採用しますが、正確な長さはプロトコルによって異なり、ガバナンスやアップグレードで変更される可能性があります。

この待機期間により、独立したバリデーターは、データのダウンロード、実行の再現、無効な主張の検知、トランザクション手数料や担保の準備、異議申し立てを行えます。

期間が短すぎると、継続的な監視、高速なインフラ、決済ブロックチェーンへの途切れないアクセスにセキュリティが大きく依存する場合があります。

期間が長すぎると、資本効率が低下し、標準的な出金が不便になる可能性があります。

Ethereumのデータ可用性ガイドでは、オプティミスティックロールアップは通常、独立した検証者が公開データを確認し、誤った状態遷移に異議を申し立てられるよう、紛争期間を設けると説明しています。

すべてのオプティミスティックロールアップが必ず7日間を採用すると仮定せず、対象ネットワークの実際のチャレンジと確定のルールを確認してください。

出金に時間がかかる理由

オプティミスティックロールアップからの標準的な出金は、無効な状態の主張に基づいて資産を解放しないよう、決済コントラクトが待機するため遅れる場合があります。

誤った主張が直ちに確定すると、攻撃者が残高を捏造し、誰かが対応する前に決済レイヤーでロックされた資産を引き出すおそれがあります。

チャレンジ期間により、バリデーターは出金が無効なロールアップ状態に基づいていることを証明する時間を得ます。

関連する状態コミットメントが確定すると、プロトコルのブリッジルールに従って出金を完了できます。

第三者の流動性を利用した高速な資金アクセスが可能な場合もありますが、別途手数料、流動性要件、スマートコントラクトリスク、相手方に関する前提が生じます。

ゼロ知識ロールアップに関するEthereumのガイドでは、オプティミスティック方式は不正証明による異議申し立てを可能にするため出金が遅れる一方、有効性証明方式は証明検証後に出金を確定できると説明しています。

対話型不正証明とは？

対話型不正証明は、長い計算に関する意見の相違を、当事者間の複数段階の紛争ゲームで解決します。

ロールアップのブロック全体を決済ブロックチェーンに直接投稿して再実行すると、コストが高すぎたり、トランザクション上限を超えたりする可能性があります。

そこで、提案者とチャレンジャーは異なる実行トレースをコミットし、食い違いのある範囲を繰り返し絞り込みます。

一般的な方法では、二分探索と呼ばれるプロセスでトレースを小さな区間に分けます。

各ラウンドで、最初の不一致がどちらの半分にあるかを特定します。

このプロセスを繰り返し、決済ブロックチェーンが直接検証できる1つのマシン命令、または小さな操作にまで紛争を絞り込みます。

決済ブロックチェーンは、すべてのステップを再現する必要がありません。コミットメント、紛争上のやりとり、最後に争われた命令のみを確認します。

現行の対話型紛争設計に関する公式ドキュメントでは、紛争を親ブロックチェーンが検証する1ステップの証明まで絞り込む方法を説明しています。

1ステップ証明とは？

1ステップ証明は、ロールアップの実行トレース内で争われている1つの命令を、決済コントラクトが検証するための情報を提供します。

証明では、命令の実行前のマシン状態、命令そのもの、必要な入力データ、実行後として主張されている状態を特定します。

決済コントラクトは命令のルールを適用し、次の状態を計算します。

その結果が提案者の主張ではなくチャレンジャーの主張と一致すれば、チャレンジャーが紛争に勝ちます。

1ステップ検証により、決済ブロックチェーンがロールアップのプログラム全体を常時実行しなくても、大規模なオフチェーン計算を強制可能にできます。

証明の実行に使う仮想マシンは決定論的であり、ロールアップのコンセンサスルールを正確に表している必要があります。

非対話型不正証明とは？

非対話型不正証明は、無効な遷移を立証するための証拠を、1回の提出または限定的な検証手続きで提示することを目指します。

この設計では、提案者とチャレンジャーが何度も応答を繰り返す必要を減らせます。

その代わり、証明により多くのデータを含める、または誤った計算を特定する特殊な方法を使う必要がある場合があります。

対話型システムは複数回にわたる絞り込みによってオンチェーン処理を減らせる一方、非対話型システムは解決を速め、紛争中の稼働性への依存を減らせる場合があります。

最適な設計は、実行の複雑さ、決済レイヤーのコスト、証明サイズ、実装の安全性、プロトコルが扱う必要のある障害の種類によって異なります。

不正証明とフォールト証明の違い

不正証明とフォールト証明は、オプティミスティックな紛争解決の仕組み全般を指す言葉として、同じ意味で使われることがあります。

「不正証明」は、不誠実な行動に異議を申し立てる証拠を表す言葉として、歴史的に広く使われてきました。

「フォールト証明」の方が、運営者の意図を判断するのではなく、結果が誤っているかどうかを検証するため、より正確です。

誤った出力は、悪意のある操作、古いソフトウェア、設定ミス、データベースの破損、通常のプログラミングエラーなどから生じる場合があります。

現在のプロトコル文書では、本番環境の紛争解決システムに「フォールト証明」が使われることが増えています。

公式のフォールト証明システム文書では、フォールト証明プログラム、フォールト証明仮想マシン、紛争ゲームプロトコルからなるモジュール型アーキテクチャが説明されています。

不正証明と有効性証明の違い

不正証明は、誰かが異議を申し立てた後に、提出結果が誤っていることを示します。

有効性証明は、決済コントラクトが受け入れる前に、提出された状態遷移が正しいことを示します。

オプティミスティックロールアップは一般に、有効性証明なしで状態を主張し、チャレンジ期間に依存します。

有効性ロールアップは、ゼロ知識証明技術などを用いて、オフチェーン計算のバッチに対する暗号学的証明を生成します。

有効性証明を検証する仕組みでは、無効な遷移に対する有効な証明を攻撃者が作成できないはずであるため、誤ったバッチを直ちに却下できます。

不正証明システムでは、すべての主張が正しければ紛争の計算が不要なため、通常運用時の計算負荷を抑えられる場合があります。

有効性証明システムは証明生成後の決済を速められる一方、複雑な証明インフラや専門的な暗号技術が必要になる場合があります。

データ可用性、実装品質、ガバナンス権限、アップグレード管理、決済レイヤーにもセキュリティが依存するため、どちらかの設計が常に優れているとは限りません。

不正証明とゼロ知識証明の違い

ゼロ知識証明は、主張を裏付けるすべての秘密の入力を明かさずに、その主張が真であることを証明できます。

多くのブロックチェーンの有効性検証システムでは、状態を再構成するためのトランザクションデータが公開されていても、ゼロ知識の簡潔な証明を利用します。

不正証明は、誤った結果が提案された後に生成されるため、一般に事後対応型です。

ゼロ知識有効性証明は、通常、新しい状態の受け入れと同時、またはその前に提出されるため、事前検証型です。

不正証明は、誠実な参加者が不具合に気付き、異議を申し立てられる機会に依存します。

有効性証明は、暗号学的健全性と検証器の正しい実装に依存します。

将来のロールアップでは、単一のシステムへの依存を減らすため、フォールト証明、有効性証明、アテステーション、複数の独立実装を組み合わせる可能性があります。

不正証明とMerkle証明の違い

Merkle証明は、特定の項目がMerkleルートで表されるデータセットに含まれていることを示します。

例えば、アカウント残高、トランザクション、出金メッセージが、コミット済みのツリーに含まれていることを示せます。

不正証明は、計算や状態遷移に関する主張が無効であることを示します。

不正証明では、決済コントラクトが争われたステップの検証に必要な小さな状態情報だけにアクセスできるよう、Merkle証明を含めることがよくあります。

Merkle証明は項目の包含を立証できますが、含まれたトランザクションが正しく実行されたことまでは証明しません。

したがって、2種類の証明は異なる目的を果たしますが、連携して使われることがよくあります。

データ可用性の役割

チャレンジャーが状態を再構成し、誤った実行を特定するためのデータを入手できなければ、不正証明はロールアップを保護できません。

データがなければ、悪意のある運営者がトランザクションを公開せずに状態コミットメントだけを提出する可能性があります。

独立したバリデーターは結果を再現できないと認識できても、具体的な不具合を示す証明を作成するための情報が不足する場合があります。

オプティミスティックロールアップは、圧縮されたトランザクションデータ、またはプロトコルで認められたデータコミットメントを決済レイヤー経由で公開し、この問題に対処します。

Ethereumロールアップは、通常のトランザクションcalldata、またはロールアップデータ向けに設計されたblobトランザクションでデータを公開できます。

EIP-4844仕様では、永続的な実行calldataよりも低コストで一時的なデータを公開できる、blobを含むトランザクションが導入されました。

blobデータはプロトコルによって限られた期間しか保持されないため、監視システムはチャレンジ期間中に必要となる情報を取得し、保存する必要があります。

したがって、データ可用性は不正証明のセキュリティに不可欠であり、独立した任意の機能ではありません。

決済ブロックチェーンの役割

決済ブロックチェーンは、ロールアップのコミットメントを保存し、紛争トランザクションを受け付け、参加者の担保を管理し、最終検証ロジックを実行します。

どの紛争上の手続きや証明が有効かをコンセンサスルールで決めるため、中立的な審判として機能します。

ロールアップは、決済レイヤーのファイナリティ、検閲耐性、スマートコントラクト実行、データ可用性からセキュリティの一部を継承します。

決済ブロックチェーンがブロックの最終確定を停止すると、ロールアップの主張や出金も進まなくなる場合があります。

紛争期間全体にわたって、攻撃者が誠実な異議申し立てをすべて検閲できる場合、無効な主張を止めるのが困難になる可能性があります。

そのため、不正証明のセキュリティは、ロールアップのコードだけでなく、決済ブロックチェーンが利用可能であり、長期的な検閲に耐えることにも依存します。

シーケンサーの役割

シーケンサーは、ユーザーのトランザクションを受け付け、順序を決め、ロールアップブロックを実行し、トランザクションバッチまたはコミットメントを公開します。

中央集権型のシーケンサーは迅速な確認を提供できますが、トランザクションを遅らせたり、順序を変更したり、検閲したりする可能性があります。

不正証明は誤った実行への対策となりますが、あらゆるトランザクション検閲や不公正な順序付けを自動的に防ぐわけではありません。

シーケンサーは、プロトコルのルールに従った有効な状態を公開しつつ、ユーザーのトランザクションを一時的に除外できる場合があります。

シーケンサーがトランザクションを拒否した際、ユーザーが決済レイヤーを通じて送信できる強制取り込み経路を設けるロールアップもあります。

不正証明が扱う実行の正しさと、追加の仕組みを必要とする順序付けの公平性や稼働性を区別してください。

チャレンジャーの役割

チャレンジャーとは、提案されたロールアップ状態を監視し、無効な主張に異議を申し立てる参加者または自動化サービスです。

チャレンジャーは互換性のあるノードソフトウェアを実行し、決済レイヤーのデータからロールアップの実行を再現します。

オンラインを維持し、プロトコルのアップグレードに追随し、必要な過去の情報を保管し、期限内にトランザクションを提出しなければなりません。

決済レイヤーのガス代や担保に使う暗号資産が必要になる場合があります。

現在のチャレンジャーソフトウェアは、紛争を監視し、有効な提案を防御し、無効な提案に異議を申し立て、勝訴後に担保を請求できます。

公式のチャレンジャー文書では、同期済みのロールアップノードと決定論的なトレースプロバイダーに依存する本番サービスが説明されています。

中央組織の承認なしに技術的に独立した参加者がチャレンジャーを運用できることが、パーミッションレスな参加を実質的なものにするうえで重要です。

担保が使われる理由

担保とは、主張を提案したり紛争で特定の手続きを行ったりする際に、参加者がロックする暗号資産です。

担保は、攻撃者が無制限に虚偽の主張をしたり、経済的な負担なしに誠実なバリデーターへリソースを費やさせたりすることを抑制します。

誤った主張を支持した参加者は、関連する担保の一部または全部を失う場合があります。

プロトコルによっては、異議申し立てに成功したチャレンジャーが担保を回収し、報酬を受け取れる場合があります。

担保額は、不正利用を抑止するのに十分である一方、裕福な組織だけが参加できるほど高くしてはいけません。

担保が過度に高いと、理論上はパーミッションレスな不正証明システムでも、実際には参加が困難になります。

担保が過度に低いと、スパム、嫌がらせ、遅延攻撃を招く可能性があります。

担保の設計では、決済レイヤーの手数料、資産の価格変動、紛争期間、資本の機会費用、リスクにさらされる価値を考慮する必要があります。

パーミッションレスと許可型の不正証明

パーミッションレスな不正証明システムでは、公開された技術要件と経済要件を満たす参加者なら誰でも、状態の主張を提出したり異議を申し立てたりできます。

許可型システムでは、承認されたアドレスや組織に、提案、異議申し立て、またはその両方が制限されます。

開発初期には、許可型の検証によってスパムや運用上の不確実性を抑えられる場合があります。

一方で、承認されたバリデーターが誠実さ、稼働性、独立性を保つことをユーザーが信頼する必要が生じます。

パーミッションレスなシステムは開放性を高めますが、嫌がらせ、遅延攻撃、担保操作、ソフトウェア悪用に対する強力な防御が必要です。

ネットワークが紛争ゲームへの参加をパーミッションレスにする一方、システムの一部を停止または置換できる緊急評議会やアップグレード権限を維持する場合もあります。

異議申し立てがパーミッションレスであれば、あらゆる管理権限がなくなると考えず、セキュリティモデル全体を確認してください。

不正証明の最新動向

2026年7月時点で、本番環境のフォールト証明システムは、新しいクライアント、アップグレードされた仮想マシン、改善された紛争プロトコル、より広いパーミッションレス参加を通じて発展を続けています。

OP Stackの公式文書では、パーミッションレスな異議申し立てと、2026年の新しいフォールト証明クライアントへの移行が説明されています。これは、チャレンジャーの運用者が最新のソフトウェアと絶対状態に準拠し続ける必要があることを示しています。

2026年のフォールト証明クライアント移行に関する公式告知では、旧証明ソフトウェアのサポートが終了し、チェーン運営者が後継の実装に移行する必要があると説明されています。

Arbitrumの公式文書では、BoLDはパーミッションレスな検証を可能にし、悪意のある参加者が紛争を無期限に延長する能力を制限する、期限付きの紛争設計として説明されています。

2026年のBoLD概要では、対話型不正証明により、紛争期間を制限しながら公開の異議申し立てを可能にする方法が説明されています。

これらの動向は、不正証明が理論上のブロックチェーン構想にとどまらず、本番環境で稼働するセキュリティシステムであることを示しています。

また、証明システムには継続的な監査、クライアントの保守、アップグレード調整、監視、インシデント対応が必要であることも示しています。

不正証明とソフトウェアのアップグレード

フォールト証明プログラムは、状態の異議申し立て対象となるロールアップのバージョンと同じコンセンサスルールを実行する必要があります。

プロトコルのアップグレードにより、トランザクションの実行、ガスコスト、プリコンパイル、ブロックルール、システムコントラクト、データの解釈が変わる場合があります。

古いルールを使うチャレンジャーソフトウェアは、有効な主張を無効と誤判定したり、本当に無効な主張への異議申し立てに失敗したりする可能性があります。

証明システムでは、証明仮想マシンの開始条件を確定する絶対状態を使うことがよくあります。

証明プログラムやコンセンサスルールの変更には、新しい絶対状態と更新済みのオンチェーンコントラクトが必要になる場合があります。

運営者は、旧ルールと新ルールのどちらで開始した紛争も正しいルールで解決できるよう、アップグレードを慎重に調整しなければなりません。

この複雑さが、長期的なセキュリティにおいて複数の独立した証明実装が有益とされる理由の一つです。

遅延攻撃とは？

遅延攻撃とは、無効な状態を立証することなく、紛争解決を長引かせたり、有効な状態の最終確定を妨げたりする攻撃です。

攻撃者は、矛盾する主張の提出、チャレンジラウンドの繰り返し、時間規則の悪用、誠実な参加者の資本拘束などを試みる場合があります。

古い対話型設計では、攻撃者が紛争を連続して開始し、出金の遅延を何度も延長できる可能性がありました。

期限付きの紛争設計は、悪意のある主張が多数提出されても、予測可能な最大期間内に解決できるようにすることを目指します。

金銭的な担保は遅延攻撃のコストを高めますが、適切な時間規則やゲームルールの必要性をなくすわけではありません。

無効な主張が確定しないという安全性と、有効な主張が最終的に確定するという活性の両方を守る必要があります。

安全性と活性

安全性とは、不正証明システムが無効な状態を受け入れず、不正な出金を許さないことです。

活性とは、誠実なトランザクション、状態の主張、出金が最終的に処理されることです。

不確実な間にすべての出金を停止すれば安全性は守れる場合がありますが、活性が損なわれます。

主張を迅速に確定すれば活性を高められますが、チャレンジ期間が短すぎると安全性が弱まる可能性があります。

緊急時の権限、紛争のタイムアウト、担保、チャレンジ期間、参加許可ルールは、この2つの目標のバランスを取るものです。

ロールアップを評価する際は、資金が盗まれる可能性だけでなく、長期間利用できなくなる可能性も確認してください。

不正証明の主なセキュリティ前提

不正証明を利用するロールアップでは一般に、少なくとも1人の誠実な当事者がロールアップの状態を再構成し、無効な主張に異議を申し立てられることを前提とします。

その参加者が検証を行えるよう、必要なトランザクションデータが十分な期間利用可能でなければなりません。

決済ブロックチェーンがトランザクションの処理を継続し、紛争期間中に誠実な異議申し立てをすべて検閲しない必要があります。

ロールアップの状態遷移関数と証明仮想マシンは、意図されたルールを正しく実装しなければなりません。

オンチェーンの紛争コントラクトは、手続き、期限、担保、コミットメント、最終証明を正しく評価する必要があります。

誠実なチャレンジャーは、最新のソフトウェア、十分な計算リソース、信頼できるデータソース、ガス代と担保に十分な資金を用意する必要があります。

アップグレードキー、ガーディアン、セキュリティ評議会、ガバナンスコントラクトが、証明システムを無効化または置換できる権限を悪用しないことも必要です。

誠実なチャレンジャー1人で全員を保護できる？

原則として、プロトコルがパーミッションレスで、必要な前提がすべて満たされる場合、誠実なチャレンジャー1人で無効な状態の主張が確定するのを防げます。

決済コントラクトが客観的な実行ルールに従って紛争を判定するため、チャレンジャーはロールアップのユーザーの大多数から支持される必要はありません。

ただし、1人の誠実な参加者は不具合を検知し、必要なデータを持ち、オンラインを維持し、参加費用を負担し、検閲を受けずに異議を申し立てなければなりません。

理論上1人のチャレンジャーで足りるシステムでも、異なるインフラやソフトウェア実装を使う独立したチャレンジャーが複数いれば、運用上の耐性が高まります。

多様性があれば、1つのバグ、障害、法的制限、クラウドサービスの不具合によってすべての監視機能が同時に失われるリスクを減らせます。

不正証明ですべてのロールアップ攻撃を防げる？

不正証明は無効な状態遷移を却下できますが、ロールアップに関わるすべてのセキュリティ問題を解決するものではありません。

シーケンサーによる検閲、ユーザー鍵の窃取、悪意あるアプリケーションコントラクト、フィッシング、オラクル操作、ガバナンス攻撃を自動的に防ぐことはできません。

決済レイヤー外にデータが保存され、可用性の前提が弱い場合、ユーザーを保護できない可能性があります。

証明システム自体に重大な共通バグがあり、誠実な参加者も不誠実な参加者も同じ誤った結果を計算する場合にも、対処できません。

安全なロールアップには、不正証明に加え、強固なデータ可用性、監査済みのブリッジコントラクト、安全なアップグレード手続き、信頼性の高いノード、透明性のあるガバナンスが必要です。

Plasmaにおける不正証明

Plasmaシステムは、別の子チェーン上の活動に関する紛争を、親ブロックチェーンで解決します。

運営者が無効なトランザクションや状態を確定しようとした場合、ユーザーは不正証明を提出できます。

従来型のPlasma設計では、トランザクションデータの多くを親ブロックチェーンの外に保存することが一般的です。

運営者が必要な情報の提供を拒否すると、ユーザーが不正証明を作成できなくなる可能性があり、データ隠匿の問題が生じます。

EthereumのPlasmaに関するドキュメントでは、ロールアップはトランザクションデータを決済レイヤー経由で公開することで、このセキュリティモデルを改善すると説明しています。

不正証明はPlasmaとオプティミスティックロールアップの両方で使われますが、周辺のデータ可用性の保証は異なります。

ステートチャネルにおける不正証明

ステートチャネルでは、特定の参加者グループが署名済みの状態更新をブロックチェーンの外でやり取りできます。

通常、参加者はチャネルの開始、最終状態の決済、または紛争解決のためだけにブロックチェーンを利用します。

不誠実な参加者が、自分に有利な残高となる古い状態を使ってチャネルを閉じようとする場合があります。

誠実な参加者は紛争期間中に、より新しい正しく署名された状態を提示して対抗できます。

この証拠は、決済の試みが古い、または無効であることを示すため、不正証明として機能します。

Ethereumのステートチャネルガイドでは、無効または古い状態が提出された場合に、紛争仲裁がどのようにユーザーを保護するかを説明しています。

不正証明が暗号資産ユーザーに与える影響

専門のバリデーターや監視サービスが継続的に検証を行うため、ロールアップのユーザーが自ら不正証明を提出することは通常ありません。

それでも、オプティミスティックロールアップの標準ブリッジを通じて資産を保有し、アプリケーションを利用し、出金するユーザーは、この仕組みに依存しています。

ロールアップ上でトランザクションの確認が速くても、決済レイヤーでのファイナリティは未確定の場合があります。

異議申し立てが成功すると、無効な状態の主張に基づく未確定の結果が取り消される可能性があります。

ウォレットやアプリケーションは、シーケンサーによる確認、決済レイヤーでの確認、出金の完了・最終確定の違いを明確に伝えるべきです。

ユーザーは、ネットワークの不正証明が稼働中か、パーミッションレスか、アップグレード可能か、緊急時の管理権限に支えられているかも理解する必要があります。

開発者が不正証明を想定して設計する方法

ロールアップ開発者は、コンセンサスに関わるすべての操作が証明環境内で決定論的に再現できるようにする必要があります。

ローカル時刻、オペレーティングシステムの未定義の乱数、文書化されていない外部サービス、ハードウェア固有の結果への依存を避けるべきです。

証明コード、ノードコード、オンチェーン検証コントラクトは、命令の意味とデータ形式について一致していなければなりません。

開発者は、無効な出力、応答の遅延、矛盾する主張、データの欠落、担保不足、プロトコルのアップグレードをテストする必要があります。

チャレンジャーの実行方法や、必要な絶対状態とコントラクトアドレスを検証する手順も明確にするべきです。

セキュリティ監査では、通常のロールアップ実行経路と、まれにしか使われない紛争解決経路の両方を確認する必要があります。

現実的な敵対的状況で一度も試されていない紛争システムは、実際に必要とされたときに機能しない可能性があります。

不正証明システムの評価方法

まず、ネットワークに稼働中の不正証明システムがあるのか、ロードマップや計画上の設計にとどまるのかを確認してください。

誰でも異議を申し立てられるのか、許可リストによって参加が制限されているのかを確認します。

チャレンジ期間、出金遅延、担保要件、紛争期限、解決までに想定される最大時間を特定してください。

トランザクションデータの公開場所と、ユーザーがロールアップの状態を独立して再構成できるかを確認します。

緊急ガーディアン、セキュリティ評議会、管理者、ガバナンスコントラクトが、最終確定した結果を覆せるかを確認してください。

複数のチャレンジャー運営者、公開ノードソフトウェア、再現可能なビルド、監査、脆弱性開示、バグ報奨金制度の有無も調べます。

旧ソフトウェアのバージョンで開始された紛争を含め、プロトコルのアップグレードに証明システムがどう対応するかを確認してください。

優れたセキュリティ説明では、ロールアップがベースレイヤーのセキュリティをすべて継承すると主張するだけでなく、制約や信頼の前提を説明します。

不正証明に関するよくある誤解

よくある誤解は、ロールアップのすべてのトランザクションに不正証明が付いているというものです。

不正証明は通常、誰かが争いのある結果に異議を申し立てた場合にのみ生成されます。

また、不正証明が犯罪や不誠実な意図を証明すると誤解されることがあります。

この仕組みが証明するのは計算や主張の誤りであり、法的な意図は別の問題です。

1週間の出金待機時間を、ロールアップのトランザクション自体に1週間かかることだと考える人もいます。

ロールアップのトランザクションは数秒で実行されても、長い待機時間は決済と標準出金のセキュリティに関するものです。

パーミッションレスな不正証明があれば、中央集権的な管理権限がすべてなくなると考えるのも誤りです。

異議申し立てが公開されていても、中央集権型のシーケンサー、アップグレードキー、ガーディアン、緊急停止権限が残る場合があります。

不正証明のリスク

実装リスクは、証明プログラム、仮想マシン、スマートコントラクトのバグから生じます。

データ可用性リスクは、チャレンジャーが紛争中の状態を再構成するための情報を入手できない場合に生じます。

検閲リスクは、期限前に誠実な不正証明トランザクションを決済ブロックチェーンへ届けられない場合に生じます。

活性リスクは、悪意のある主張やソフトウェア障害によって、正当な出金が遅れる場合に生じます。

経済リスクは、ガス価格や担保要件により異議申し立てのコストが高くなりすぎる場合に生じます。

アップグレードリスクは、ノード、証明プログラム、コントラクト、絶対状態が同じプロトコルバージョンに従わない場合に生じます。

ガバナンスリスクは、特権を持つ当事者が紛争システムを停止、置換、無効化できる場合に生じます。

運用リスクは、すべてのチャレンジャーが同じクラウドプロバイダー、コードベース、データベース、監視サービスに依存する場合に生じます。

よくある質問

不正証明を簡単に言うと何ですか？

不正証明とは、提案されたブロックチェーンやロールアップの結果が誤って計算されたことを示す証拠です。

暗号資産で不正証明が使われるのはなぜですか？

ブロックチェーンのスケーリングにオフチェーン計算を利用しながら、独立した参加者が無効な結果を却下できるようにするためです。

不正証明とフォールト証明の違いは何ですか？

通常は同じ仕組みを指しますが、「フォールト証明」は、誤った結果が常に意図的な不正によるものとは限らないことを示す用語です。

どの暗号資産システムで不正証明が使われますか？

主にオプティミスティックロールアップで利用されますが、関連する紛争解決の仕組みはPlasmaシステムやステートチャネルにもあります。

オプティミスティックロールアップのすべてのトランザクションで不正証明が生成されますか？

いいえ。通常、不正証明は参加者が誤った状態の主張に異議を申し立てた場合にのみ生成されます。

誰が不正証明を提出できますか？

完全にパーミッションレスなシステムでは誰でも提出できますが、許可型システムでは承認済みの参加者に制限されます。

チャレンジャーとは何ですか？

チャレンジャーとは、ロールアップの状態の主張を確認し、プロトコルルールに従わない主張に異議を申し立てる参加者または自動化サービスです。

チャレンジ期間とは何ですか？

チャレンジ期間とは、提案されたオプティミスティック状態が最終確定する前に異議を申し立てられる期間です。

不正証明のチャレンジ期間はどのくらいですか？

プロトコルによって異なりますが、本番環境のオプティミスティックロールアップでは約1週間の期間がよく使われます。

オプティミスティックロールアップの出金に数日かかるのはなぜですか？

無効または捏造されたロールアップ状態に基づく出金を、チャレンジャーが阻止する時間を設けるためです。

不正証明でトランザクションを取り消せますか？

ロールアップの紛争処理と復旧ルールに従い、未確定の状態の主張と、それに基づく結果を無効にできる場合があります。

対話型不正証明とは何ですか？

複数回の紛争ラウンドで長い計算を絞り込み、オンチェーンで検証可能な小さな1ステップに特定する仕組みです。

不正証明における二分探索とは何ですか？

実行トレースを繰り返し分割し、結果が最初に異なる箇所を当事者間で特定する方法です。

1ステップ証明とは何ですか？

決済コントラクトが争われている1つのマシン命令を検証し、どちらの参加者が正しく計算したか判定できる証明です。

出力ルートとは何ですか？

特定のブロック時点のロールアップ状態と関連情報に対する暗号学的コミットメントです。

1者誠実性の仮定とは何ですか？

少なくとも1人の対応能力を持つ参加者が、期限前に無効な状態を検知して異議を申し立てるという前提です。

不正証明システムには多数のバリデーターが必要ですか？

理論上は誠実なチャレンジャー1人で足りる場合がありますが、独立したチャレンジャーが複数いれば運用上の耐性が高まります。

データ可用性が必要なのはなぜですか？

チャレンジャーは、ロールアップ状態を再構成し、誤った遷移が起きた箇所を正確に示すためにトランザクションデータを必要とします。

トランザクションデータが隠されていても不正証明は機能しますか？

実行の再現に必要なデータが隠され、別のデータ可用性証明も提供されない場合、機能しない可能性があります。

不正証明と有効性証明の違いは何ですか？

不正証明は異議申し立て後に結果が誤っていることを示し、有効性証明は受け入れ前に結果が正しいことを示します。

不正証明はゼロ知識証明ですか？

いいえ。不正証明は一般にオプティミスティックな紛争解決の仕組みですが、高度なシステムではフォールト証明とゼロ知識技術が組み合わされる場合があります。

Merkle証明は不正証明と同じですか？

いいえ。Merkle証明はコミット済みのデータセットへの包含を示し、不正証明は計算や状態遷移が誤っていることを示します。

不正証明が成功するとどうなりますか？

無効な主張が却下され、正しい状態が維持され、敗者が担保を失う場合があります。

異議申し立てが失敗するとどうなりますか？

異議の対象となった主張は最終確定に向けて進み、失敗したチャレンジャーは担保の一部を失う場合があります。

担保が必要なのはなぜですか？

不正または不注意な参加に経済的なコストを課し、虚偽の主張、スパム、不要な紛争を抑制するためです。

不正証明でシーケンサーによる検閲を止められますか？

いいえ。不正証明は実行の正しさを検証するもので、検閲耐性には通常、強制取り込み経路などの追加機能が必要です。

不正証明でスマートコントラクトのハッキングを防げますか？

いいえ。脆弱なアプリケーションで悪意のあるトランザクションが実行されても、ロールアップの状態遷移ルール上は有効となる場合があります。

不正証明コントラクトにバグが含まれることはありますか？

あります。証明プログラム、仮想マシン、紛争コントラクト、チャレンジャーソフトウェアのすべてに実装上の脆弱性が含まれる可能性があります。

遅延攻撃とは何ですか？

誤った状態を立証せずに、紛争解決を長引かせたり、有効な状態の最終確定を妨げたりする攻撃です。

期限付き紛争とは何ですか？

悪意のある主張が多数提出されても、予測可能な最大期間内に解決するよう設計された紛争です。

すべての不正証明システムはパーミッションレスですか？

いいえ。一部のネットワークはバリデーターやチャレンジャーを制限し、公開参加を認めるネットワークでも技術要件や担保要件を課す場合があります。

パーミッションレスな不正証明システムにも管理者が存在しますか？

存在する場合があります。緊急ガーディアン、アップグレード権限者、ガバナンス組織、セキュリティ評議会が重要な権限を維持することがあります。

ユーザーはチャレンジャーソフトウェアを実行する必要がありますか？

一般ユーザーは通常、独立したバリデーターに依存しますが、検証ソフトウェアを実行すれば他の参加者への依存を減らせる場合があります。

オプティミスティックロールアップを利用する前に何を確認すべきですか？

不正証明が稼働しているか、誰が異議を申し立てられるか、データがどこに保存されるか、出金にどの程度かかるか、緊急権限を誰が持つかを確認してください。

まとめ

不正証明とは、暗号資産のトランザクションバッチ、状態遷移、出力ルート、出金の主張が誤って計算されたことを示す紛争解決の仕組みです。

オプティミスティックロールアップは、オフチェーンの結果を一時的に受け入れる一方、即時の有効性証明を要求しないため、不正証明はその中核となるセキュリティ要素です。

独立したチャレンジャーは実行を再現し、定められたチャレンジ期間中に誤った主張へ異議を申し立てます。

対話型紛争ゲームでは、何百万もの計算ステップを、決済ブロックチェーンが直接検証する1つの命令まで絞り込めます。

状態コミットメントの背後にあるトランザクションへアクセスできなければ、チャレンジャーは不具合を証明できないため、データ可用性は不可欠です。

金銭的な担保は虚偽の主張を抑制し、システムの防御にかかるコストの一部を補います。

パーミッションレスな不正証明は承認済みバリデーターへの依存を減らしますが、ガバナンス、アップグレード、シーケンサー、運用上の信頼に関する前提をすべてなくすわけではありません。

不正証明は、受け入れ前にすべての結果が正しいと証明するのではなく、異議申し立て後に誤った結果を却下する点で、有効性証明と異なります。

2026年も、本番環境のフォールト証明システムは、証明クライアントの更新、期限付き紛争プロトコル、より幅広いパーミッションレス参加を通じて発展しています。

不正証明を理解すると、暗号資産ユーザーはロールアップのセキュリティ、出金遅延、データ可用性、チャレンジャーに関する前提、オプティミスティック型ブロックチェーンスケーリングの実際の限界を評価しやすくなります。