不正証明 (Fraud Proof)
要約： 不正証明 とは、オプティミスティック・ロールアップ（OR）で使われる技術的な手法で、ボンド（保証金）と組み合わせて分散型システムの誠実性を保つ役割を果たしま…
不正証明とは、オプティミスティック・ロールアップ（OR）で使われる技術的な手法で、ボンド（保証金）と組み合わせて分散型システムの誠実性を保つ役割を果たします。メインチェーンに結果を投稿する者は保証金をロックし、その結果が誤りであることを示す有効な不正証明が提出されると、その保証金を失う可能性があります。
重要な理由
オプティミスティック・ロールアップとは、イーサリアムなどのメインチェーンの外でトランザクションを処理し、その結果をメインチェーンに投稿するレイヤー2ネットワークです。結果を事前に証明するのではなく、正しいものと仮定することから、「オプティミスティック（楽観的）」と呼ばれています。チャレンジ期間中は、トランザクションを再実行して誤りを見つけた人なら誰でも不正証明を提出できます。証明が認められると、誤った結果は破棄され、不正を行った当事者はボンドを失います。そのため、誠実な監視者が一人いるだけで不正を見抜くことができ、メインチェーンがすべてのトランザクションを再実行する必要はありません。オプティミスティック・ロールアップからネイティブブリッジを通じて出金する際に通常数日かかるのも、このチャレンジ期間があるためです。ゼロ知識ロールアップの仕組みはこれとは異なり、バッチごとに有効性証明を添えて投稿します。
具体例
あるロールアップのオペレーターが、実際には送られていないトークンをあるアカウントが受け取ったとするバッチを投稿します。監視者がそのバッチを再実行して不一致を見つけ、メインチェーンに不正証明を提出します。バッチは拒否されて正しい状態が維持され、オペレーターのボンドはスラッシュ（没収）されます。その一部は、報酬として監視者に支払われることがよくあります。