Vitalik 提出前瞻判断：2030 年代“代码必然有漏洞”的观念将不再成立

Vitalik Buterin最近在X平台上提出预测，到2030年代，“代码必然有漏洞”的传统观念将不再成立。 他认为，虽然许多软件仍会保留bug以优先功能扩展，但开发者真正追求无bug代码时，这一目标将可实现。
​
预测背景
Vitalik的观点源于AI辅助编程、形式化验证工具的进步，这些技术正加速软件工程范式转变。 该预测于2025年12月23-24日迅速传播，多家加密媒体报道。
​
详细内容
Vitalik原话：“‘Bug 是不可避免的，你不可能编写无bug代码’这一说法在2030年代将不再成立。”
​
例外情况：某些用例中，快速迭代功能比绝对正确性更重要，故bug仍存。
​
实现基础：依赖验证工具和开发范式演进，而非当前手动编码局限。
​
行业反响
加密社区视此为对区块链安全（如智能合约）的乐观信号，尤其在用户关注web3开发时。 类似讨论也延伸至量子计算威胁，但本次焦点纯属软件可靠性。