Clarify liveness

This commit is contained in:
Paul Hauner 2022-01-18 12:21:34 +11:00
parent f4a125c89a
commit 0ec61bd195
No known key found for this signature in database
GPG Key ID: 5E2CFF9B75FA63DF
1 changed files with 3 additions and 1 deletions

View File

@ -293,7 +293,9 @@ Thankfully, if 2/3rds of validators are not poisoned, they can justify an
honest chain which will un-poison all other nodes. honest chain which will un-poison all other nodes.
Notably, this attack only exists for optimistic nodes. Nodes which fully verify Notably, this attack only exists for optimistic nodes. Nodes which fully verify
the transition block will reject a block with a junk parent hash. the transition block will reject a block with a junk parent hash. Therefore,
liveness is unaffected if a vast majority of nodes have fully synced execution
and consensus clients before and during the transition.
Given all of this, we can say two things: Given all of this, we can say two things: