Proofs: FaultDisputeGame Automated Refunds

[smartcontracts]

Summary

Improvements to the FaultDisputeGame that will automate bond refunds for invalidated games by default, minimizing the need for the DelayedWETH contract.

Context

Dealing with FaultDisputeGame bonds appropriately is an important part of the current OP Stack incident response process. FaultDisputeGame stores player bonds inside of the DelayedWETH contract which imposes a 7 day delay on bond withdrawals. During this delay period, the 2/2 Safe managed jointly by the Security Council and the Optimism Foundation can hold bonds from specific games or from all games at the same time. Held bonds are transferred to this 2/2 Safe where they can be manually disbursed to the correct recipients.

Problem Statement

Although DelayedWETH is an effective tool at preventing a buggy or malicious FaultDisputeGame from distributing bonds to a potential attacker, the actual process of returning those bonds back to the correct players is underspecified. Underspecified processes can introduce significant stress
to already stressful situations where executive decisions around fallbacks must be made quickly and confidently. We therefore want to introduce alternative low-stress options for bond recovery.

Project Updates

• [2024-09-27] Draft design document is available here.
• [2024-09-27] Draft design document is being actively reviewed.
• [2024-10-28] Design document has been approved and merged.

Resources

• Design document