主要洞察
- Vitalik Buterin 指出他大约90%的净资产使他直接站在了“人工智能驱动的加密货币崩盘论”的对立面。
- 根据 ETH 作为其原生资产。">Ethereum 联合创始人认为，人工智能可以增强形式化验证，而不仅仅是扩大黑客攻击能力。
- 布特林提倡进行强有力的验证，以将区块链代码的应用范围延伸至应用程序、操作系统和硬件。
维塔利克·布特林表示，他大约90%的净资产已经使他直接面临当前 加密货币安全 辩论的结果。这位 ETH 作为其原生资产。">Ethereum 联合创始人分享了这一观点，同时驳斥了一种预测，即人工智能可能会严重损害 比特币 并引发巨大的价格崩盘。
相反，布特林认为人工智能可以作为重要的防御机制。他坚信，日益先进的系统将协助开发人员以形式化方式验证关键软件是否符合精确的安全标准。
维塔利克·布特林对人工智能安全警告提出质疑
这些言论是在他不同意投资者兼AI风险评论员利龙·夏皮拉（Liron Shapira）关于 比特币’s resilience. Shapira asserted that 人工智能 可能会破坏 比特币’s security and provoke a 50% price drop over a two-year period.
对此，维塔利克·布特林呼吁建立涵盖软件、操作系统和硬件的安全、可验证且开源的技术。
这一回应将焦点转向了精心的构建，而不是无休止地去争夺漏洞发现的竞赛。布特林承认，防御者可以尝试在恶意攻击者发现之前找出每一个缺陷。
即便如此，他认为这种策略比从一开始就设计具备更强防护措施的软件风险更高。
他通过类比数学证明阐述了自己首选的方法。他推断，如果人工智能具备证明复杂数学命题的能力，它同样可以验证复杂的程序是否符合安全规范。
他指出，主要的挑战在一定程度上在于精确定义这些规范应包含的内容。
定义安全不仅限于保护消息
为了说明这种复杂性，维塔利克·布特林剖析了Signal以及加密消息传递的相关需求。
确保消息内容对外人不可读只是解决了一小部分问题。开发人员还必须应对伪造消息、阻止传输、应用程序崩溃以及试图重放先前通信的攻击者。
支撑基础设施也引发了进一步的疑问。布特林指出了遭到入侵的服务器、被篡改的公钥标识符、被黑客入侵的硬件，以及可能泄漏私钥的操作系统漏洞。他还对设备在消息发送前后受损时的消息可靠性提出了质疑。
其他担忧还包括可能泄漏数据的数据库、开发工具、软件库和硬件信号。同时，消息大小、发送者身份、接收者身份和精确时间戳等元数据可能会暴露消息正文之外的细节。
布特林认为，这些因素使得清晰、严密设计的安全定义对于有效验证至关重要。
他指出，虽然这些定义很容易超过上千行代码，但评估其充分性通常比直接检查底层实现要简单。改进的工具可以进一步简化这一过程，尽管用户界面在这方面的帮助可能有限。
以太坊的发展方向需要更广泛的验证
布特林还指出，单个程序可以同时满足多个兼容的安全定义。单纯组合代码 区块 并不能提供同等的保证，因为任何单个组件中的缺陷都可能危及整个程序。他表示，当定义发生冲突时，开发人员就会发现需要深入调查的潜在问题。
这种区别进一步印证了他推动将验证范围扩大到孤立代码段之外的主张。过去的努力有时会漏掉后来被证明至关重要的组件，这说明了验证的历史难度及其稀缺性。
他现在主张对数据库、网络、缓存以及程序的其他所有元素进行审计，并坚信现代人工智能完全有能力胜任这项任务。
对于 ETH 作为其原生资产。">Ethereum而言，维塔利克·布特林（Vitalik Buterin）将全面验证视为未来几年的核心重点。他将这一目标直接与致力于实现可扩展性和隐私性的区块链联系起来。此外，他提出的范围还涵盖了操作系统和硬件，将安全使命远远推到了单纯区块链软件的边界之外。
常见问题
维塔利克·布特林（Vitalik Buterin）的净资产中有多少比例与加密安全息息相关？
维塔利克·布特林（Vitalik Buterin）大约 90% 的净资产都让他与加密安全辩论的结果紧密相连。
维塔利克·布特林如何看待人工智能对加密安全的影响？
布特林认为，人工智能可以充当一种防御工具，能够改进形式化验证，而不仅仅是增加黑客攻击的风险。
利龙·沙皮拉（Liron Shapira）对比特币和人工智能作出了什么预测？
沙皮拉声称人工智能可能会破坏 比特币’s security and trigger a 50% price decline within two years.
验证是否仅适用于区块链代码？
不是，布特林主张将形式化验证扩展到应用程序、操作系统、硬件、数据库和网络组件中。
