安全资助

TheDAO安全基金启动第二轮，拨款60万美元资助Vyper形式化验证

PANews援引CryptoBriefing称，TheDAO Security Fund启动第二轮ETHSecurity Initiatives，拨款60万美元用于Vyper编译器形式化验证。以太坊基金会已公开表态支持。