Hi everyone! 
TL;DR
As part of the Triggerable Withdrawals upgrade on mainnet, we’ve reworked the “stuck” functionality. Previously, Oracles were responsible for reporting stuck keys, which were then used to penalize node operators. We’ve now made this functionality permissionless and developed a bot that will automatically report such delays.
I propose that the Gas Supply Committee compensate gas fees for proving validator late actions.
Tech details
As described in LIP-30, staking modules that take penalization actions against Node Operators who violate exit policy require data on which validator was late and for how long. ValidatorExitDelayVerifier.sol accepts proof from the CL about the current validator state and proof from the EL that the validator was requested to exit in VEBO. After verification, the contract forwards validator details to the Staking Router, which then forwards them to the Staking Module where the Node Operator can be penalized.
The bot monitors exit events in the VEBO contract and validator state on the Consensus Layer. It generates and submits proofs of delinquency if a validator has missed its deadline.
Gas estimation
Based on recent history, the bot will submit transactions very rarely. We estimate expenses to be no more than 1 ETH per year.