Vitalik Buterin 揭示人工智能为何可能助力防御者

币安Binance

币安交易所是全球加密货币交易所龙头，在手机上即可买卖比特币等数字货币！

官网注册  APP下载

维塔利克·布特林认为人工智能将助力网络防御者

以太坊联合创始人维塔利克·布特林（Vitalik Buterin）驳斥了“更强的人工智能将使网络安全无法防守”的观点。他认为，人工智能同样可以帮助开发人员构建具有更强数学安全保证的软件。他指出，攻击者和防御者都将获得更强大的AI工具，这使得软件设计与验证变得日益重要。

布特林表示，当开发人员更广泛地使用形式化验证（Formal Verification）时，网络安全可能倾向于防御方。形式化验证利用数学方法证明软件遵循既定规则。他论证道，尽管人工智能有助于攻击者寻找漏洞，但先进的AI也能使这些数学证明的生成成本更低、过程更简便。

目前有一种日益普遍的观点认为，AI黑客技术意味着网络安全已无药可救。但我持不同意见。我认为，一旦人们理清思路并规范操作，网络安全在本质上是对防御方有利的。任何继续持有加密货币的人（包括我，我的净资产中约90%为加密货币），都在隐含地假设开发人员能够创建出能够抵御越来越强大攻击者的数字系统。[来源：Twitter/X]

他将这种可能性与AI系统解决数学问题的案例进行了类比，例如费马大定理和纳维-斯托克斯方程。他的核心观点是，人工智能可能会将软件安全性声明视为需要证明的数学命题。

形式化验证仍面临定义难题

布特林指出，最艰巨的任务可能在于定义什么是“安全的软件”。他以Signal应用为例：攻击者可以针对消息传递、密钥发现、服务器、操作系统、库、编译器、数据库或硬件发起攻击，而加密仅能保护消息内容本身。

这给形式化验证带来了巨大的挑战。证明只能确认开发者所定义的规则。如果这些规则遗漏了某种威胁，证明就无法覆盖该风险。布特林表示，因此安全定义可能变得极其冗长，需要在AI进行数学证明之前进行细致且严谨的工作。

以太坊安全工作迈向更强的证明机制

最近的以太坊开发工作也显示出对基于证明的安全性的持续投入。布特林支持EIP-8288提案，该提案旨在通过递归STARK聚合来组合密码学证明，从而降低量子安全交易的成本。该提案目前仍处于草案阶段，目标是为未来的以太坊升级做准备。

以太坊开发人员也在辩论未来的交易系统应如何平衡规模、隐私和抗审查性。近期关于账户抽象标准的工作显示，以太坊Layer 1和Base在网络会议结束后采取了不同的设计方案。这场辩论反映了布特林所描述的更广泛的挑战：开发人员必须首先明确安全目标，工具才能对其进行验证。