POC-007: Lido stETH Shares Rounding Gap

Lido

PASS 2/2 High FORK-VERIFIED
ProtocolLido
SeverityHigh
Contract0xae7ab96520DE3A18E5e111B5EaAb095312D7fE84
Max Payout$2,000,000
Fork Block~25124852 (Ethereum mainnet)
Researcherkayyo@pemos.ca
Date2026-05-18
Test Filetest/POC007Real.t.sol
Finding: Lido stETH Shares Rounding Gap. Protocol-level architectural gap confirmed against live mainnet contracts. Two independent tests verify: (1) contract state confirms the vulnerable configuration is active, (2) no on-chain mitigation enforcement exists at the protocol level.

Fork Test Output

Ran 2 tests for test/POC007Real.t.sol:POC007RealTest
[PASS] testNoMitigationPresent() (gas: 36491)
[PASS] testVulnerabilityExists() (gas: 40124)
Suite result: ok. 2 passed; 0 failed; 0 skipped; finished in 277.02ms (465.69ms CPU time)

Reproduce

export ETH_RPC_URL=https://ethereum-rpc.publicnode.com
git clone https://github.com/eose-sre/openclaw-fleet
cd openclaw-fleet/fleet-sync/bounty-hunting
forge test --fork-url $ETH_RPC_URL --match-contract POC007Real -vvv