# 证明的所有文章

在 HTX 新聞中心流覽與「证明」相關的最新資訊與深度分析。潘蓋市場趨勢、專案動態、技術進展及監管政策，提供權威的加密行業洞察。

GPT-5.6仅用1小时攻破50年数学难题，64个AI摘下图论皇冠

7月11日，OpenAI宣布GPT-5.6 Sol Ultra成功证明了困扰数学界50年的“循环双覆盖猜想”，整个过程仅用时不到一小时。该猜想是图论领域的核心难题之一，简单比喻即：在一个没有唯一通道的道路网络中，能否找到若干循环线路，使每条道路恰好被两条线路覆盖。过去半个世纪，数学家们仅在附加条件下取得部分证明。 OpenAI的突破关键在于采用了创新的“并行测试时计算”方法。系统将64个AI智能体组成科研特攻队，并设定了严格规则：初始阶段探索多种截然不同的证明路径；禁止跟风，避免思维趋同；设立专门“纠察”智能体对每个候选证明进行严格批判与验证；要求提供具体推导，严禁含糊陈述。在这套机制下，AI智能体通过精妙的协作，在一小时内完成了证明。其核心思路是：首先将问题简化为对“无环立方图”的证明；然后引入图论中的“8-流”定理，为图的边赋予代数标签；进而构建了一个独创的“双元素集”标签引理，将拓扑问题转化为线性代数问题；最终通过严谨的代数推导，证明相应方程组恒有解，从而彻底攻克了猜想。这一成就展示了AI在复杂抽象推理领域的强大能力。研究者指出，并行推理大幅压缩了解决难题所需的时间，使长时间、高强度的逻辑探索变得可行。有观点认为，这种“多智能体协同攻坚”模式若结合更大算力，未来或有望应用于攻克更重大的科学难题。尽管对此成就的深度与广度存在一些讨论，但毋庸置疑，AI正向更高阶的智能迈进。

marsbit07/15 07:57

marsbit07/15 07:57

Vitalik 眼中以太坊的下一个 10 年

2026年7月，Vitalik Buterin公布了名为“Lean Ethereum”的长期路线图，规划了未来三到四年的协议全面重构。该计划被视为继Merge之后以太坊的第三次重大演进，旨在通过一系列升级解决扩容、安全、隐私等核心问题。 **核心目标与技术升级：** 1. **性能飞跃**：目标是将L1吞吐量提升至每秒1 gigagas，实现数百倍增长，并大幅缩短最终确定性时间至近实时。 2. **验证模式变革**：计划将递归STARK证明纳入协议核心，用高效的证明验证替代当前所有节点重新执行交易的模式，以提升效率。 3. **状态与存储重构**：拟引入分层状态架构，设立一个容量更大、费用更低的新型存储层，鼓励应用迁移以显著降低手续费。 4. **增强安全与隐私**：将抗量子密码学（如Winternitz签名）提升为优先事项，并将原生隐私支持作为协议设计的一级目标。 5. **EVM引擎潜在更换**：考虑用对证明更友好的架构（如RISC-V）替代或补充EVM，以降低证明生成成本，但此提议尚存争议，特别是与部分L2（如Arbitrum）的技术路线存在博弈。 **市场影响与观察点：** 路线图主要通过提升L1交易活动来增加ETH销毁量，从而可能正面影响其价值。但这是一个长期过程，短期内不影响现状。市场更应关注几个近期可验证的节点：Glamsterdam升级能否顺利实施并提升gas上限、L2活动及blob需求增长、L1费用收入与ETH销毁量的变化、L2发展对L1的反哺效应，以及ETH相对于BTC的市场表现。这份路线图提升了以太坊的长期潜能上限，但并未解决中期的代币经济价值捕获问题。其实施效果需通过未来数年的具体技术落地和市场指标来验证。

链捕手07/11 09:17

链捕手07/11 09:17

清华AI数学家来了，从想法一路推到定理，参与完成84页量子算法论文

清华大学智能产业研究院（AIR）发布了一款面向数学研究的智能体系统AIM，该系统不仅能够解答数学问题，还能参与科研的前期工作，包括发散思路、组织定理、生成证明草稿等。近期，基于AIM，研究团队完成了一项AI深度参与的量子算法研究，提出了“符号嵌入量子算法”（Sign Embedding Quantum Algorithms），并形成了一篇84页的论文。这项研究从一个模糊直觉出发：有理逼近能否成为量子算法设计原则？在研究过程中，AI首先帮助研究者扩展候选路线，人类则负责筛选方向、审计假设和修复推导。AIM在后续阶段参与定理组织、证明草稿生成和复杂度分析。最终，团队提出了一种统一处理矩阵方程和矩阵函数问题的量子算法框架，并在非正规、不可对角化等一般条件下建立了可用的假设与复杂度表述。该研究展示了AI在数学研究中的一种协同模式：AI负责高通量的路线探索和推导生成，人类研究者则进行价值判断、方向选择和结果审计。这种模式不仅提高了研究效率，也使AI的生成能力更好地服务于人类的专业判断。未来，AIM将进一步发展系统能力，支持科研全过程的路线管理、假设记录和审计反馈，为理论研究提供新的助力。

marsbit07/10 02:53

marsbit07/10 02:53

Vitalik的Rollup证明工作表明以太坊扩容仍依赖于密码学

