OpenAI的722篇AI数学论文引发对比特币(BTC)签名安全的审视

OpenAI的722篇数学论文掀起密码学之争

人工智能在数学推理上的快速进步,让数字资产社区绷紧了神经。但警报的落点比标题更窄:真正被讨论的是椭圆曲线离散对数问题(ECDLP),这道谜题守卫着Bitcoin (BTC)和Ethereum的签名体系。OpenAI发布了一批借助AI完成的数学论文,涉及此前被认为遥不可及的难题,随后几天里,行业研究人员开始在内部流传应急预案,以防这道防线失守。这批产出共计722篇AI生成的数学论文,其中包含与黎曼猜想和P=NP问题相关的内容,而这两个问题正是现代公钥密码学理论的两根支柱。需要说清的是:两个难题都未被完全解决,OpenAI的材料也不构成一次可用的攻击。722篇论文中只有162篇通过了Lean的逐行形式化验证,这是数学家用来核查证明的工具,学界对结果的可复现性同样存在争议。换句话说,担忧是结构性的,而非迫在眉睫。Bitcoin和Ethereum都使用椭圆曲线数字签名,其所有权模型建立在一条假设之上:从公钥反推私钥在计算上不可行。一旦有人用足够算力打破这条假设,就能从暴露的公钥导出私钥,冒充真实所有者签名交易,攻击面从交易所托管一直延伸到自托管的硬件钱包。多年来,量子计算一直是这条假设的假想敌,而AI改变了风险的形状:一个模型找到的高效算法可以在普通硬件上运行,根本不需要量子计算机。目前危险仍停留在假设层面,ECDLP尚无经过独立验证的高效算法,社区紧张的是趋势方向,而非已经发生的破解。比特币价格至今对这场争论没有表现出任何反应。

基于哈希的备用密钥与紧急开关

密码学层一旦被攻破,区块链受到的冲击会远大于银行,这种不对称正是眼下应急讨论的驱动力。中心化金融机构可以重新核验客户身份、更换整套认证系统,而区块链没有管理员能在事后逐户确认所有权。如何保护私钥已泄露的用户、如何恢复合法所有权,成了悬而未决的难题,行业内部由此分成两派。Ethereum研究员Justin Drake主张把资产预先迁移到公钥暴露最小的地址上,也就是在事故发生前就完成撤离。Ethereum联合创始人Vitalik Buterin则提出异议,认为仓促迁移本身就会制造用户操作失误。Dragonfly管理合伙人Hashib Qureshi同样不认可撤离思路,认为这是躲避而非迎战,并给出一个更宏大的设计:在协议层面设置紧急密码学恢复模式。该方案要求用户提前在现有地址上注册一把基于哈希的备用密钥。哈希密码学比主流链使用的椭圆曲线方案更简单,且不依赖任何数学规律,因此能抵抗AI推理,破解它的唯一途径是近乎无限规模的暴力枚举。结构简单,防御价值却很高。一旦椭圆曲线签名被确认存在严重漏洞,验证者将通过共识触发一个紧急开关,暂停已被AI攻破的签名验证,同时每个钱包转入基于哈希的保护机制以争取时间。这套方案运行缓慢且成本高昂,支持者自己也把它定位为应急刹车,而非替代品。对从未注册备用密钥的用户,还可用其助记词的零知识证明来证明旧资产所有权,并发放新地址。讨论中的第三条路线则提高工作量证明谜题的难度,让资产赎回所需的计算量随资产规模和经过时间同步放大。

尚无定论的关键点

我们的判断是:这场警报目前是被当作争论在交易,而不是当作一次实际攻破。整个事件里最关键的数据是Lean验证数量,722篇中只有162篇,这是目前唯一客观的衡量标准,它说明这批新数学中的大部分,还没有达到密码学所要求的证明标准。各方交锋本身解决不了问题。Drake的预防性迁移与Qureshi的协议级恢复方案回答的其实是两个不同的问题,前者关乎个人资产安全,后者关乎整条链的恢复,而Buterin的反对只适用于前者,并不适用于后者。真正能终结争论的只有一件事:出现一个高效的、经过独立验证的ECDLP算法。在那之前,这场分歧本身,就是这个故事。