desafios de pesquisa + engenharia do Lean Ethereum