CSM 0x02 Prover Bot Funding
TL;DR
We propose to fund the operation of the CSM Prover Tool for CSM 0x02 with 0.5 ETH. We expect about 500 balance-proof transactions while the module fills up to its stake share limit. At a gas price of ~2 gwei, these cost ~0.27 ETH. The rest covers slashing and withdrawal proofs.
Background
The bot is the existing CSM Prover Tool, already used for CSM 0x01 (original proposal above) and CMv2. It supports CSM 0x02 via the same Verifier ABI without changes. This will be a separate instance with its own signer.
In CSM 0x02, validators are seeded with 32 ETH and then topped up to 2,048 ETH. The bot proves the resulting balance deltas and reports slashings and withdrawals of CSM 0x02 keys. It submits a balance proof whenever a key’s unconfirmed balance delta reaches ≥ 512 ETH, plus one at 2,046 ETH (the top-up target) and one at 2,048 ETH (the last 2 ETH come from rewards).
Module scope
- Stake share limit: 2% (deployment parameters), ~195,600 ETH at the current TVL
- ~100 validators × 2,048 ETH
- Each validator grows 32 → 2,048 ETH, covered by up to 5 balance proofs → 100 × 5 = 500 transactions
Cost calculation
Gas is estimated with Glamsterdam repricing (EIP-7976, EIP-8038), at a gas price of 2 gwei:
| Transaction | Gas per tx | Count | Cost |
|---|---|---|---|
processBalanceProof |
~265,000 | 500 | ~0.27 ETH |
processSlashedProof |
~300,000 | 100 (every validator slashed) | ~0.06 ETH |
processWithdrawalProof |
~440,000 | 100 (every validator withdrawn) | ~0.09 ETH |
| Total | ~0.42 ETH → 0.5 ETH |
Funding proposal
We propose a one-time transfer of 0.5 ETH to the bot signer: 0xa047bd021E63d0B0BdD24D9728aD3c3EF4F22d87.
If the stake share limit of CSM 0x02 is raised, we will post an updated estimate in this thread.