Verify SRv3 Module Balance Caps Via ZK Proofs

SRv3 gives malicious Accounting Oracle quorums more control over module-fee distribution. Oracle can shift 100,000 ETH between modules without affecting stETH rebase. Sanity checker caps changes at roughly 100,000-150,000 ETH daily, but reallocation can persist. EIP-4788 could authenticate balances. Optimistic Merkle-sum verification or ZK proofs are options. Lido's SP1-based ZK oracle may extend for per-module totals.