Method new

finalizer/src/actor.rs:128–223

(
        context: R,
        cfg: FinalizerConfig<C, O, V>,
    )

                .generate_removed_validator_proof(*index)
                .map(|field| StateProofEntry { field, key: None }),
        })
        .collect()
}

#[derive(Clone, Copy, Debug, Eq, PartialEq)]
enum DepositRejectionReason {
    Refund,
    InvalidSignature,
    /// Deposit chunk's Ed25519 / BLS key bytes did not decode. A single
    /// malformed chunk in a grouped EIP-7685 deposit entry must not poison
    /// the valid chunks alongside it. Routing this through the same refund
    /// branch as `InvalidSignature` keeps the malformed chunk's depositor
    /// whole.
    MalformedKey,
}

fn deposit_refund_key(domain_tag: u8, withdrawal_address: Address, deposit_index: u64) -> [u8; 32] {
    let mut key = [0u8; 32];
    key[0] = domain_tag;
    key[1..9].copy_from_slice(&deposit_index.to_le_bytes());
    key[12..32].copy_from_slice(withdrawal_address.as_ref());
    key
}

fn refunded_deposit_key(withdrawal_address: Address, deposit_index: u64) -> [u8; 32] {
    deposit_refund_key(0xFE, withdrawal_address, deposit_index)
}

fn invalid_signature_refund_key(withdrawal_address: Address, deposit_index: u64) -> [u8; 32] {
    deposit_refund_key(0xFF, withdrawal_address, deposit_index)
}

fn invalid_deposit_tax_key(treasury_address: Address, deposit_index: u64) -> [u8; 32] {
    deposit_refund_key(0xFD, treasury_address, deposit_index)
}

fn push_invalid_deposit_withdrawals(
    state: &mut ConsensusState,
    withdrawal_credentials: Address,
    refund_pubkey: [u8; 32],
    deposit_index: u64,
    amount: u64,
    withdrawal_epoch: u64,
) {
    let (refund_amount, tax_amount) =
        invalid_deposit_refund_split(amount, state.get_invalid_deposit_tax());

    if refund_amount > 0 {
        state.push_refund_withdrawal_request(
            WithdrawalRequest {
                source_address: withdrawal_credentials,
                validator_pubkey: refund_pubkey,
                amount: refund_amount,
            },
            withdrawal_epoch,
            0, // deposit was never credited to balance
        );
    }