以太坊基金会计划在整个技术栈中集成零知识证明，从共识到隐私。 这一切都从一个重要的步骤开始： 在第一层上启动 zkEVM。👇

1/ ZK 不再仅仅是一个扩展故事。 以太坊基金会希望以太坊成为 ZK 应用程序的最大平台 - 支持从 zkRollups 到客户端隐私的所有功能。 这个愿景始于一个原生的 L1 zkEVM。

2/ 计划是让验证者选择从可信客户端验证 zk-proofs，并随着时间的推移建立信心。 最终，大多数验证者将转向基于证明的执行。 所需的关键协议变更： 在 Glamsterdam 分叉中进行流水线处理，它为证明者提供了更多时间，同时保持区块的活跃。 最初，采用率可能较小。但随着时间的推移，它将增长。

3/ 一旦大多数验证者运行 ZK 客户端，网络可以： • 增加 gas 限制。 • 需要证明验证而不是执行。 • 通过 Execute 预编译解锁原生 zkRollups。

4/ 为了支持这一点，基金会定义了实时证明的标准： • 证明必须在≤10秒内验证。 • 100位安全性（初始），128位长期。 • 证明大小≤300 KiB。 • 本地硬件≤$100K。 • 功耗≤10kW。

5/ 为什么会有这些限制？ 为了使家庭证明成为可能，就像单独质押一样。 审查抵抗和去中心化依赖于此。 ZK 不仅应该扩展以太坊，还应该保持可访问性。

6/ ZK 证明已经很快，并且正在变得更快。 随着生态系统中 zkVM 团队的贡献，以太坊基金会预计 L1 zkEVM 将在 2025 年底之前发布。

7/ ZK 不仅仅是一个特性，它是一种方向。 与 blob 扩展和更好的用户体验并肩，L1 ZK 是以太坊路线图的核心。 L1 上的 zkEVM 竞赛已经开始。 而以太坊正在引领这一竞赛。 来源：