Forschungs- und Ingenieursherausforderungen von Lean Ethereum