onderzoeks- en engineeringuitdagingen van Lean Ethereum