据 BlockBeats 报道，以太坊联合创始人维塔利克·布特林（V 神）在 5 月 19 日概述了 AI 增强的形式化验证将如何成为“软件开发的终极形态”，并成为抵御先进 AI 威胁的关键防线。维塔利克解释称，形式化验证会将代码正确性转换为可通过数学方式验证的定理，从而通过数学证明来确保软件安全，而不是依赖传统的测试或审计。
维塔利克强调，这种方法特别适用于以太坊的下一阶段升级，包括抗量子签名、STARK 证明系统、拜占庭容错共识以及 ZK-EVM。他表示，在日益严峻的 AI 安全挑战下，以太坊将成为“安全核心”架构的重要组成部分：在该架构中，关键系统通过形式化方法加固，而外围组件则在沙箱中运行，并且权限最小。
