Lean Ethereum 的研究 + 工程挑战