forskning + tekniske utfordringer med Lean Ethereum