From 0ec61bd195a308a81e2bf221346394284801c42a Mon Sep 17 00:00:00 2001 From: Paul Hauner Date: Tue, 18 Jan 2022 12:21:34 +1100 Subject: [PATCH] Clarify liveness --- sync/optimistic.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/sync/optimistic.md b/sync/optimistic.md index 67f2e3ee51..66ec8c3127 100644 --- a/sync/optimistic.md +++ b/sync/optimistic.md @@ -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. 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: