lighthouse/eth2/state_processing/src/per_epoch_processing/process_slashings.rs

use types::{BeaconStateError as Error, *};

/// Process slashings.
///
/// Spec v0.11.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().sum::<u64>();

    for (index, validator) in state.validators.iter().enumerate() {
        if validator.slashed
            && epoch + T::EpochsPerSlashingsVector::to_u64() / 2 == validator.withdrawable_epoch
        {
            let increment = spec.effective_balance_increment;
            let penalty_numerator = validator.effective_balance / increment
                * std::cmp::min(sum_slashings * 3, total_balance);
            let penalty = penalty_numerator / total_balance * increment;

            safe_sub_assign!(state.balances[index], penalty);
        }
    }

    Ok(())
}