TheDAO安全基金启动第二轮，60万美元资助Vyper编译器

[ETH] 据CryptoBriefing报道，TheDAO Security Fund旗下ETHSecurity Initiatives第二轮资助已启动，拨款60万美元用于Vyper编译器形式化验证，Vyper是Curve、Yearn、Lido等协议的智能合约语言。该基金源自2016年DAO事件未认领ETH转