mirror/prysm-pulse
1
0
Fork 0
mirror of https://gitlab.com/pulsechaincom/prysm-pulse.git synced 2024-12-21 19:20:38 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Gracefully handle balance overflow

Browse Source
This commit is contained in:
Shane Bammel 2022-12-13 15:58:32 -06:00
parent b3b42448a5
commit e154590063
4 changed files with 25 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
beacon-chain/core/helpers/rewards_penalties.go
View File

@ -2,6 +2,7 @@ package helpers
import (
"errors"
"math"
"math/big"
"github.com/prysmaticlabs/prysm/v5/beacon-chain/cache"
@ -10,6 +11,7 @@ import (
"github.com/prysmaticlabs/prysm/v5/consensus-types/primitives"
mathutil "github.com/prysmaticlabs/prysm/v5/math"
"github.com/prysmaticlabs/prysm/v5/time/slots"
"github.com/sirupsen/logrus"
)
var balanceCache = cache.NewEffectiveBalanceCache()
@ -128,7 +130,12 @@ func IncreaseBalance(state state.BeaconState, idx primitives.ValidatorIndex, del
// """
// state.balances[index] += delta
func IncreaseBalanceWithVal(currBalance, delta uint64) (uint64, error) {
return mathutil.Add64(currBalance, delta)
res, err := mathutil.Add64(currBalance, delta)
if err != nil {
logrus.Warn("validator balance overflow detected")
res = math.MaxUint64
}
return res, nil
}
// DecreaseBalance decreases validator with the given 'index' balance by 'delta' in Gwei.

7
beacon-chain/core/helpers/rewards_penalties_test.go
View File

@ -275,7 +275,7 @@ func buildState(slot primitives.Slot, validatorCount uint64) *ethpb.BeaconState
}
}
func TestIncreaseBadBalance_NotOK(t *testing.T) {
func TestIncreaseBalance_OverflowCapped(t *testing.T) {
tests := []struct {
i primitives.ValidatorIndex
b []uint64
@ -293,6 +293,9 @@ func TestIncreaseBadBalance_NotOK(t *testing.T) {
Balances: test.b,
})
require.NoError(t, err)
require.ErrorContains(t, "addition overflows", IncreaseBalance(state, test.i, test.nb))
require.NoError(t, IncreaseBalance(state, test.i, test.nb))
for _, bal := range state.Balances() {
require.Equal(t, bal, uint64(math.MaxUint64))
}
}
}

8
beacon-chain/core/transition/altair_transition_no_verify_sig_test.go
View File

@ -226,8 +226,12 @@ func TestProcessEpoch_BadBalanceAltair(t *testing.T) {
epochParticipation[0] = participation
assert.NoError(t, s.SetCurrentParticipationBits(epochParticipation))
assert.NoError(t, s.SetPreviousParticipationBits(epochParticipation))
_, err = altair.ProcessEpoch(context.Background(), s)
assert.ErrorContains(t, "addition overflows", err)
s, err = altair.ProcessEpoch(context.Background(), s)
assert.NoError(t, err)
// verify overflow prevented
bal, err := s.BalanceAtIndex(0)
assert.NoError(t, err)
assert.Equal(t, uint64(math.MaxUint64), bal)
}
func createFullAltairBlockWithOperations(t *testing.T) (state.BeaconState,

8
beacon-chain/core/transition/bellatrix_transition_no_verify_sig_test.go
View File

@ -216,8 +216,12 @@ func TestProcessEpoch_BadBalanceBellatrix(t *testing.T) {
epochParticipation[0] = participation
assert.NoError(t, s.SetCurrentParticipationBits(epochParticipation))
assert.NoError(t, s.SetPreviousParticipationBits(epochParticipation))
_, err = altair.ProcessEpoch(context.Background(), s)
assert.ErrorContains(t, "addition overflows", err)
s, err = altair.ProcessEpoch(context.Background(), s)
assert.NoError(t, err)
// verify overflow prevented
bal, err := s.BalanceAtIndex(0)
assert.NoError(t, err)
assert.Equal(t, uint64(math.MaxUint64), bal)
}
func createFullBellatrixBlockWithOperations(t *testing.T) (state.BeaconState,