7.3 Tech Buterin 认为，AI 辅助形式化验证将革新加密安全，有望让关键代码不可攻破，解决区块链系统中的漏洞。
Vitalik Buterin 描绘了一个愿景：AI 辅助形式化验证将成为软件开发和加密安全的变革性力量。他认为，将人工智能与形式化验证（即对代码正确性进行数学证明）结合，能够让开发者编写出更高效、安全、可靠的代码。 这种方法已被应用于以太坊核心基础设施，尤其适用于共识算法、零知识证明和抗量子密码学等复杂系统。Buterin 指出，虽然形式化验证并非万能，但它为减少漏洞、抵御日益复杂的 AI 驱动网络攻击提供了可信路径。 他强调，AI 可以生成大量代码，但形式化验证对于确保其正确性至关重要，有望让关键软件变得不可攻破。这一范式转变有望解决加密领域长期存在的漏洞问题，被部分研究者称为软件开发的“最终形态”。
Vitalik Buterin: AI-Assisted Formal Verification Is the Future of Secure Software Development
Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks
Vitalik: Formal Verification Could Be Crypto’s Biggest Security Leap
Vitalik Buterin: AI-Powered Formal Verification Could Transform Crypto Security
Vitalik Buterin: AI And Formal Verification Can Make Critical Code Unhackable
Vitalik says AI‐assisted formal verification could be ‘final form’ of software development
