关键洞察

Vitalik Buterin 表示，他净资产中约 90% 的部分已经使他站在了“AI 驱动的加密货币崩盘”这一论点的对立面。以太坊联合创始人认为，人工智能（AI）将加强形式化验证，而不仅仅是增加黑客攻击的能力。Buterin 希望更强的验证能力不仅限于区块链代码，还应扩展到应用程序、操作系统和硬件。

Vitalik Buterin 指出，他净资产中约 90% 的部分已经使他在加密货币安全辩论的结果中面临重大风险。以太坊联合创始人是在反驳一种预测时做出上述评论的，该预测称人工智能可能会严重破坏比特币的安全性，从而引发重大的价格崩盘。相反，Buterin 认为 AI 可以成为一种重要的防御工具。他认为，日益强大的系统可以帮助开发人员形式化地验证关键软件是否满足明确定义的安全要求。

Vitalik Buterin 挑战 AI 安全警告

这些评论源于他与投资者兼 AI 风险评论员 Liron Shapira 在比特币脆弱性问题上的分歧。Shapira 声称，AI 可能会削弱比特币的安全性，并在两年内导致价格下跌 50%。Vitalik Buterin 回应道，呼吁在软件、操作系统和硬件层面采用安全、可验证且开源的技术。

这一回应强调了建设而非持续寻找漏洞的竞赛。Buterin 承认，防御者可能会试图在攻击者发现之前识别出每一个弱点。然而，他将这种方法描述为比从一开始就构建具有更强保护措施的软件更具风险。他通过将其与数学证明进行比较来解释他偏好的方法。他认为，如果 AI 能够证明复杂的数学命题，那么它也可以证明复杂的程序是否符合安全定义。他指出，困难的部分在于确定这些定义必须包含的确切内容。

定义安全超越保护消息

为了解释这种困难，Vitalik Buterin 考察了 Signal 以及围绕加密通信的要求。保持消息内容不被外人读取仅涉及问题的一部分。开发人员还必须处理伪造的消息、被阻止的投递、应用程序崩溃以及重放以前通信的攻击者。这些问题进一步延伸到支持这些讨论的基础设施。Buterin 强调了被入侵的服务器、篡改的公钥标识符、被黑客攻击的设备以及可能暴露密钥的操作系统漏洞。他还质疑当设备在投递前或投递后出现故障时，消息是否可靠。其他担忧涉及数据库、编程工具、软件库以及泄露信息的硬件信号。同时，消息大小、发送者身份、接收者身份以及精确的时间戳可能会揭示超出内容本身的细节。Buterin 认为，这些考量使得可读且精心构建的安全定义对于有意义的验证至关重要。他指出，这些定义可能超过一千行代码。即便如此，他说，审查其充分性通常比直接检查底层实现更容易管理。更好的工具可以进一步简化这项工作，尽管他承认用户界面在这方面提供的优势可能较少。

以太坊的方向需要更广泛的验证

Buterin 还解释说，一个程序可以同时满足多个兼容的安全定义。组合代码无法提供同等的保证，因为任一组件中的错误都可能导致整个程序受损。他表示，当定义发生冲突时，开发人员会识别出需要仔细检查的根本问题。这种区别支持了他扩大验证范围的主张，使其超越选定的代码部分。早期的努力有时会忽视后来被证明至关重要的组件，这反映了历史上验证工作的困难和稀缺。他现在主张检查数据库、网络、缓存以及程序的每个其他组件，断言现代 AI 可以完成这项工作。对于以太坊，Vitalik Buterin 将全面验证描述为未来几年的方向。他将这项工作具体连接到追求可扩展性和隐私的区块链。他提出的范围还扩展到操作系统和硬件，将安全任务扩展到单一的区块链软件之外。