Skip to content

chore: rm fault proofs#284

Merged
jackchuma merged 14 commits into
mainfrom
chore/rm-fault-proofs
May 15, 2026
Merged

chore: rm fault proofs#284
jackchuma merged 14 commits into
mainfrom
chore/rm-fault-proofs

Conversation

@jackchuma

@jackchuma jackchuma commented May 14, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Removes the onchain fault-proof and Cannon/MIPS surface: FaultDisputeGameV2, PermissionedDisputeGameV2, MIPS64, PreimageOracle, Cannon libraries/interfaces, and their ABI/storage snapshots and tests.
  • Simplifies system deployment around the multiproof AggregateVerifier: implementations now cover the shared DelayedWETH, AnchorStateRegistry, DisputeGameFactory, portal/bridge contracts, and multiproof verifier contracts without deploying MIPS, preimage-oracle, or fault-game implementations.
  • Updates deploy configuration to drop fault-game, output-oracle proposer/challenger, and preimage-oracle fields; delayedWETHWithdrawalDelay now drives the retained delayed-WETH withdrawal delay, and starting anchors come from the multiproof genesis config.
  • Generalizes the anchor/dispute-game interfaces so AnchorStateRegistry works against IDisputeGame instead of the removed fault-dispute-game interface, and trims bridge types/errors down to the remaining aggregate-verifier flow.
  • Updates deployment, portal, dispute-game, and anchor-state tests to use AggregateVerifier based games, while removing obsolete fault-game, Cannon, preimage-oracle, LibGameArgs, LibPosition, and invariant coverage.
  • Refreshes interface checks, validation exclusions, semver locks, and snapshots to match the slimmer contract set.
@cb-heimdall

cb-heimdall commented May 14, 2026

Copy link
Copy Markdown
Collaborator

✅ Heimdall Review Status

Requirement Status More Info
Reviews 1/1
Denominator calculation
Show calculation
1 if user is bot 0
1 if user is external 0
2 if repo is sensitive 0
From .codeflow.yml 1
Additional review requirements
Show calculation
Max 0
0
From CODEOWNERS 0
Global minimum 0
Max 1
1
1 if commit is unverified 0
Sum 1
@jackchuma jackchuma marked this pull request as ready for review May 15, 2026 00:26
Comment thread deploy-config/mainnet.json Outdated
Comment thread deploy-config/sepolia.json Outdated
Comment thread deploy-config/mainnet.json Outdated
@jackchuma jackchuma requested a review from xenoliss May 15, 2026 14:25
@jackchuma jackchuma merged commit affa48e into main May 15, 2026
6 checks passed
@jackchuma jackchuma deleted the chore/rm-fault-proofs branch May 15, 2026 19:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

4 participants