撰文：区块链骑士
zkEVM 生态系统历经一年攻坚实现性能飞跃，以太坊区块证明时间从 16 分钟骤降至 16 秒，成本降幅达 45 倍，参与的 zkVM 已能在目标硬件上 10 秒内完成 99% 主网区块证明。
12 月 18 日，以太坊基金会（EF）宣布实时证明机制落地、性能瓶颈清除，但强调真正的挑战在于可靠性，速度缺乏安全支撑将沦为负担，且多款基于 STARK 算法的 zkEVM 依赖的数学猜想近月已被证伪，导致安全级别下降。
EF 此前于 7 月设定实时证明综合目标，涵盖延迟、硬件、安全等多维度，目前已通过 EthProofs 基准测试达标。
其核心转变在于从追求吞吐量转向可证明安全性，明确 L1 级 zkEVM 需达成 128 位安全标准，与主流加密规范接轨，因伪造证明可能导致代币伪造、L1 状态篡改等致命风险，安全边际不可协商。
EF 同步公布三阶段安全路线图：
2026 年 2 月底前，所有 zkEVM 团队需将证明系统接入 EF 的 soundcalc 安全评估工具，统一安全测算标准；
5 月底前达成 Glamsterdam 标准，实现 100 位可证明安全等过渡目标；
12 月底前完成 H-star 最终目标，达成 128 位可证明安全，且需提供递归拓扑结构的形式化安全论证。
为实现目标，EF 提及 WHIR、JaggedPCS 等核心技术工具，可通过优化证明生成、避免算力浪费等提升效率，同时借助递归拓扑等技巧缩小证明规模。
但当前仍存多重挑战，实时证明尚未落地链上，验证者实际运行效果存疑；安全参数随数学猜想证伪需动态调整；部分团队能否按期达标未知；递归架构的形式化验证项目尚处早期，生态发展不均衡。
值得关注的是，达标后的 zkEVM 可支撑以太坊提高 Gas 限制，在保障质押可行性的同时提升区块容量，推动 L1 成为可信结算层，并模糊 L2 与 L1 执行的边界。
如今性能冲刺已结束，zkEVM 生态的核心命题已转变为，在不依赖易失效猜想的前提下，实现足够可靠的安全证明，以支撑千亿级资产规模，当下安全竞赛正式拉开帷幕，这将成为 2026 年以太坊的主旋律。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
以太坊基金会向 BitMine 出售 5000 枚 ETH，价值约 1022 万美元
Gate News 消息，3 月 14 日，以太坊基金会官方表示，3 月 15 日通过场外交易最终敲定了一笔 5000 枚 ETH 的交易，平均价格为 2042.96 美元，总价值约合 1022 万美元，场外交易对手方是以太坊第一大财库公司 BitMine。此次出售将资助基金会的核心运营和活动，包括协议研发、生态系统开发、社区资助资金等。
GateNews刚刚
Bitmine 持有 447 万枚 ETH，价值 90 亿美元
Gate News 消息，3 月 14 日，据 Cointelegraph 数据，Bitmine 目前持有 447 万枚 ETH，价值 90 亿美元。该持仓价值相较于其持仓量仅为目前一半时，减少了 28 亿美元。
GateNews1小时前
以太坊基金会发布"EF Mandate"文件，明确生态角色与核心使命
以太坊基金会发布了"EF Mandate"文件，明确其在生态系统中的角色与职责，强调CROPS原则，致力于用户主权、安全与优化体验。该文件为内部行动纲领及社区参考提供指导。
GateNews1小时前
Vitalik Buterin Calls Ethereum a “Sanctuary Technology”
The Ethereum Foundation's new EF Mandate clarifies its supportive role in the decentralized Ethereum ecosystem, emphasizing principles like censorship resistance and infrastructure support while avoiding direct governance control. Vitalik Buterin highlights Ethereum as a “sanctuary technology” that promotes digital freedom, contributing to positive market responses.
Coinfomania2小时前
懂理论 ≠ 获收益，高智商人群常犯的5个数学错误
作者：darkzodchi, 加密 KOL
编译：Felix, PANews
金融市场上有很多高学历、高智商的聪明人，但赚钱的总是少数人，其中相当一部分学历不高。理论学了很多，却赚不到钱，造成这种“反常”现象的原因是什么？加密 KOL darkzodchi 基于自身经历和研究，对这一现象进行了分析，并提出聪明人常犯的五大认知错误。以下内容详情。
我认识一个能心算微分方程的人。他以优异成绩毕业，在一家你绝对听过的顶尖科技公司工作，年薪 18 万美元。 但他的净资产基本为零。如果算上车贷，可能还是负数。
与之形成鲜明对比的是，我大多数朋友在 20 岁前就辍学了，全身心投入到创业或交易中，现
PANews4小时前
