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 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
价格预测 4/1：BTC、ETH、BNB、XRP、SOL、DOGE、HYPE、ADA、BCH、LINK
要点：
买家需要在短期内将比特币维持在 $69,000 之上，才能占据上风。
一些主要山寨币可能会突破其近期阻力，表明在较低水平进行买入。
比特币（BTC）在 $69,000 处面临阻力，但多头仍在继续
Cointelegraph56 分钟前
随着市场对特朗普作出反应，价值10亿美元的卖单涌入以太坊衍生品市场
周五，几种加密资产下跌；唐纳德·特朗普的讲话在全球市场引发恐慌。尽管没有如预期那样保持克制，特朗普概述了针对伊朗可能采取军事行动的计划，内容包括
CryptoPotato3小时前
以太坊创始人 Vitalik Buterin 详细介绍其“私密”和“安全”的 AI 设置
简而言之
Vitalik Buterin 使用开源 Qwen3.5:35B 模型，仅在本地硬件上运行 AI，避免使用他认为具有隐私风险的基于云的工具。
他构建了一个消息守护进程，可在未获得人工手动批准的情况下阻止他的 AI 代理与第三方联系，并建议用户保持警惕，确保隐私安全。
Decrypt 4小时前
