# Proposal to fund the Late Prover bot on Ethereum

**URL:** <https://research.lido.fi/t/proposal-to-fund-the-late-prover-bot-on-ethereum/10780>\
**Category:** Proposals\
**Created:** [October 3, 2025, 1:45pm UTC](https://research.lido.fi/t/proposal-to-fund-the-late-prover-bot-on-ethereum/10780 "2025-10-03T13:45:31Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![Raman\_Siamionau](https://dub1.discourse-cdn.com/flex013/user_avatar/research.lido.fi/raman_siamionau/32/7018_2.png) [@Raman\_Siamionau](https://research.lido.fi/u/Raman_Siamionau)\
**Post date:** [October 3, 2025, 1:45pm UTC](https://research.lido.fi/t/proposal-to-fund-the-late-prover-bot-on-ethereum/10780/1 "2025-10-03T13:45:31Z")

</div>

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](https://research.lido.fi/t/nominate-the-gas-supply-committee-as-a-supervisor-for-gas-expenditure/4724) compensate gas fees for proving validator late actions.

## Tech details

As described in [LIP-30](https://github.com/lidofinance/lido-improvement-proposals/blob/develop/LIPS/lip-30.md#44-validator-exit-delay-verifier), 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](https://github.com/lidofinance/core/blob/develop/contracts/0.8.25/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](https://docs.lido.fi/contracts/validators-exit-bus-oracle). 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.

## Links

- [LIP-30](https://github.com/lidofinance/lido-improvement-proposals/blob/develop/LIPS/lip-30.md)

- [Validators Late Prover Bot source code](https://github.com/lidofinance/late-prover-bot/)

---

<div class="post-metadata">

**Author:** ![zuzu\_eeka](https://dub1.discourse-cdn.com/flex013/user_avatar/research.lido.fi/zuzu_eeka/32/1157_2.png) [@zuzu\_eeka](https://research.lido.fi/u/zuzu_eeka)\
**Post date:** [October 16, 2025, 1:11pm UTC](https://research.lido.fi/t/proposal-to-fund-the-late-prover-bot-on-ethereum/10780/2 "2025-10-16T13:11:09Z")

</div>

Speaking as a member of the Gas Supply Committee, I support the proposal.

---

<div class="post-metadata">

**Author:** ![George](https://dub1.discourse-cdn.com/flex013/user_avatar/research.lido.fi/george/32/6885_2.png) [@George](https://research.lido.fi/u/George)\
**Post date:** [October 16, 2025, 1:47pm UTC](https://research.lido.fi/t/proposal-to-fund-the-late-prover-bot-on-ethereum/10780/3 "2025-10-16T13:47:13Z")

</div>

As a member of the Gas Supply Committee, I support the proposal