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

Open
#20,774 3 comments 0 reactions 0 assignees View on GitHub
proofs: 1dw
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

Open the contributing 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.