Lido Proves Exact Validator Set Onchain With Zero Rogue Keys

Lido's exact validator set and CL balance proven on mainnet via Groth16 at slot 14,952,064 for 350,140 gas. 488,374 keys, 8,793,794 ETH, zero rogue validators. Proof costs ~$30, two hours on GPUs. Asking LEGO for $30,000, partially retroactive. Fits within ZK-oracle pause; no Lido engineering time needed.