From ae46431db56ef6ad91b942833d87965d6888523d Mon Sep 17 00:00:00 2001 From: wildmolasses Date: Thu, 6 Feb 2025 14:28:41 -0500 Subject: [PATCH] Remove mention of blacklisted anchor game --- specs/fault-proof/stage-one/anchor-state-registry.md | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/specs/fault-proof/stage-one/anchor-state-registry.md b/specs/fault-proof/stage-one/anchor-state-registry.md index ee254cc4e..22d394391 100644 --- a/specs/fault-proof/stage-one/anchor-state-registry.md +++ b/specs/fault-proof/stage-one/anchor-state-registry.md @@ -118,7 +118,7 @@ timestamp less than or equal to the retirement timestamp (`respectedGameTypeUpda the `OptimismPortal` contract. The retirement timestamp has the effect of retiring all games created before the specific transaction in which the retirement timestamp was set. This includes all games created in the same block as the transaction that set the retirement timestamp. We -acknowledge the edge-case that games created in the same block *after* the retirement timestamp +acknowledge the edge-case that games created in the same block _after_ the retirement timestamp was set will be considered Retired Games even though they were technically created after the retirement timestamp was set. @@ -177,9 +177,8 @@ greater than the claim of the current Anchor Game. If there is no current Anchor become the Anchor Game if it has a Valid Claim and the claim's L2 block height is greater than the current Starting Anchor State's L2 block height. -After a Game becomes the Anchor Game, it will remain the Anchor Game until it is replaced by some -other Game. A Game that is retired after becoming the Anchor Game will remain the Anchor Game. A -Game that is blacklisted after becoming the Anchor Game must not be used as the Anchor Game. +After a Game becomes the Anchor Game, it will remain the Anchor Game until it is replaced by some other Game. A Game +that is retired or blacklisted after becoming the Anchor Game will remain the Anchor Game. ### Anchor Root @@ -188,10 +187,6 @@ Game instances. The value of the Anchor Root is the Starting Anchor State if no been set. Otherwise, the value of the Anchor Root is the root and L2 block height of the current Anchor Game. -If the Anchor Game exists and is blacklisted, the AnchorStateRegistry will have no Anchor Root, -will not allow new Dispute Games to be created using the Anchor Root, and will not allow the Anchor -Root to be updated except through manual intervention. - ## Assumptions > **NOTE:** Assumptions are utilized by specific invariants and do not apply globally. Invariants