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

The DAO 安全基金宣布将与以太坊基金会共同资助 Vyper 编译器形式化验证项目，其中以太坊基金会承诺出资 10 万美元。项目目标是用机器证明确认 Vyper 编译过程不会改变代码原意，并在官方编译器中推出经过验证的编译模式。此前消息显示，The DAO 安全基金由 2016 年 The DAO 黑客事件中无人认领的 ETH 设立，规模约 2.5 亿美元。