status-im
/
nimbus-eth2
mirror of https://github.com/status-im/nimbus-eth2.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity
nimbus-eth2/tests/test_exit_pool.nim

77 lines
2.9 KiB
Nim
Raw Permalink Normal View History

refactor exit pool and gossipsub-subscribe to exit pool message types (#1733) * refactor exit pool and gossipsub-subscribe to all exit pool message types * remove unused loop counter
2020-09-24 17:05:49 +00:00
# beacon_chain
remove unused imports in tests/ (#3713)
2022-06-07 17:05:06 +00:00
# Copyright (c) 2020-2022 Status Research & Development GmbH
refactor exit pool and gossipsub-subscribe to exit pool message types (#1733) * refactor exit pool and gossipsub-subscribe to all exit pool message types * remove unused loop counter
2020-09-24 17:05:49 +00:00
# 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.
{.used.}
remove unused imports in tests/ (#3713)
2022-06-07 17:05:06 +00:00
import chronos
clean up fork enum and field names * single naming strategy * simplify some fork code * simplify forked block production
2021-10-18 16:37:27 +00:00
import ../beacon_chain/spec/[datatypes/base, forks, presets]
Cleanups (#3123) Renames and cleanups split out from the validator monitoring branch, so as to reduce conflict area vs other PR:s * add constants for expected message timing * name validators after the messages they validate, mostly, to make grepping easier * unify field naming of EpochInfo across forks to make cross-fork code easier
2021-11-25 12:20:36 +00:00
import ../beacon_chain/consensus_object_pools/[
block_quarantine, blockchain_dag, exit_pool]
Introduce unittest2 and junit reports (#2522) * Introduce unittest2 and junit reports * fix XML path * don't combine multiple CI runs * fixup * public combined report also Co-authored-by: Ștefan Talpalaru <stefantalpalaru@yahoo.com>
2021-04-28 16:41:02 +00:00
import "."/[testutil, testdbutil]
refactor exit pool and gossipsub-subscribe to exit pool message types (#1733) * refactor exit pool and gossipsub-subscribe to all exit pool message types * remove unused loop counter
2020-09-24 17:05:49 +00:00
Introduce unittest2 and junit reports (#2522) * Introduce unittest2 and junit reports * fix XML path * don't combine multiple CI runs * fixup * public combined report also Co-authored-by: Ștefan Talpalaru <stefantalpalaru@yahoo.com>
2021-04-28 16:41:02 +00:00
suite "Exit pool testing suite":
refactor exit pool and gossipsub-subscribe to exit pool message types (#1733) * refactor exit pool and gossipsub-subscribe to all exit pool message types * remove unused loop counter
2020-09-24 17:05:49 +00:00
setup:
clean up fork enum and field names * single naming strategy * simplify some fork code * simplify forked block production
2021-10-18 16:37:27 +00:00
let
Validator monitoring (#2925) Validator monitoring based on and mostly compatible with the implementation in Lighthouse - tracks additional logs and metrics for specified validators so as to stay on top on performance. The implementation works more or less the following way: * Validator pubkeys are singled out for monitoring - these can be running on the node or not * For every action that the validator takes, we record steps in the process such as messages being seen on the network or published in the API * When the dust settles at the end of an epoch, we report the information from one epoch before that, which coincides with the balances being updated - this is a tradeoff between being correct (waiting for finalization) and providing relevant information in a timely manner)
2021-12-20 19:20:31 +00:00
validatorMonitor = newClone(ValidatorMonitor.init())
clean up fork enum and field names * single naming strategy * simplify some fork code * simplify forked block production
2021-10-18 16:37:27 +00:00
dag = init(
Validator monitoring (#2925) Validator monitoring based on and mostly compatible with the implementation in Lighthouse - tracks additional logs and metrics for specified validators so as to stay on top on performance. The implementation works more or less the following way: * Validator pubkeys are singled out for monitoring - these can be running on the node or not * For every action that the validator takes, we record steps in the process such as messages being seen on the network or published in the API * When the dust settles at the end of an epoch, we report the information from one epoch before that, which coincides with the balances being updated - this is a tradeoff between being correct (waiting for finalization) and providing relevant information in a timely manner)
2021-12-20 19:20:31 +00:00
ChainDAGRef, defaultRuntimeConfig, makeTestDB(SLOTS_PER_EPOCH * 3),
validatorMonitor, {})
clean up fork enum and field names * single naming strategy * simplify some fork code * simplify forked block production
2021-10-18 16:37:27 +00:00
pool = newClone(ExitPool.init(dag))
Introduce unittest2 and junit reports (#2522) * Introduce unittest2 and junit reports * fix XML path * don't combine multiple CI runs * fixup * public combined report also Co-authored-by: Ștefan Talpalaru <stefantalpalaru@yahoo.com>
2021-04-28 16:41:02 +00:00
test "addExitMessage/getProposerSlashingMessage":
refactor exit pool and gossipsub-subscribe to exit pool message types (#1733) * refactor exit pool and gossipsub-subscribe to all exit pool message types * remove unused loop counter
2020-09-24 17:05:49 +00:00
for i in 0'u64 .. MAX_PROPOSER_SLASHINGS + 5:
for j in 0'u64 .. i:
Better REST/RPC error messages (#3046) * Better REST/RPC error messages * homogenise block logging (root first) * homegenise message verification pipeline (verify in `gossip_verification`, act in `eth2_processor`) * use `subcommitteeIdx` consistently * log each sent contribution * fix block_sim * fix block topic * don't recalc root on gossip block validation * move position loop into sync pool
2021-11-05 15:39:47 +00:00
let msg = ProposerSlashing(signed_header_1: SignedBeaconBlockHeader(
message: BeaconBlockHeader(proposer_index: j)))
if i == 0:
check not pool[].isSeen(msg)
pool[].addMessage(msg)
check: pool[].isSeen(msg)
remove StateData (#3507) One more step on the journey to reduce `BlockRef` usage across the codebase - this one gets rid of `StateData` whose job was to keep track of which block was last assigned to a state - these duties have now been taken over by `latest_block_root`, a fairly recent addition that computes this block root from state data (at a small cost that should be insignificant) 99% mechanical change.
2022-03-16 07:20:40 +00:00
withState(dag.headState):
clean up fork enum and field names * single naming strategy * simplify some fork code * simplify forked block production
2021-10-18 16:37:27 +00:00
check:
pool[].getBeaconBlockExits(state.data).proposer_slashings.lenu64 ==
min(i + 1, MAX_PROPOSER_SLASHINGS)
pool[].getBeaconBlockExits(state.data).proposer_slashings.len == 0
refactor exit pool and gossipsub-subscribe to exit pool message types (#1733) * refactor exit pool and gossipsub-subscribe to all exit pool message types * remove unused loop counter
2020-09-24 17:05:49 +00:00
Introduce unittest2 and junit reports (#2522) * Introduce unittest2 and junit reports * fix XML path * don't combine multiple CI runs * fixup * public combined report also Co-authored-by: Ștefan Talpalaru <stefantalpalaru@yahoo.com>
2021-04-28 16:41:02 +00:00
test "addExitMessage/getAttesterSlashingMessage":
refactor exit pool and gossipsub-subscribe to exit pool message types (#1733) * refactor exit pool and gossipsub-subscribe to all exit pool message types * remove unused loop counter
2020-09-24 17:05:49 +00:00
for i in 0'u64 .. MAX_ATTESTER_SLASHINGS + 5:
for j in 0'u64 .. i:
Better REST/RPC error messages (#3046) * Better REST/RPC error messages * homogenise block logging (root first) * homegenise message verification pipeline (verify in `gossip_verification`, act in `eth2_processor`) * use `subcommitteeIdx` consistently * log each sent contribution * fix block_sim * fix block topic * don't recalc root on gossip block validation * move position loop into sync pool
2021-11-05 15:39:47 +00:00
let msg = AttesterSlashing(
in exit pool, bundle receive messages into beaconblocks (#1812) * in exit pool, filter out already-packaged messages; bundle remaining messages into beaconblocks * filter messages at block construction time * allow adding up to intended capacity of buffers, beyond per-block limits * document rationale/design for filtering mechanism
2020-10-07 16:57:21 +00:00
attestation_1: IndexedAttestation(attesting_indices:
clean up fork enum and field names * single naming strategy * simplify some fork code * simplify forked block production
2021-10-18 16:37:27 +00:00
List[uint64, Limit MAX_VALIDATORS_PER_COMMITTEE](@[j])),
in exit pool, bundle receive messages into beaconblocks (#1812) * in exit pool, filter out already-packaged messages; bundle remaining messages into beaconblocks * filter messages at block construction time * allow adding up to intended capacity of buffers, beyond per-block limits * document rationale/design for filtering mechanism
2020-10-07 16:57:21 +00:00
attestation_2: IndexedAttestation(attesting_indices:
Better REST/RPC error messages (#3046) * Better REST/RPC error messages * homogenise block logging (root first) * homegenise message verification pipeline (verify in `gossip_verification`, act in `eth2_processor`) * use `subcommitteeIdx` consistently * log each sent contribution * fix block_sim * fix block topic * don't recalc root on gossip block validation * move position loop into sync pool
2021-11-05 15:39:47 +00:00
List[uint64, Limit MAX_VALIDATORS_PER_COMMITTEE](@[j])))
if i == 0:
check not pool[].isSeen(msg)
pool[].addMessage(msg)
check: pool[].isSeen(msg)
remove StateData (#3507) One more step on the journey to reduce `BlockRef` usage across the codebase - this one gets rid of `StateData` whose job was to keep track of which block was last assigned to a state - these duties have now been taken over by `latest_block_root`, a fairly recent addition that computes this block root from state data (at a small cost that should be insignificant) 99% mechanical change.
2022-03-16 07:20:40 +00:00
withState(dag.headState):
clean up fork enum and field names * single naming strategy * simplify some fork code * simplify forked block production
2021-10-18 16:37:27 +00:00
check:
pool[].getBeaconBlockExits(state.data).attester_slashings.lenu64 ==
min(i + 1, MAX_ATTESTER_SLASHINGS)
pool[].getBeaconBlockExits(state.data).attester_slashings.len == 0
refactor exit pool and gossipsub-subscribe to exit pool message types (#1733) * refactor exit pool and gossipsub-subscribe to all exit pool message types * remove unused loop counter
2020-09-24 17:05:49 +00:00
Introduce unittest2 and junit reports (#2522) * Introduce unittest2 and junit reports * fix XML path * don't combine multiple CI runs * fixup * public combined report also Co-authored-by: Ștefan Talpalaru <stefantalpalaru@yahoo.com>
2021-04-28 16:41:02 +00:00
test "addExitMessage/getVoluntaryExitMessage":
refactor exit pool and gossipsub-subscribe to exit pool message types (#1733) * refactor exit pool and gossipsub-subscribe to all exit pool message types * remove unused loop counter
2020-09-24 17:05:49 +00:00
for i in 0'u64 .. MAX_VOLUNTARY_EXITS + 5:
for j in 0'u64 .. i:
Better REST/RPC error messages (#3046) * Better REST/RPC error messages * homogenise block logging (root first) * homegenise message verification pipeline (verify in `gossip_verification`, act in `eth2_processor`) * use `subcommitteeIdx` consistently * log each sent contribution * fix block_sim * fix block topic * don't recalc root on gossip block validation * move position loop into sync pool
2021-11-05 15:39:47 +00:00
let msg = SignedVoluntaryExit(message: VoluntaryExit(validator_index: j))
if i == 0:
check not pool[].isSeen(msg)
pool[].addMessage(msg)
check: pool[].isSeen(msg)
remove StateData (#3507) One more step on the journey to reduce `BlockRef` usage across the codebase - this one gets rid of `StateData` whose job was to keep track of which block was last assigned to a state - these duties have now been taken over by `latest_block_root`, a fairly recent addition that computes this block root from state data (at a small cost that should be insignificant) 99% mechanical change.
2022-03-16 07:20:40 +00:00
withState(dag.headState):
clean up fork enum and field names * single naming strategy * simplify some fork code * simplify forked block production
2021-10-18 16:37:27 +00:00
check:
pool[].getBeaconBlockExits(state.data).voluntary_exits.lenu64 ==
min(i + 1, MAX_VOLUNTARY_EXITS)
pool[].getBeaconBlockExits(state.data).voluntary_exits.len == 0