forskning + tekniska utmaningar med Lean Ethereum