Skip to content

op-challenger: Challenge proposals that are still unsafe.#18467

Merged
ajsutton merged 3 commits intodevelopfrom
aj/challenge-unsafe
Dec 3, 2025
Merged

op-challenger: Challenge proposals that are still unsafe.#18467
ajsutton merged 3 commits intodevelopfrom
aj/challenge-unsafe

Conversation

@ajsutton
Copy link
Copy Markdown
Contributor

@ajsutton ajsutton commented Dec 2, 2025

Description

Challenge optimistic zk proposals if they are still unsafe. This ensures the game can't resolve as valid and then later have the unsafe chain re-orged out. While the data still may not have been submitted before the game's L1 head, if the safe head has since advanced we know that the data is on L1 and that is the output root that will be derived so there's we don't waste capital by placing a challenge. This also avoids the need to use the safe head db.

Also adds the proposal status to the in progress game info log.

Tests

Added unit test.

Additional context

Builds on #18465

Metadata

#18321

@ajsutton ajsutton requested review from a team and mbaxter and removed request for a team December 2, 2025 02:49
Comment thread op-challenger/game/zk/actor.go
@ajsutton ajsutton requested review from a team and teddyknox and removed request for a team December 3, 2025 01:04
@ajsutton ajsutton force-pushed the aj/challenge-unsafe branch from 5980261 to 11ab89d Compare December 3, 2025 01:08
@ajsutton ajsutton force-pushed the aj/challenge-unsafe branch from 394730f to 38a0816 Compare December 3, 2025 05:10
Base automatically changed from aj/claim-bonds to develop December 3, 2025 05:46
@ajsutton ajsutton added this pull request to the merge queue Dec 3, 2025
Merged via the queue into develop with commit 7672c9a Dec 3, 2025
81 checks passed
@ajsutton ajsutton deleted the aj/challenge-unsafe branch December 3, 2025 20:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants