以太坊完成又一项重要技术推进，2026年能否迎来飞跃？

marsbit发布于2025-12-22更新于2025-12-22

文章摘要

以太坊基金会宣布zkEVM生态系统实现重大突破，区块证明时间从16分钟缩短至16秒，成本降低45倍，性能显著提升。但核心挑战转向安全性，近期多款zkEVM依赖的数学猜想被证伪，导致安全级别下降。EF明确要求L1级zkEVM需达到128位安全标准，并公布三阶段路线图：2026年2月前统一安全评估标准，5月前实现过渡目标，12月前完成最终安全目标并提交形式化验证。尽管技术工具已优化效率，但仍面临链上验证效果存疑、安全参数动态调整、团队达标不确定性等挑战。实现安全目标后，以太坊可提高Gas限制，增强L1作为结算层的能力，模糊L2与L1边界。2026年以太坊将聚焦于安全竞赛，支撑千亿级资产规模。

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年以太坊的主旋律。

你可能也喜欢

对话达利欧：当下正处AI泡沫中，投资组合的1%是比特币

桥水基金创始人瑞·达利欧在访谈中指出，当前AI热潮已显现经典泡沫特征，高估值与过度借贷可能在未来经济变故下引发资产抛售与衰退。他强调，这背后是更宏大的“大周期”在起作用，即贫富差距、政府债务高企及地缘政治变动共同驱动的约80年循环，目前全球秩序正处力量交替的衰退阶段。为应对不确定性，达利欧建议个人投资者进行多元化资产配置，包括股票、黄金、债券等，而非仅持有现金。他透露自己投资组合中约有1%为比特币，认为其具备硬通货特性，但个人更偏好实物黄金。对于AI的影响，他认为这将在更高层面替代人类思维，加剧贫富差距，而善于运用人类情感、直觉并与AI协作的人将更具优势。谈及英美热议的“财富税”，达利欧认为操作困难，可能引发资本外流或刺破泡沫。关于世界秩序，他预判未来可能走向区域化发展，而非单一主导。最后，他指出美国卷入伊朗冲突暴露了其军事与经济影响力的脆弱性，类似历史上大英帝国的衰落征兆。

marsbit1小时前

marsbit1小时前

单日 7.2 万亿韩元，外资周五净买入创纪录！华尔街：韩股资金面逆风已经消退

韩国股市资金面出现实质性转机。7月31日，外资单日净买入KOSPI股票约7.2万亿韩元，创历史最高纪录，标志着持续数月的外资净流出趋势发生根本逆转。7月外资净卖出规模已大幅收窄至9.8万亿韩元，远低于5、6月的水平。同时，国内养老金及基金在7月转为净买入1.0万亿韩元。监管层面，韩国金融服务委员会自7月31日起收紧散户投资单股杠杆ETF的门槛，新规实施后相关产品成交量已降至月均水平的约50%，有助于平抑市场短期波动。花旗研究维持KOSPI年内目标点位10000点不变，认为资金面逆风正在消退。支撑因素包括存储芯片行业基本面稳健、KOSPI估值处于历史低位、韩国经济基本面强劲以及政策环境友好。花旗还指出，若有必要，韩国金融当局存在提供流动性支持的可能性，为市场提供了政策底部支撑。

marsbit1小时前

marsbit1小时前

突发！OpenAI下一代AI攻克10项菲尔兹奖级难题

OpenAI发布其下一代AI模型Astra，在数学领域取得轰动性突破，一举攻克了10个长期未解的难题，其中多项成果被专家评价为“菲尔茨奖级别”。这些突破涵盖了高维几何、群论、算子代数等多个核心数学分支，相关论文长达249页。最引人注目的成果包括：构造出首个无限有限呈现的“非sofic群”，否定了自1999年提出相关猜想；在高维球体堆积问题上，打破了自1978年以来人类未能突破的理论极限；推翻了菲尔兹奖得主Alain Connes提出的“刚性猜想”，构造出无限多不同构但生成相同冯·诺依曼代数的群。据称，生成这10项证明的总计算成本仅约2000美元。所有证明均通过了Lean 4形式化验证，确保了其严密性。这一系列成果被视作AI在深度推理和数学直觉上的重大飞跃，标志着AI已成为数学研究领域的强大工具。

