这发生得比任何人预期的都要快。 在家证明。 在家验证。 这会需要一些时间，但 Lean Ethereum 的未来光明。