From 4f1d8152d5b0d5a3eed26435bbe036c153ad5bdb Mon Sep 17 00:00:00 2001 From: Paul Hauner Date: Tue, 14 Dec 2021 16:21:30 +1100 Subject: [PATCH] Add note about full verification --- sync/optimistic.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/sync/optimistic.md b/sync/optimistic.md index 4b0c381a7..696a954ac 100644 --- a/sync/optimistic.md +++ b/sync/optimistic.md @@ -22,6 +22,11 @@ set: - `optimistic_roots: Set[Root]`: `hash_tree_root(block)` where `block.body.execution_payload` is known to be `SYNCING`. +Notably, blocks included in `optimistic_roots` have passed all verifications +included in `process_block` (noting the modifications to the +`execute_payload`). I.e., the blocks are fully verified but awaiting execution +of the `ExecutionPayload`. + A consensus engine MUST be able to retrospectively (i.e., after import) modify the status of `SYNCING` blocks to be either `VALID` or `INVALID` based upon responses from an execution engine. I.e., perform the following transitions: