Foresight News 消息，DAO 安全基金宣布将与以太坊基金会合作，为 Vyper 编译器的形式化验证提供资金支持，以太坊基金会已承诺出资 10 万美元。
目前，Vyper 智能合约的审计与验证仍主要停留在源代码层面，而以太坊实际执行的是编译后的字节码，因此编译器一致性对合约安全至关重要。该项目计划利用机器证明，确保 Vyper 编译过程不会改变代码的原始意图。
项目还计划最终在官方 Vyper 编译器中引入经过验证的编译模式，以提升智能合约开发与部署的安全保障。
Foresight News 指出，DAO 安全基金来源于 2016 年 The DAO 黑客事件中未申领的 ETH，规模约 2.5 亿美元，旨在加强以太坊生态安全。