TheDAO安全基金启动第二轮，60万美元资助Vyper编译器
融资并购
PANews
据CryptoBriefing报道，TheDAO Security Fund旗下ETHSecurity Initiatives第二轮资助已启动，拨款60万美元用于Vyper编译器形式化验证，Vyper是Curve、Yearn、Lido等协议的智能合约语言。该基金源自2016年DAO事件未认领ETH转化质押资金，以太坊基金会公开表态支持。
AI解读
TheDAO安全基金拨款60万美元推进Vyper编译器形式化验证，说明Vyper系协议（Curve、Yearn、Lido）的安全短板正在被针对性修复；因为Vyper编译器漏洞曾导致Curve遭攻击，形式化验证有助于降低同类漏洞复发概率，改善相关协议的安全信任与风险预期，但金额有限且属长期安全投入，短期偏多（弱）。
AI生成，仅供参考，不构成投资建议。