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

adjust hysteresis to avoid initial over-deposit incentive

This commit is contained in:
Danny Ryan 2020-02-18 12:36:20 -06:00
parent 8201fb0024
commit a02aac43c2
No known key found for this signature in database
GPG Key ID: 2765A792E42CE07A
2 changed files with 16 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
specs/phase0/beacon-chain.md
View File

@ -1402,8 +1402,11 @@ def process_final_updates(state: BeaconState) -> None:
# Update effective balances with hysteresis
for index, validator in enumerate(state.validators):
balance = state.balances[index]
HALF_INCREMENT = EFFECTIVE_BALANCE_INCREMENT // 2
if balance < validator.effective_balance or validator.effective_balance + 3 * HALF_INCREMENT < balance:
QUARTER_INCREMENT = EFFECTIVE_BALANCE_INCREMENT // 4
if (
balance + QUARTER_INCREMENT < validator.effective_balance
or validator.effective_balance + 7 * QUARTER_INCREMENT < balance
):
validator.effective_balance = min(balance - balance % EFFECTIVE_BALANCE_INCREMENT, MAX_EFFECTIVE_BALANCE)
# Reset slashings
state.slashings[next_epoch % EPOCHS_PER_SLASHINGS_VECTOR] = Gwei(0)

19
tests/core/pyspec/eth2spec/test/phase_0/epoch_processing/test_process_final_updates.py
View File

@ -51,19 +51,22 @@ def test_effective_balance_hysteresis(spec, state):
max = spec.MAX_EFFECTIVE_BALANCE
min = spec.EJECTION_BALANCE
inc = spec.EFFECTIVE_BALANCE_INCREMENT
half_inc = inc // 2
quar_inc = inc // 4
cases = [
(max, max, max, "as-is"),
(max, max - 1, max - inc, "round down, step lower"),
(max, max - 1, max, "round up"),
(max, max + 1, max, "round down"),
(max, max - quar_inc, max, "lower balance, but not low enough"),
(max, max - quar_inc, max, "lower balance, step down"),
(max, max + (3 * quar_inc) + 1, max, "already at max, as is"),
(max, max - inc, max - inc, "exactly 1 step lower"),
(max, max - inc - 1, max - (2 * inc), "just 1 over 1 step lower"),
(max, max - inc - 1, max - (2 * inc), "past 1 step lower, double step"),
(max, max - inc + 1, max - inc, "close to 1 step lower"),
(min, min + (half_inc * 3), min, "bigger balance, but not high enough"),
(min, min + (half_inc * 3) + 1, min + inc, "bigger balance, high enough, but small step"),
(min, min + (half_inc * 4) - 1, min + inc, "bigger balance, high enough, close to double step"),
(min, min + (half_inc * 4), min + (2 * inc), "exact two step balance increment"),
(min, min + (half_inc * 4) + 1, min + (2 * inc), "over two steps, round down"),
(min, min + (quar_inc * 7), min, "bigger balance, but not high enough"),
(min, min + (quar_inc * 7) + 1, min + inc, "bigger balance, high enough, but small step"),
(min, min + (quar_inc * 8) - 1, min + inc, "bigger balance, high enough, close to double step"),
(min, min + (quar_inc * 8), min + (2 * inc), "exact two step balance increment"),
(min, min + (quar_inc * 8) + 1, min + (2 * inc), "over two steps, round down"),
]
current_epoch = spec.get_current_epoch(state)
for i, (pre_eff, bal, _, _) in enumerate(cases):