mirror of
https://github.com/status-im/nimbus-eth2.git
synced 2025-01-12 07:14:20 +00:00
ca4f29caca
* Introduce new mocking proc to replace:
- makeFakeValidatorPrivKey
- hackPrivKey
- getNextBeaconProposerIndex
- addBlock
- makeBlock
* Add comments on datastructure unsynced with the spec
* Add merkle tree constructor and initial mocking for deposits (missing merkle proofs)
* [Mock] Implement sparse merkle tree and merkle proof builder
* [Mocking] Genesis deposits
* Add compact_committees_roots init + mock genesis state
* [Tests] Add first deposit test using the new mocking procedures
* [Tests -deposits] add at and over 32 ETH deposit tests
* [Tests - deposits] Add test for validator top-up
* [Tests -deposits] Mention the TODO to test for invalid conditions
* [Tests] Add stub to test "is_valid_genesis_state"
* [Merkle proofs] Implement round-trip checks
* Deactivate roundtrips test
* SSZ - use EF convention for hash_tree_root / hashTreeRoot
* [Tests - Attestation] Attestation mocking + initial test
* Add mocking + 3 new tests for valid attestations + mention future invalid attestation tests
* Add crosslinks test (1 failing to attestations in block being duplicated in state transition)
* Single attestation crosslink test - workaround https://github.com/status-im/nim-beacon-chain/issues/361
* Add test for failed crosslink penalty
* Rebase fixes + add refactored tests to test suite
* justif-finalization helpers first batch
* Add 234 finalization tests
* Fix justif test, Rule I 234 finalization does not happen with sufficient support.
(Also unittest check template does not fail properly in some cases)
* Add tests for all finalization rules
* Properly delete nim-byteutils following c91727e7e5 (diff-7c3613dba5171cb6027c67835dd3b9d4)
* use digest helper for deposit root
120 lines
4.3 KiB
Nim
120 lines
4.3 KiB
Nim
# beacon_chain
|
|
# Copyright (c) 2018 Status Research & Development GmbH
|
|
# Licensed and distributed under either of
|
|
# * MIT license (license terms in the root directory or at http://opensource.org/licenses/MIT).
|
|
# * Apache v2 license (license terms in the root directory or at http://www.apache.org/licenses/LICENSE-2.0).
|
|
# at your option. This file may not be copied, modified, or distributed except according to those terms.
|
|
|
|
|
|
# process_deposit (beaconstate.nim)
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.1/specs/core/0_beacon-chain.md#deposits
|
|
# ---------------------------------------------------------------
|
|
|
|
import
|
|
# Standard library
|
|
unittest, math,
|
|
# Specs
|
|
../../beacon_chain/spec/[beaconstate, datatypes, crypto, helpers, validator],
|
|
# Internals
|
|
../../beacon_chain/[ssz, extras, state_transition],
|
|
# Mock helpers
|
|
../mocking/[mock_deposits, mock_genesis],
|
|
../testutil, ../helpers/math_helpers
|
|
|
|
suite "[Unit - Spec - Block processing] Deposits " & preset():
|
|
|
|
const NumValidators = uint64 5 * SLOTS_PER_EPOCH
|
|
let genesisState = initGenesisState(NumValidators)
|
|
doAssert genesisState.validators.len == int NumValidators
|
|
|
|
template valid_deposit(deposit_amount: uint64, name: string): untyped =
|
|
# TODO: BLS signature
|
|
test "Deposit " & name & " MAX_EFFECTIVE_BALANCE balance (" &
|
|
$(MAX_EFFECTIVE_BALANCE div 10'u64^9) & " ETH)":
|
|
var state: BeaconState
|
|
deepCopy(state, genesisState)
|
|
|
|
# Test configuration
|
|
# ----------------------------------------
|
|
let validator_index = state.validators.len
|
|
let deposit = mockUpdateStateForNewDeposit(
|
|
state,
|
|
uint64 validator_index,
|
|
deposit_amount,
|
|
flags = {skipValidation}
|
|
)
|
|
|
|
# Params for sanity checks
|
|
# ----------------------------------------
|
|
let pre_val_count = state.validators.len
|
|
let pre_balance = if validator_index < pre_val_count:
|
|
state.balances[validator_index]
|
|
else:
|
|
0
|
|
|
|
# State transition
|
|
# ----------------------------------------
|
|
check: state.process_deposit(deposit, {skipValidation})
|
|
|
|
# Check invariants
|
|
# ----------------------------------------
|
|
check:
|
|
state.validators.len == pre_val_count + 1
|
|
state.balances.len == pre_val_count + 1
|
|
state.balances[validator_index] == pre_balance + deposit.data.amount
|
|
state.validators[validator_index].effective_balance ==
|
|
round_multiple_down(
|
|
min(MAX_EFFECTIVE_BALANCE, state.balances[validator_index]),
|
|
EFFECTIVE_BALANCE_INCREMENT
|
|
)
|
|
|
|
valid_deposit(MAX_EFFECTIVE_BALANCE - 1, "under")
|
|
valid_deposit(MAX_EFFECTIVE_BALANCE, "at")
|
|
valid_deposit(MAX_EFFECTIVE_BALANCE + 1, "over")
|
|
|
|
test "Validator top-up":
|
|
|
|
var state: BeaconState
|
|
deepCopy(state, genesisState)
|
|
|
|
# Test configuration
|
|
# ----------------------------------------
|
|
let validator_index = 0
|
|
let deposit_amount = MAX_EFFECTIVE_BALANCE div 4
|
|
let deposit = mockUpdateStateForNewDeposit(
|
|
state,
|
|
uint64 validator_index,
|
|
deposit_amount,
|
|
flags = {skipValidation}
|
|
)
|
|
|
|
# Params for sanity checks
|
|
# ----------------------------------------
|
|
let pre_val_count = state.validators.len
|
|
let pre_balance = if validator_index < pre_val_count:
|
|
state.balances[validator_index]
|
|
else:
|
|
0
|
|
|
|
# State transition
|
|
# ----------------------------------------
|
|
check: state.process_deposit(deposit, {skipValidation})
|
|
|
|
# Check invariants
|
|
# ----------------------------------------
|
|
check:
|
|
state.validators.len == pre_val_count
|
|
state.balances.len == pre_val_count
|
|
state.balances[validator_index] == pre_balance + deposit.data.amount
|
|
state.validators[validator_index].effective_balance ==
|
|
round_multiple_down(
|
|
min(MAX_EFFECTIVE_BALANCE, state.balances[validator_index]),
|
|
EFFECTIVE_BALANCE_INCREMENT
|
|
)
|
|
|
|
# TODO, tests with:
|
|
# - invalid BLS signature
|
|
# - invalid withdrawal credential
|
|
# - invalid deposit root
|
|
# - invalid merkle proof
|