等天晴
原创
发布: 2026-05-19
4人浏览过
等天晴
原创以太坊联合创始人Vitalik Buterin认为AI辅助验证能提升加密货币系统的安全性。由此，行业中出现AI辅助漏洞探测工具将成为可能。
考虑到Buterin关于人工智能能改进漏洞发现工具的观点，他最新表态引发了人们对软件安全未来的新担忧。Buterin表示，除非开发者采用更严格的验证方法，否则AI可能暴露区块链、加密系统和去中心化应用的重大缺陷。
值得注意的是，Buterin的评论正值科技行业关键时刻——AI应用势头迅猛，全行业正竞相将AI整合进软件开发。同时网络安全研究人员认为，先进AI识别漏洞的速度将远超人类工程师修复的能力。
基于当前发展，Buterin认为形式化验证可能成为以太坊等数字基础设施的关键防御层。在他看来，形式化验证是通过数学方法在黑客利用漏洞前检测软件的手段。
如今开发者整合Lean AI等工具，用于验证程序行为并确保可靠性。该流程能帮助计算机检测人眼难以察觉的编码错误。例如Lean AI聚焦增强而非取代人类，通过AI提升开发者的解决问题能力。
Buterin进一步指出，研究者正将AI模型与验证系统结合，同步生成更快速且更安全的代码。他认为随着AI工具在科技行业大规模生成软件，这种转变将愈发重要。
值得注意的是，Buterin引用了Yoichi Hirai的观点，特别强调其将这种新兴方法描述为"软件开发的终极形态"。他还重点提及Signal的安全工作与现代加密系统，指出研究者已在用形式化验证测试X3DH协议和AES加密等。
同时Buterin警告，日益强大的AI工具可能以开发者无法企及的速度暴露智能合约和DeFi平台的漏洞。在他看来，使用此类工具的攻击者或将获得分钟级定位软件缺陷的能力，这对区块链行业构成重大威胁。
尽管如此，他反对因风险过高而放弃开源软件和智能合约的主张。相反，他认为开发者仍可采用更严格的验证方法、更安全的编程语言和更严苛的软件设计标准来守护核心系统。
相关阅读： 以太坊联合创始人站台AI：别错过大数据代币的绿色浪潮
剑星（Stellar Blade）是一款由SHIFT UP Corporation制作，PlayStation Publishing LLC发行的后末日动作冒险游戏，在游戏中拯救濒临灭绝的人类。地球正一步步走向衰败，去找到地球没落的原因，体验激烈战斗与曲折剧情。感兴趣的玩家快来下载看看吧。
