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

BiRun 讯，The DAO 安全基金发推表示，将与以太坊基金会合作资助 Vyper 编译器的形式化验证工作，以太坊基金会已承诺出资 10 万美元。目前，Vyper 智能合约的审计和验证都停留在源代码层面，但以太坊实际执行的是编译后的字节码，二者是否一致取决于编译器。该项目旨在通过机器证明，确保 Vyper 编译过程不会改变代码原意，并最终在 Vyper 官方编译器中推出经过验证的编译模式。BiRun 此前消息，The DAO 安全基金由 2016 年 The DAO 黑客事件中无人认领的 ETH 设立，规模约 2.5 亿美元，用于加强以太坊安全。