不正証明は、ブロックチェーンの検証システムで、計算や状態遷移に関する誤った主張を争うための証拠です。オプティミスティックロールアップは、この異議申立てを使って基盤チェーンに提出された無効な結果を排除します。フォールトプルーフとも呼ばれ、示すのは誤りであって、人の故意の詐欺とは限りません。
主張から紛争解決へ
提案者はロールアップの結果状態へのコミットメントを提出します。検証者は利用可能なデータから実行を再現し、期限内に誤りを争えます。対話型の仕組みでは、不一致を基盤チェーンのコントラクトが確認できる小さな計算まで絞り込みます。
異議が認められると、規則に従い対象結果の承認が阻止されます。保証金や罰則は実装次第です。出金がロールアップに含まれたことの証明と、状態への主張を争う不正証明は別のものです。
周辺の仕組みも重要
有効性証明は承認のために計算の正しさを示します。一方、楽観的な方式は誤りへの異議機会に依存するため、データの可用性と期限内に対応できる検証者が必要です。
異議期間、参加権限、アップグレード権限、緊急操作は異なります。不正証明を掲げるだけでは、検閲、コントラクト不具合、管理者への依存は消えず、即時出金も保証されません。