diff --git a/docs/spec/slashing/state-machine.md b/docs/spec/slashing/state-machine.md index 023d0a78b..1105ceded 100644 --- a/docs/spec/slashing/state-machine.md +++ b/docs/spec/slashing/state-machine.md @@ -80,20 +80,6 @@ onValidatorUnbonded(address sdk.ValAddress) return ``` -#### Validator Power Changed - -When a validator's power changes, we update the in-progress `SlashingPeriod` with the validator's current power: - -```golang -onValidatorPowerChanged(address sdk.ValAddress, stakeBonded sdk.Rat) - - slashingPeriod = getSlashingPeriod(address, CurrentHeight) - slashingPeriod.MaxStakeBonded = max(slashingPeriod.MaxStakeBonded, stakeBonded) - setSlashingPeriod(slashingPeriod) - - return -``` - #### Validator Slashed When a validator is slashed, we look up the appropriate `SlashingPeriod` based on the validator @@ -104,11 +90,11 @@ address and the time of infraction, cap the fraction slashed as `max(SlashFracti beforeValidatorSlashed(address sdk.ValAddress, fraction sdk.Rat, infractionHeight int64) slashingPeriod = getSlashingPeriod(address, infractionHeight) - totalFractionToSlash = max(slashingPeriod.SlashedSoFar, fraction) - slashingPeriod.FractionSlashedSoFar = totalToSlash + totalToSlash = max(slashingPeriod.SlashedSoFar, fraction) + slashingPeriod.SlashedSoFar = totalToSlash setSlashingPeriod(slashingPeriod) - remainderToSlash = slashingPeriod.FractionSlashedSoFar - totalToSlash + remainderToSlash = slashingPeriod.SlashedSoFar - totalToSlash fraction = remainderToSlash continue with slashing diff --git a/docs/spec/slashing/state.md b/docs/spec/slashing/state.md index a8a834476..050f4c9ae 100644 --- a/docs/spec/slashing/state.md +++ b/docs/spec/slashing/state.md @@ -75,8 +75,6 @@ type SlashingPeriod struct { ValidatorAddr sdk.ValAddress // Tendermint address of the validator StartHeight int64 // Block height at which slashing period begin EndHeight int64 // Block height at which slashing period ended - MaxBondedStake sdk.Rat // Maximum bonded stake during period - StakeSlashedSoFar sdk.Rat // Amount of stake slashed so far - FractionSlashedSoFar sdk.Rat // Fraction slashed so far, cumulative + SlashedSoFar sdk.Rat // Fraction slashed so far, cumulative } ```