以太坊基金会与 The DAO 安全基金资助 Vyper 编译器形式化验证

The DAO 安全基金在 X 平台发文称，将与以太坊基金会合作资助 Vyper 编译器的形式化验证工作，以太坊基金会已承诺出资 10 万美元。

目前，Vyper 智能合约的审计和验证仍停留在源代码层面，但以太坊实际执行的是编译后的字节码，二者是否一致取决于编译器。

这项工作计划通过机器证明，确保 Vyper 的编译过程不会改变代码原意，并最终在 Vyper 官方编译器中推出经过验证的编译模式。

Foresight News 此前提到，The DAO 安全基金由 2016 年 The DAO 黑客事件中无人认领的 ETH 设立，规模约 2.5 亿美元，资金用途是加强以太坊安全。