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 对信息的准确性、完整性不作保证,对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为,价格波动剧烈,您可能损失全部投资本金。请充分了解相关风险,并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
ETH 15分钟上涨1.15%:ETF净流入加速与巨鲸增持共振推动拉升
2026-04-04 19:00至19:15(UTC),ETH价格出现显著异动,15分钟内收益率录得+1.15%,价格区间在2055.26至2079.75 USDT之间,期间振幅达1.19%。市场关注度显著提升,活跃度和链上大额转账同步放大,引发短线行情快速波动。
本次异动的主要驱动力是ETF资金净流入加速及机构资金集中布局现货市场,直接推动ETH价格上行。数据显示,BlackRock ETHB
GateNews4小时前
以太坊的 Vitalik Buterin 警告 AI 代理的安全风险,并分享了他的私有 LLM 技术栈
以太坊联合创始人 Vitalik Buterin 已完全从云端 AI 服务中迁移,并在本周发布的一篇博客文章中详细介绍了他完全本地化、隔离沙盒的人工智能(AI)设置。
要点:
以太坊联合创始人 Vitalik Buterin 于 2026 年 4 月放弃云端 AI,运行 Qwen3.5:35B 本地化
Coinpedia4小时前
汤姆·李的 Bitmine 收购价值 82.07 Million 美元的 40,000 ETH
Gate News 消息,汤姆·李的 Bitmine 今天从中心化交易所额外购入 40,000 ETH,价值 82.07 百万美元。该交易标志着该公司再度实现重要的 ETH 增持。
GateNews9小时前
以太坊基金会再质押另一笔 93 million 美元的以太坊,达到其 70,000 ETH 目标
以太坊基金会质押了 9300 万美元的以太(ether),使其总计质押的以太(ETH)接近 1.43 亿美元,几乎达成其 70,000 ETH 的目标。这种转向质押的做法在不出售资产的情况下为资金运营带来收益,尽管仍有部分 ETH 未被质押。
CoinDesk10小时前
早期 ETH 积累暗示将突破——动能能否持续?
以太坊显示出早期的积累迹象:大多数持有者接近盈亏平衡点,且卖压正在缓解。
追踪者买入/卖出比率上升表明需求增长,并且各交易所出现了更有选择性的买入。
若在关键水平之上保持持续动能,可能引发向更高价格目标的突破。
在报道中
Crypto News Land10小时前