zkEVM 证明为可选。客户端可以选择验证，也可以不验证。此阶段面向早期使用者与技术原型，不影响共识运作。zkEVM 证明成为出块认证必需。若缺少合法证明，客户端将拒绝该区块。此时安全性加强，但共识尚未完全依赖 zk 体系。zkEVM 的生成与验证逻辑将被整合进以太坊核心共识层。必须达到：完整审计。正式验证。≥128‑位安全强度。 明确立场：不使用递归 Groth16 包装。原因包括需可信设置，易受信任危机。后量子安全性差。增加复杂。转而采用原生 STARK 或通用设置的 SNARK，直接由 L1 验证。证明大小指引目标： ≤300 kB。理想： ≤128 kB。目前多数项目的原始证明大小介于 270 kB – 1 MB 之间，优化仍在进行。 社区正远离 8‑STARK 安全等模糊假设，目标：基于可证明安全性或更易理解的假设（如 list‑decoding 上界）。RiscZero、SuccinctLabs、Scroll_ZKP 等团队已实现原生 STARK 270 kB–1.5 MB。可通过参数调优、批量处理、去包装优化到 ≤300 kB。规范与实现必须完全一致，避免 Transcript 不匹配。协议级优化须写入规范、影响共识。工程级技巧（如并行计算）可因实现而异。验证器必须在协议定义层保持一致。【原文为英文】\n原文链接