TheDAO安全基金启动第二轮,60万美元资助Vyper编译器
核心要点
- 据CryptoBriefing报道,TheDAO Security Fund旗下ETHSecurity Initiatives第二轮资助已启动,拨款60万美元用于Vyper编译器形式化验证,Vyper是Curve、Yearn、Lido等协议的智能合约语言。
- 该基金源自2016年DAO事件未认领ETH转
来源 PANews发布于 53 分钟前

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