Skip to content

interop: Describe super fault dispute game differences to fault dispute game#620

Merged
ajsutton merged 2 commits intomainfrom
aj/super-dispute-game
Mar 20, 2025
Merged

interop: Describe super fault dispute game differences to fault dispute game#620
ajsutton merged 2 commits intomainfrom
aj/super-dispute-game

Conversation

@ajsutton
Copy link
Copy Markdown
Contributor

Description

Add an initial definition of the super fault dispute game. Mostly works by referencing the existing fault dispute game and explaining the differences, plus going into detail on how the state transition function works for the top half of the super game.

Metadata

#541

Copy link
Copy Markdown
Contributor

@Inphi Inphi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Excellent. It's easy to read with the diff against the pre-interop system.


The first 127 steps derive the next local safe block for one chain in the super root using
the [derivation process](../protocol/derivation.md). Chains are processed in the order they appear in the super root
(ascending order of chain ID). The `Step` is incremented after each step.
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ascending order of chain

This is somewhat new to me. Is this basically what the "chain index" will be?
I think it'll be less ambiguous to refer to the ordering of chains in the super output instead. Though I'd imagine in practice both orders will be the same.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah the chain index is the index of the chain in the super output (and dependency set - the ordering rules are the same). So the chain with the lowest chain ID is chain index 0.

@ajsutton ajsutton merged commit 779e8d3 into main Mar 20, 2025
1 check passed
@ajsutton ajsutton deleted the aj/super-dispute-game branch March 20, 2025 23:42
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