258b28469e
## Proposed Changes Update test vectors for v0.12.3, and introduced configurable `proportional_slashing_multiplier`. Also makes `YamlConfig` a bit safer by making every field access in `apply_to_chain_spec` explicit, and removing the `#[serde(default)]` attribute, which would instantiate missing fields to type defaults! Risky!
40 lines
1.3 KiB
Rust
40 lines
1.3 KiB
Rust
use safe_arith::{SafeArith, SafeArithIter};
|
|
use types::{BeaconStateError as Error, *};
|
|
|
|
/// Process slashings.
|
|
///
|
|
/// Spec v0.12.1
|
|
pub fn process_slashings<T: EthSpec>(
|
|
state: &mut BeaconState<T>,
|
|
total_balance: u64,
|
|
spec: &ChainSpec,
|
|
) -> Result<(), Error> {
|
|
let epoch = state.current_epoch();
|
|
let sum_slashings = state.get_all_slashings().iter().copied().safe_sum()?;
|
|
let adjusted_total_slashing_balance = std::cmp::min(
|
|
sum_slashings.safe_mul(spec.proportional_slashing_multiplier)?,
|
|
total_balance,
|
|
);
|
|
|
|
for (index, validator) in state.validators.iter().enumerate() {
|
|
if validator.slashed
|
|
&& epoch.safe_add(T::EpochsPerSlashingsVector::to_u64().safe_div(2)?)?
|
|
== validator.withdrawable_epoch
|
|
{
|
|
let increment = spec.effective_balance_increment;
|
|
let penalty_numerator = validator
|
|
.effective_balance
|
|
.safe_div(increment)?
|
|
.safe_mul(adjusted_total_slashing_balance)?;
|
|
let penalty = penalty_numerator
|
|
.safe_div(total_balance)?
|
|
.safe_mul(increment)?;
|
|
|
|
// Equivalent to `decrease_balance(state, index, penalty)`, but avoids borrowing `state`.
|
|
state.balances[index] = state.balances[index].saturating_sub(penalty);
|
|
}
|
|
}
|
|
|
|
Ok(())
|
|
}
|