ethereum-optimism / ethereum-optimism/optimism
[1DW] Proofs: Increase `MAX_CLOCK_DURATION` and reduce air gap constants (keeping 7 day total) in preparation for faster withdrawals with ZK
- Dominant language
- Go
- Stars
- 6.5k
- Forks
- 4k
- Avg merge
- 2d 15h
- Merged PRs (30d)
- 145
Description
The finality delay and the proof maturity delay are both constants, and the contract implementation is shared. So we can't reduce them for ZK and 1-day withdrawals if there are still other chains using fault proofs, since stage 1 requires 7 days in total. For example if `DISPUTE_GAME_FINALITY_DELAY_SECONDS` becomes 12 hours to provide fast withdrawals on ZK dispute games, then it would reduce FaultDisputeGame to 4 days total.
To be configurable per-chain they would need to become constructor args. But aside from this transition period from fault proofs to ZK proofs, they don't really need to be configurable per chain.
Instead, we can reduce the finality delay (for all chains) to e.g. 12 hours, and increase `MAX_CLOCK_DURATION` to 6.5 days.
Together with these changes we should also reduce the DelayedWETH lockup (assuming the same length as air gap). It doesn't directly impact withdrawal time but it does affect ZK bond sizing.
Contributor guide
Research direction
Start by locating the shared dispute-game implementation and the definitions of MAX_CLOCK_DURATION, DISPUTE_GAME_FINALITY_DELAY_SECONDS, and the DelayedWETH lockup. Check how the finality delay, air gap, and lockup combine to preserve seven days, then update the relevant contract tests and verify both fault-proof and ZK withdrawal timing.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- solidity
- Domain
- blockchain
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 50/100