thách thức nghiên cứu + kỹ thuật của Lean Ethereum