mirror of
https://github.com/status-im/nimbus-eth2.git
synced 2025-01-11 14:54:12 +00:00
b32205de7c
* reworked some of the das core specs, pr'd to check whether whether the conflicting type issue is centric to my machine or not * bumped nim-blscurve to 9c6e80c6109133c0af3025654f5a8820282cff05, same as unstable * bumped nim-eth2-scenarios, nim-nat-traversal at par with unstable, added more pathches, made peerdas devnet branch backward compatible, peerdas passing new ssz tests as per alpha3, disabled electra fixture tests, as branch hasn't been rebased for a while * refactor test fixture files * rm: serializeDataColumn * refactor: took data columns extracted from blobs during block proposal to the heap * disable blob broadcast in pd devnet * fix addBlock in message router * fix: data column iterator * added debug checkpoints to check CI * refactor if else conditions * add: updated das core specs to alpha 3, and unit tests pass
120 lines
3.6 KiB
Nim
120 lines
3.6 KiB
Nim
# beacon_chain
|
|
# Copyright (c) 2022-2024 Status Research & Development GmbH
|
|
# Licensed and distributed under either of
|
|
# * MIT license (license terms in the root directory or at https://opensource.org/licenses/MIT).
|
|
# * Apache v2 license (license terms in the root directory or at https://www.apache.org/licenses/LICENSE-2.0).
|
|
# at your option. This file may not be copied, modified, or distributed except according to those terms.
|
|
|
|
{.push raises: [].}
|
|
{.used.}
|
|
|
|
import
|
|
unittest2,
|
|
../beacon_chain/spec/forks,
|
|
../beacon_chain/spec/datatypes/[phase0, deneb],
|
|
../beacon_chain/consensus_object_pools/block_quarantine
|
|
|
|
func makeBlock(slot: Slot, parent: Eth2Digest): ForkedSignedBeaconBlock =
|
|
var
|
|
b = phase0.SignedBeaconBlock(
|
|
message: phase0.BeaconBlock(slot: slot, parent_root: parent))
|
|
b.root = hash_tree_root(b.message)
|
|
ForkedSignedBeaconBlock.init(b)
|
|
|
|
func makeBlobbyBlock(slot: Slot, parent: Eth2Digest): deneb.SignedBeaconBlock =
|
|
var
|
|
b = deneb.SignedBeaconBlock(
|
|
message: deneb.BeaconBlock(slot: slot, parent_root: parent))
|
|
b.root = hash_tree_root(b.message)
|
|
b
|
|
|
|
suite "Block quarantine":
|
|
test "Unviable smoke test":
|
|
let
|
|
b0 = makeBlock(Slot 0, ZERO_HASH)
|
|
b1 = makeBlock(Slot 1, b0.root)
|
|
b2 = makeBlock(Slot 2, b1.root)
|
|
b3 = makeBlock(Slot 3, b2.root)
|
|
b4 = makeBlock(Slot 4, b2.root)
|
|
b5 = makeBlobbyBlock(Slot 4, b3.root)
|
|
b6 = makeBlobbyBlock(Slot 4, b4.root)
|
|
|
|
var quarantine: Quarantine
|
|
|
|
quarantine.addMissing(b1.root)
|
|
check:
|
|
FetchRecord(root: b1.root) in quarantine.checkMissing(32)
|
|
|
|
quarantine.addOrphan(Slot 0, b1).isOk
|
|
|
|
FetchRecord(root: b1.root) notin quarantine.checkMissing(32)
|
|
|
|
quarantine.addOrphan(Slot 0, b2).isOk
|
|
quarantine.addOrphan(Slot 0, b3).isOk
|
|
quarantine.addOrphan(Slot 0, b4).isOk
|
|
|
|
quarantine.addBlobless(Slot 0, b5)
|
|
quarantine.addBlobless(Slot 0, b6)
|
|
|
|
(b4.root, ValidatorSig()) in quarantine.orphans
|
|
b5.root in quarantine.blobless
|
|
b6.root in quarantine.blobless
|
|
|
|
quarantine.addUnviable(b4.root)
|
|
|
|
check:
|
|
(b4.root, ValidatorSig()) notin quarantine.orphans
|
|
|
|
b5.root in quarantine.blobless
|
|
b6.root notin quarantine.blobless
|
|
|
|
quarantine.addUnviable(b1.root)
|
|
|
|
check:
|
|
(b1.root, ValidatorSig()) notin quarantine.orphans
|
|
(b2.root, ValidatorSig()) notin quarantine.orphans
|
|
(b3.root, ValidatorSig()) notin quarantine.orphans
|
|
|
|
b5.root notin quarantine.blobless
|
|
b6.root notin quarantine.blobless
|
|
|
|
test "Recursive missing parent":
|
|
let
|
|
b0 = makeBlock(Slot 0, ZERO_HASH)
|
|
b1 = makeBlock(Slot 1, b0.root)
|
|
b2 = makeBlock(Slot 2, b1.root)
|
|
|
|
var quarantine: Quarantine
|
|
check:
|
|
b0.root notin quarantine.missing
|
|
b1.root notin quarantine.missing
|
|
b2.root notin quarantine.missing
|
|
|
|
# Add b2
|
|
quarantine.addOrphan(Slot 0, b2).isOk
|
|
b0.root notin quarantine.missing
|
|
b1.root in quarantine.missing
|
|
b2.root notin quarantine.missing
|
|
|
|
# Add b1
|
|
quarantine.addOrphan(Slot 0, b1).isOk
|
|
b0.root in quarantine.missing
|
|
b1.root notin quarantine.missing
|
|
b2.root notin quarantine.missing
|
|
|
|
# Re-add b2
|
|
quarantine.addOrphan(Slot 0, b2).isOk
|
|
b0.root in quarantine.missing
|
|
b1.root notin quarantine.missing
|
|
b2.root notin quarantine.missing
|
|
|
|
# Empty missing
|
|
while quarantine.missing.len > 0:
|
|
discard quarantine.checkMissing(max = 5)
|
|
|
|
check:
|
|
# Re-add b2
|
|
quarantine.addOrphan(Slot 0, b2).isOk
|
|
b0.root in quarantine.missing
|
|
b1.root notin quarantine.missing
|
|
b2.root notin quarantine.missing |