wyzwania badawcze i inżynieryjne Lean Ethereum