prysm-pulse/beacon-chain/core/state/state_test.go
Raul Jordan cc741ed8af
Ensure New State Type Tests Pass in Prysm (#4646)
* begin state service

* begin on the state trie idea

* created beacon state structure

* add in the full clone getter

* return by value instead

* add all setters

* new state setters are being completed

* arrays roots exposed

*  close to finishing all these headerssss

* functionality complete

* added in proto benchmark test

* test for compatibility

* add test for compat

* comments fixed

* add clone

* add clone

* remove underlying copies

* make it immutable

* integrate it into chainservice

* revert

* wrap up comments for package

* address all comments and godocs

* address all comments

* clone the pending attestation properly

* properly clone remaining items

* tests pass fixed bug

* begin using it instead of head state

* prevent nil pointer exceptions

* begin using new struct in db

* integrated new type into db package

* add proper nil checks

* using new state in archiver

* refactored much of core

* editing all the precompute functions

* done with most core refactor

* fixed up some bugs in the clone comparisons

* append current epoch atts

* add missing setters

* add new setters

* fix other core methods

* fix up transition

* main service and forkchoice

* fix rpc

* integrated to powchain

* some more changes

* fix build

* improve processing of deposits

* fix error

* prevent panic

* comment

* fix process att

* gaz

* fix up att process

* resolve existing review comments

* resolve another batch of gh comments

* resolve broken cpt state

* revise testutil to use the new state

* begin updating the state transition func to pass in more compartmentalized args

* finish editing transition function to return errors

* block operations pretty much done with refactor

* state transition fully refactored

* got epoch processing completed

* fix build in fork choice

* fixing more of the build

* fix up broken sync package

* it builds nowww it buildssss

* revert registry changes

* Recompute on Read (#4627)

* compute on read

* fix up eth1 data votes

* looking into slashings bug introduced in core/

* able to advance more slots

* add logging

* can now sync with testnet yay

* remove the leaves algorithm and other merkle imports

* expose initialize unsafe funcs

* Update beacon-chain/db/kv/state.go

* lint

Co-authored-by: Raul Jordan <raul@prysmaticlabs.com>

* More Optimizations for New State (#4641)

* map optimization

* more optimizations

* use a custom hasher

* comment

* block operations optimizations

* Update beacon-chain/state/types.go

Co-Authored-By: Raul Jordan <raul@prysmaticlabs.com>

* fixed up various operations to use the validator index map access

Co-authored-by: Raul Jordan <raul@prysmaticlabs.com>

* archiver tests pass

* fixing cache tests

* cache tests passing

* edited validator tests

* powchain tests passing

* halfway thru sync tests

* more sync test fixes

* add in tests for state/

* working through rpc tests

* assignments tests passed

* almost done with rpc/beacon tests

* resolved painful validator test

* fixed up even more tests

* resolve tests

* fix build

* reduce a randao mixes copy

* fixes under //beacon-chain/blockchain/...

* build //beacon-chain/core/...

* fixes

* Runtime Optimizations (#4648)

* parallelize shuffling

* clean up

* lint

* fix build

* use callback to read from registry

* fix array roots and size map

* new improvements

* reduce hash allocs

* improved shuffling

* terence's review

* use different method

* raul's comment

* new array roots

* remove clone in pre-compute

* Update beacon-chain/state/types.go

Co-Authored-By: Raul Jordan <raul@prysmaticlabs.com>

* raul's review

* lint

* fix build issues

* fix visibility

Co-authored-by: Raul Jordan <raul@prysmaticlabs.com>

* fix visibility

* build works for all

* fix blockchain test

* fix a few tests

* fix more tests

* update validator in slashing

* archiver passing

* fixed rpc/validator

* progress on core tests

* resolve broken rpc tests

* blockchain tests passed

* fix up some tests in core

* fix message diff

* remove unnecessary save

* Save validator after slashing

* Update validators one by one

* another update

* fix everything

* fix more precompute tests

* fix blocks tests

* more elegant fix

* more helper fixes

* change back ?

* fix test

* fix skip slot

* fix test

* reset caches

* fix testutil

* raceoff fixed

* passing

* Retrieve cached state in the beginning

* lint

* Fixed tests part 1

* Fixed rest of the tests

* Minor changes to avoid copying, small refactor to reduce deplicated code

* Handle att req for slot 0

* New beacon state: Only populate merkle layers as needed, copy merkle layers on copy/clone. (#4689)

* Only populate merkle layers as needed, copy merkle layers on copy/clone.

* use custom copy

* Make maps of correct size

* slightly fast, doesn't wait for lock

Co-authored-by: prylabs-bulldozer[bot] <58059840+prylabs-bulldozer[bot]@users.noreply.github.com>

* Target root can't be 0x00

* Don't use cache for current slot (may not be the right fix)

* fixed up tests

* Remove some copy for init sync. Not sure if it is safe enough for runtime though... testing...

* Align with prev logic for process slots cachedState.Slot() < slot

* Fix Initial Sync Flag (#4692)

* fixes

* fix up some test failures due to lack of nil checks

* fix up some test failures due to lack of nil checks

* fix up imports

* revert some changes

* imports

Co-authored-by: Raul Jordan <raul@prysmaticlabs.com>

* resolving further conflicts

* Better skip slot cache (#4694)

* Return copy of skip slot cache state, disable skip slot cache on sync

* fix

* Fix pruning

* fix up issues with broken tests

Co-authored-by: Nishant Das <nish1993@hotmail.com>
Co-authored-by: Preston Van Loon <preston@prysmaticlabs.com>
Co-authored-by: shayzluf <thezluf@gmail.com>
Co-authored-by: terence tsao <terence@prysmaticlabs.com>
Co-authored-by: prylabs-bulldozer[bot] <58059840+prylabs-bulldozer[bot]@users.noreply.github.com>
2020-01-31 12:57:01 -08:00

183 lines
6.1 KiB
Go

package state_test
import (
"bytes"
"reflect"
"testing"
"github.com/gogo/protobuf/proto"
ethpb "github.com/prysmaticlabs/ethereumapis/eth/v1alpha1"
"github.com/prysmaticlabs/prysm/beacon-chain/core/state"
pb "github.com/prysmaticlabs/prysm/proto/beacon/p2p/v1"
"github.com/prysmaticlabs/prysm/shared/hashutil"
"github.com/prysmaticlabs/prysm/shared/params"
"github.com/prysmaticlabs/prysm/shared/testutil"
)
func TestGenesisBeaconState_OK(t *testing.T) {
genesisEpochNumber := uint64(0)
if !bytes.Equal(params.BeaconConfig().GenesisForkVersion, []byte{0, 0, 0, 0}) {
t.Error("GenesisSlot( should be {0,0,0,0} for these tests to pass")
}
genesisForkVersion := params.BeaconConfig().GenesisForkVersion
if params.BeaconConfig().ZeroHash != [32]byte{} {
t.Error("ZeroHash should be all 0s for these tests to pass")
}
if params.BeaconConfig().EpochsPerHistoricalVector != 65536 {
t.Error("EpochsPerHistoricalVector should be 8192 for these tests to pass")
}
latestRandaoMixesLength := int(params.BeaconConfig().EpochsPerHistoricalVector)
if params.BeaconConfig().HistoricalRootsLimit != 16777216 {
t.Error("HistoricalRootsLimit should be 16777216 for these tests to pass")
}
depositsForChainStart := 100
if params.BeaconConfig().EpochsPerSlashingsVector != 8192 {
t.Error("EpochsPerSlashingsVector should be 8192 for these tests to pass")
}
genesisTime := uint64(99999)
deposits, _, _ := testutil.DeterministicDepositsAndKeys(uint64(depositsForChainStart))
eth1Data, err := testutil.DeterministicEth1Data(len(deposits))
if err != nil {
t.Fatal(err)
}
newState, err := state.GenesisBeaconState(deposits, genesisTime, eth1Data)
if err != nil {
t.Fatalf("could not execute GenesisBeaconState: %v", err)
}
// Misc fields checks.
if newState.Slot() != 0 {
t.Error("Slot was not correctly initialized")
}
if !proto.Equal(newState.Fork(), &pb.Fork{
PreviousVersion: genesisForkVersion,
CurrentVersion: genesisForkVersion,
Epoch: genesisEpochNumber,
}) {
t.Error("Fork was not correctly initialized")
}
// Validator registry fields checks.
if len(newState.Validators()) != depositsForChainStart {
t.Error("Validators was not correctly initialized")
}
if v, _ := newState.ValidatorAtIndex(0); v.ActivationEpoch != 0 {
t.Error("Validators was not correctly initialized")
}
if v, _ := newState.ValidatorAtIndex(0); v.ActivationEligibilityEpoch != 0 {
t.Error("Validators was not correctly initialized")
}
if len(newState.Balances()) != depositsForChainStart {
t.Error("Balances was not correctly initialized")
}
// Randomness and committees fields checks.
if len(newState.RandaoMixes()) != latestRandaoMixesLength {
t.Error("Length of RandaoMixes was not correctly initialized")
}
if mix, _ := newState.RandaoMixAtIndex(0); !bytes.Equal(mix, eth1Data.BlockHash) {
t.Error("RandaoMixes was not correctly initialized")
}
// Finality fields checks.
if newState.PreviousJustifiedCheckpoint().Epoch != genesisEpochNumber {
t.Error("PreviousJustifiedCheckpoint.Epoch was not correctly initialized")
}
if newState.CurrentJustifiedCheckpoint().Epoch != genesisEpochNumber {
t.Error("JustifiedEpoch was not correctly initialized")
}
if newState.FinalizedCheckpoint().Epoch != genesisEpochNumber {
t.Error("FinalizedSlot was not correctly initialized")
}
if newState.JustificationBits()[0] != 0x00 {
t.Error("JustificationBits was not correctly initialized")
}
// Recent state checks.
if !reflect.DeepEqual(newState.Slashings(), make([]uint64, params.BeaconConfig().EpochsPerSlashingsVector)) {
t.Error("Slashings was not correctly initialized")
}
if !reflect.DeepEqual(newState.CurrentEpochAttestations(), []*pb.PendingAttestation{}) {
t.Error("CurrentEpochAttestations was not correctly initialized")
}
if !reflect.DeepEqual(newState.PreviousEpochAttestations(), []*pb.PendingAttestation{}) {
t.Error("PreviousEpochAttestations was not correctly initialized")
}
zeroHash := params.BeaconConfig().ZeroHash[:]
// History root checks.
if !bytes.Equal(newState.StateRoots()[0], zeroHash) {
t.Error("StateRoots was not correctly initialized")
}
if !bytes.Equal(newState.BlockRoots()[0], zeroHash) {
t.Error("BlockRoots was not correctly initialized")
}
// Deposit root checks.
if !bytes.Equal(newState.Eth1Data().DepositRoot, eth1Data.DepositRoot) {
t.Error("Eth1Data DepositRoot was not correctly initialized")
}
if !reflect.DeepEqual(newState.Eth1DataVotes(), []*ethpb.Eth1Data{}) {
t.Error("Eth1DataVotes was not correctly initialized")
}
}
func TestGenesisState_HashEquality(t *testing.T) {
deposits, _, _ := testutil.DeterministicDepositsAndKeys(100)
state1, err := state.GenesisBeaconState(deposits, 0, &ethpb.Eth1Data{BlockHash: make([]byte, 32)})
if err != nil {
t.Error(err)
}
state2, err := state.GenesisBeaconState(deposits, 0, &ethpb.Eth1Data{BlockHash: make([]byte, 32)})
if err != nil {
t.Error(err)
}
root1, err1 := hashutil.HashProto(state1.CloneInnerState())
root2, err2 := hashutil.HashProto(state2.CloneInnerState())
if err1 != nil || err2 != nil {
t.Fatalf("Failed to marshal state to bytes: %v %v", err1, err2)
}
if root1 != root2 {
t.Fatalf("Tree hash of two genesis states should be equal, received %#x == %#x", root1, root2)
}
}
func TestGenesisState_InitializesLatestBlockHashes(t *testing.T) {
s, err := state.GenesisBeaconState(nil, 0, &ethpb.Eth1Data{})
if err != nil {
t.Error(err)
}
got, want := len(s.BlockRoots()), int(params.BeaconConfig().SlotsPerHistoricalRoot)
if want != got {
t.Errorf("Wrong number of recent block hashes. Got: %d Want: %d", got, want)
}
got = cap(s.BlockRoots())
if want != got {
t.Errorf("The slice underlying array capacity is wrong. Got: %d Want: %d", got, want)
}
for _, h := range s.BlockRoots() {
if !bytes.Equal(h, params.BeaconConfig().ZeroHash[:]) {
t.Errorf("Unexpected non-zero hash data: %v", h)
}
}
}
func TestGenesisState_FailsWithoutEth1data(t *testing.T) {
_, err := state.GenesisBeaconState(nil, 0, nil)
if err == nil || err.Error() != "no eth1data provided for genesis state" {
t.Errorf("Did not receive eth1data error with nil eth1data, got %v", err)
}
}