marsbit2小时前

marsbit2小时前

如何让自己变得让人工智能永远也无法取代

面对人工智能的冲击，许多人担心工作被取代。然而，真正的威胁在于个人对他人和系统的依赖，以及由此产生的“薪资奴役”——即为生存而从事无意义、枯燥的工作。摆脱这种困境的关键，不是抵制技术，而是成为拥有高自主性的“不可受雇”个体。文章提出了成功抵御AI替代的五个核心要素：自主性（主动行动的能力）、品味（判断事物价值的经验）、说服力（让他人关注你工作的能力）、毅力（坚持并从错误中学习）和迭代（根据反馈持续改进）。这些能力无法仅通过理论学习获得，必须通过实践来培养。要启动转变，首先要彻底改变环境，重塑身份认同。其次，应选择一个能获得真实、快速反馈的实践领域，例如创业。在众多技能中，内容创作（媒体）比编写代码更具优势，因为其价值是主观的，需要独特的审美和判断力，这正是AI目前难以完全复制的。具体行动上，可以从三个步骤开始： 1. **挖掘原始素材**：反思自己长期痴迷的知识领域、轻松解决的难题或童年被压抑的兴趣，找到独特的个人经验。 2. **确立反向思考主轴**：找出你坚信但主流观点错误的地方，或行业内普遍忽视的“皇帝新衣”，形成独特的批判性视角。 3. **立即发布**：将前两步的思考融合，撰写并发布第一个核心内容（如帖子、视频），勇敢接受真实世界的反馈，并在此基础上持续学习和迭代。最终，抵御AI的关键在于构建一份与自身身份深度契合的毕生事业，通过持续的内容创作和真实互动，建立无法被自动化取代的独特价值和影响力。行动，从今天发布第一个想法开始。

marsbit3小时前

marsbit3小时前

通过掷骰子离线保管比特币密钥：并非人人愿意为之

文章探讨了通过投掷骰子生成比特币钱包种子短语的安全方法及其现实挑战。核心观点如下： **1. 骰子提供物理熵源** 骰子结果由众多微小变量决定，理论上虽可预测，但实践中无法被攻击者复制或计算，从而提供高质量的随机性。每个六面骰子投掷约产生2.585比特熵，50次投掷即可满足典型12词助记词（128比特熵）的安全需求。 **2. Coldcard漏洞事件凸显手工熵源的价值** 近期Coldcard硬件钱包因固件漏洞导致其内部随机数生成器存在缺陷，致使约1128枚比特币被盗。但那些**完全**通过足量骰子投掷生成种子短语的用户未受此漏洞影响，因为他们的主密钥未使用有缺陷的生成器。 **3. 重要警示：手工种子并非万能保护** 安全研究员指出，即使用户使用骰子生成了安全的种子，若他们使用了Coldcard的其他功能（如生成纸钱包、克隆密钥、共享签名密钥、密码等），这些**衍生密钥**仍可能调用有漏洞的随机数生成器，从而存在风险。安全种子不保证设备生成的所有秘密都安全。 **4. 手工生成熵源的现实局限性** 尽管数学上可靠，但该方法对大多数用户并不友好： * **过程繁琐易错**：需投掷50-99次，精确记录，任何输入错误都会导致钱包完全不同。 * **引入新风险**：用户可能在记录、转换过程中泄露信息，或使用有偏的骰子/投掷方式。 * **用户体验差**：难以想象大规模推广需要用户手动投掷近百次骰子。安全措施需适应现实生活场景和普通用户的知识水平。 **5. 给用户的建议** 受影响的Coldcard用户应： * 更新固件至最新版。 * 检查是否使用过有漏洞的功能生成了次级密钥或密码，如有则需立即更换。 * 考虑采用多签方案，使用不同厂商的设备分散风险。 **结论**：手工投掷骰子生成熵源是技术娴熟用户的一个有效安全选项，但其过程复杂、容易出错，不适合作为主流用户的默认方法。长远目标是依赖安全、透明且无需专业知识的硬件/软件随机数生成方案。

cryptonews.ru6小时前