Lean Ethereum 的研究 + 工程挑戰