TheDAO安全基金启动第二轮，60万美元资助Vyper编译器
--
TheDAO Security Fund旗下ETHSecurity Initiatives第二轮资助已启动，拨款60万美元用于Vyper编译器形式化验证，Vyper是Curve、Yearn、Lido等协议的智能合约语言。该基金源自2016年DAO事件未认领ETH转化质押资金，以太坊基金会公开表态支持。(CryptoBriefing)
Loading...
TheDAO Security Fund旗下ETHSecurity Initiatives第二轮资助已启动，拨款60万美元用于Vyper编译器形式化验证，Vyper是Curve、Yearn、Lido等协议的智能合约语言。该基金源自2016年DAO事件未认领ETH转化质押资金，以太坊基金会公开表态支持。(CryptoBriefing)