Ethereum Researchers Take On Staking Delegation and the Cost of Proving · Polylog