Case study
How Beacon Lite accounts for ETH.
The model keeps one simple rule visible: pending shares continue to share rewards and losses until finalization; reserved claims are isolated afterward.
Core equations
BackingA = B + D
Depositshares = floor(d × S / A)
FinalizationETH = floor(q × A / S)
Scope
Beacon Lite uses a simulated validator adapter. It has no real validator keys, no production liquidity promise and no mainnet deposit service.