From 404bf0731032e21765bfbae536639cff4cd00b0a Mon Sep 17 00:00:00 2001 From: clabby Date: Wed, 26 Jun 2024 12:24:22 -0400 Subject: [PATCH] Update specs/granite/header_accumulator.md Co-authored-by: Adrian Sutton --- specs/granite/header_accumulator.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specs/granite/header_accumulator.md b/specs/granite/header_accumulator.md index 1bbdc3650..4607b0542 100644 --- a/specs/granite/header_accumulator.md +++ b/specs/granite/header_accumulator.md @@ -131,7 +131,7 @@ After Granite activation, every time `block.number % HEADER_BATCH_SIZE == 0`, th and continue to the next step. - If the current block is not the first header accumulation block, and the block header at `block.number - HEADER_BATCH_TREE_DEPTH` does not contain a valid header accumulator `extraData` field, - block execution should _always_ fail immediately. + block execution _must_ fail immediately. - If the current block is not the first header accumulation block, and the block header at `block.number - HEADER_BATCH_TREE_DEPTH` does contain a valid header accumulator `extraData` field, continue to the next step.