penelitian + tantangan teknik Lean Ethereum