retos de investigación + ingeniería de Lean Ethereum