Define missing header_root

Co-authored-by: Anton Nashatyrev <Nashatyrev@users.noreply.github.com>
This commit is contained in:
Diederik Loerakker 2021-06-03 18:00:51 +02:00 committed by GitHub
parent c0af420130
commit d4f6459108
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -608,6 +608,7 @@ def process_shard_header(state: BeaconState, signed_header: SignedShardBlobHeade
# Check that this header is not yet in the pending list
current_headers: Sequence[PendingShardHeader] = committee_work.status.value
header_root = hash_tree_root(header)
assert header_root not in [pending_header.root for pending_header in current_headers]
# Verify proposer