比特币杂志
封闭源时代的终结即将来临：模糊从来不是安全
在过去几天里，那些试图做对的事情的人失去了他们的比特币。他们购买了一款受人尊敬的硬件签名器，使用该设备离线生成了种子，并信任该设备完成签名器存在的唯一目的：生成一个其他人无法猜测的数字。Coldcard没有做到。一个检查错误内容的预处理器保护悄悄地将种子生成路由到一个弱软件伪随机数生成器（PRNG），MicroPython的Yasmarang，而不是硬件熵源。在某些型号上，有效熵降至约40位。这个缺陷在2021年3月发布，并在公开可读的固件中存在了超过五年。在任何人理解原因之前，攻击者已经扫荡了500个地址；几天内，Galaxy Research的统计数字达到了4,585个地址和近9000万美元；截至本文日期，攻击仍在继续。
Coinkite 的工作假设是，广泛同意 X 的观点是，有人使用 AI 来搜索公开可用的固件以找到这个漏洞。无论这个攻击者是否是通过这种方式发现的，下一个攻击者肯定会。尽管在盗窃发生前几周进行了 AI 辅助审计，但没有发现任何问题（可能是由于模型的能力，也可能是由于搜索的具体构造）。自攻击开始以来，研究人员已经展示了几个前沿模型在几分钟内通过单个提示定位到相同的缺陷。代码在过去五年中一直开放供人类审查，但没有人发现它。
在 Foundation Devices 使用该代码开发竞争产品后，Coinkite 将其固件从自由软件许可证转移到源代码可用条款，即 MIT 加上 Commons Clause。你可以阅读源代码，但不能以此建立业务。这并没有改变任何事情。这个漏洞存在于机器可以读取的代码中，无论许可证允许什么；实际上，它是在剥离最后一部分 GPL 代码的重写中进入树中的。许可证的更改并没有增加保护；它只是改变了发现漏洞的经济学。
在高度熟练的人工智能时代，所有分发的内容都是可读的，或者很快就会变得可读。剥离二进制文件的符号，经过反编译器处理，出来的是伪C代码，迎接任何打开Ghidra的人：无名变量、扁平化控制流、标记为FUN_00401a20的函数。对大多数人来说是不可读的。这个对人类理解的高门槛就是“闭源”的全部安全溢价。
编译后的程序别无选择，只能讲述真相。保持加密的代码无法运行。在执行的瞬间，处理器必须接收实际的指令，因此无论程序做什么，它都向机器提供了如何执行的完整且准确的说明。所有信息都在机器代码中。混淆无法，也不可能，去除这些信息。
如果阅读二进制对机器来说听起来太难以掌握，那么与机器已经在处理的更困难的问题相比，这一点就显得微不足道。阅读二进制是一种分析：你需要的每一个事实都在你面前，工作就是提取。数学发明是另一种难度，因为它要求一个没有人见过的对象。在协调世界时2023年7月20日02:19，Levent Alpöge，一位与Anthropic的Claude Fable 5合作的数学家，发布了对Keller的雅可比猜想的反例，这是一个自1939年以来悬而未决的问题，足够困难以至于被列入Stephen Smale的21世纪挑战清单。几代人都尝试过。这个反例是三个变量的三个多项式。Lean在几个小时内验证了它，而且它足够简短，任何人都可以在大约一分钟内在计算机代数系统中确认。
雅可比在一个下午就被攻破，而提问者显然正在观看国际足联世界杯的决赛。今年5月，一个OpenAI模型推翻了自1946年以来悬而未决的Erdős单位距离猜想；在7月底，一个30年的图论猜想在四个提示下被攻破；在它们之间是雅可比的反例和一系列几十年来一直存在的其他结果。
在互联网上已经存在的机器代码阅读这一不起眼的任务旁边设定这样的节奏。今天的模型比起原始字节，更好地处理源代码和反编译器输出，因此完全封闭的二进制文件保持着微薄的边际。这个边际是一个成本的速度障碍，它正在以你在其他地方看到的速度侵蚀。将安全性寄托在它能持续多久上，意味着在与一个只会加速的时钟对赌。
找到你的熵漏洞的能力也能读取你的专有方法。这是更安静的牺牲，它影响那些从未认为自己暴露于任何开源的公司。已交付软件中的商业秘密一直只是穿着西装的模糊性。法律自商业秘密法存在以来就这样规定：逆向工程你合法拥有的产品是公平的，因此一个秘密只有在逆向工程保持昂贵时才能存活。当提取成本降到一个订阅和一个提示时，你交给客户的代码中所体现的秘密就不再是秘密。你的聪明算法，你的未记录格式，你在二进制中的优势：对任何愿意查看的人都是可读的，而这个时间线越来越以分钟为单位衡量。
这些并不一定使开源安全。Heartbleed 在全球最广泛部署的 TLS 库中隐藏了两年，因为没有资金支持的关注无法发现任何问题。xz 后门表明，开放贡献模型本身就是一个攻击面，一个耐心的对手可以以友好的面孔和两年的良好提交来穿越。曾经的开放性是一个保护盾，但现在不再是。它所带来的是被允许查看的审查者，可以独立重现和验证的构建，当供应商倒闭或转变时的退出，以及承认这一切无论你喜欢与否都会发生。
现在我们必须假设每一行发布的代码都会被希望造成伤害的人阅读，因为它将会被阅读。防御者拥有攻击者永远无法拥有的一个结构性优势：时间。在发布之前，你可以在提交和交付之间的时间内，对自己的代码进行相同的前沿模型测试，而攻击者则在等待一个尚不存在的二进制文件。确保你的构建是可重现的，这样它就可以追溯到源代码，并且源代码可以被检查。设计时要考虑到失败的情况，并保持可信核心足够小，以至于一个漏洞无法导致全面崩溃。对于持有比特币的具体业务，学习Coldcard实时教授的教训：掌握你无法承受被猜测的熵，保持安全元件最小并位于已发布接口之后，并将你的密钥分散在独立的实现中，以便没有单一设备和没有单一供应商的错误会导致你全部的风险。
对于比特币来说，风险是无情的，这种情况在其他地方并不存在，因为仅仅知道私钥就能获得所有权。熵漏洞留下了永久的伤疤。修补生成器对它已经产生的种子毫无帮助；一个弱的密钥空间将永远可以被清扫，而泄露则将攻击者手中的配方交给了他们。我们之前见过这种情况。libbitcoin探索工具bx中的Milk Sad漏洞，从一个32位值生成私钥，攻击者在这个缺陷公开之前就已经在 draining 其产生的钱包。攻击者总是按照自己的节奏行事，无论是否被邀请。对于无法追回的钱来说，“最终可找到”就是“最终消失”的同义词。
比特币从未信任模糊性。协议是开放的，其规则可以被任何人检查，其安全性不依赖于秘密，而是依赖于在全视野中保持的数学和激励。我们围绕它构建的硬件和软件也应达到同样的标准，因为替代方案不再是一个选择。选择从来不是开放或封闭，而是有纪律或暴露。
这个Coldcard情况的更广泛教训是，拥有闭源软件就像拥有一个由损坏的Coldcard生成的种子；它看起来不错，但根本上是建立在沙子上的。每个人都可以阅读代码——唯一剩下的问题是你是否承认这一事实，或者你和你的用户像Coldcard的用户一样，通过一个个被 draining 的地址来学习这一点。
这是Colin Crossman的客座文章，他是Fedi的内容制作人。所表达的观点完全是他们自己的，并不一定反映BTC Inc或Bitcoin Magazine的观点。
这篇文章《封闭源时代的结束即将来临：模糊从来不是安全》最初出现在Bitcoin Magazine上，作者是Colin Crossman。
来源：BitcoinMagazine