以太坊联合创始人Vitalik Buterin近期发布的技术笔记聚焦于Rollup的证明优化，特别是多项式承诺等密码学技术的效率提升。这项研究虽技术性较强，却揭示了以太坊扩容的核心路径仍然深度依赖密码学的进步，而非仅仅是产品发布。 Rollup依赖密码学证明来压缩和验证交易，证明效率的提升意味着网络能够以更低成本支持更大规模的交易处理，同时不损害其底层安全模型。这对于以太坊的长期发展至关重要，普通用户虽无需理解技术细节，但将最终受益于更快速、更便宜的交易。这一进展凸显了以太坊研究文化的活跃度。在市场注意力被ETF和价格波动分散时，其核心开发与研究活动仍在持续推动底层技术的迭代。对于投资者而言，此类技术研究虽不直接引发短期价格波动，却关乎以太坊能否长期保持其作为主流应用首选结算与执行层的地位。当前市场信息繁杂，此事应被视为一个清晰的技术进展数据点，有助于理解Layer2在以太坊生态中的定位，而非一个即时的市场炒作叙事。其真正价值在于为以太坊的持续扩容提供了具体的技术演进依据。

bitcoinist07/09 23:11

bitcoinist07/09 23:11

加密行业进入“Show Me”时代：仅靠愿景已经不够了

加密行业正进入“用行动证明”的时代，仅凭愿景和承诺已不足以获得认可。过去，一份白皮书和一个代币就可能引发关注，但如今环境已变：传统金融机构（如贝莱德、富达、摩根大通）正大规模推出实质性的加密货币产品（如代币化基金、ETF、区块链结算网络），同时监管框架逐步清晰，人工智能等领域也展示了成熟产品的力量。这些变化提高了行业的可信门槛，公众和媒体越来越关注实际成果而非未来设想。新的沟通规则要求项目方提供“证据层层递进”：包括真实且公开的合作伙伴关系（而非意向）、主网交易量、活跃用户数、收入等硬数据，并能通过链上工具验证。产品市场契合度的信号变得至关重要，例如有机增长的社区和真实用户留存。创始人应围绕已实现的成果展开叙述，例如“将跨境结算时间从三天缩短到四分钟，并有三家企业使用”，而非空谈“构建支付的未来”。愿景仍然重要，但必须由实质内容支撑。当前，沟通中愿景与实质的比例应从过去的80%对20%逆转过来。更高的门槛有利于真正拥有用户、数据和合作的项目过滤噪音，脱颖而出。核心在于，沟通策略是为了展示证明，而非仅仅做出承诺。

链捕手06/25 06:20

链捕手06/25 06:20

以太坊2026年变革：为何基于证明的验证对节点至关重要

以太坊将于2026年推出L1-zkEVM升级，核心功能EIP-8025（可选执行证明）将引入新的验证机制。该方案允许专门的zkAttesters通过零知识证明（ZK）验证区块，而无需每个验证节点重新执行所有交易。现有节点仍可选择沿用当前验证方式。目前以太坊验证需重复执行每笔交易，消耗大量计算资源。ZK证明通过密码学验证大幅降低硬件要求，未来普通笔记本电脑也能运行全节点，提升家庭验证者和独立质押者的参与可行性。 EIP-8025要求每个区块需通过多个独立证明验证（如五分之三）方可确认，既保障客户端多样性，又减少对单一实现的依赖。该升级还将推动执行见证和zkVM接口标准化，利好Rollup和区块链证明基础设施的发展。最终，以太坊将在提升基础层扩展性的同时，实现更高效、轻量且安全的验证体系。

ambcrypto02/11 09:14

ambcrypto02/11 09:14

以太坊基金会规划主网L1实现zkEVM证明的路线图

以太坊基金会公布了一项分步计划，旨在通过zkEVM零知识证明技术让以太坊主网（L1）实现基于证明的区块验证，从而减少验证者重新执行每笔计算的需求。该提案由基金会联合执行董事Tomasz K. Stańczak于1月15日发布，涉及执行层与共识层客户端的工程改造、新型证明基础设施及安全流程的建设。核心路径包括：首先构建“执行见证（ExecutionWitness）”数据结构，以封装区块验证所需信息；其次开发标准化的zkEVM验证程序，用于生成执行正确性证明；最终使共识客户端在验证区块时接受这些证明。计划还强调需实现可重现构建、GPU证明测试、网络基准评估以及安全威胁模型设计。关键依赖包括区块级访问列表（BALs）和改进的证明生成时间。目前证明生成仅1-2秒，但依赖ePBS（提议者-构建者分离）优化后可延长至6-9秒，该功能预计2026年中部署。若计划落地，以太坊L1将迈向zk证明验证的实用化阶段，但证明时效与操作复杂性仍是主要挑战。

bitcoinist01/16 23:01

bitcoinist01/16 23:01

MEXC以强劲储备开启2026年：1月审计显示BTC储备覆盖率达158%

MEXC交易所发布2026年1月储备金审计报告，显示其主流资产储备金覆盖率均超过100%。其中比特币（BTC）覆盖率从141%提升至158%，USDC从127%增至140%，USDT和ETH分别维持在127%和107%。平台目前持有6,172.88枚BTC、22.4亿USDT、1.115亿USDC和61,729.67枚ETH，较上月均有增长。 MEXC采用Merkle Tree技术进行储备金验证，并由第三方安全机构Hacken进行月度审计，确保用户资产透明可查。该交易所强调，始终以超额储备金保障用户资产安全，并将持续定期发布审计报告以建立可信赖的透明度。 MEXC成立于2018年，服务全球超170个国家4000万用户，以零手续费交易、多样化的代币选择和用户友好的操作体验为特色。

TheNewsCrypto01/14 10:16

TheNewsCrypto01/14 10:16

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

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

marsbit12/22 09:17