热点事件持续更新
TheDAO安全基金60万美元资助Vyper形式化验证
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
TheDAO Security Fund旗下ETH Security Initiatives启动第二轮资助，拨款60万美元用于Vyper编译器的形式化验证。Vyper是Curve、Yearn、Lido等协议使用的智能合约语言。该基金资金来源于2016年DAO事件中未认领ETH转化的质押资金，以太坊基金会已公开表态支持此项资助。
AI 根据报道生成 · 2 小时前更新
最新进展9月30日 22:21
TheDAO安全基金启动第二轮，60万美元资助Vyper编译器形式化验证。报道时间线
沿着报道，了解事件的不同侧面。
9月30日
- PANewsTheDAO安全基金启动第二轮，60万美元资助Vyper编译器形式化验证
据CryptoBriefing报道，TheDAO Security Fund旗下ETH Security Initiatives启动第二轮资助，拨款60万美元用于Vyper编译器形式化验证。Vyper是Curve、Yearn、Lido等协议使用的智能合约语言；该基金源自2016年DAO事件未认领ETH转化的质押资金，以太坊基金会已公开表态支持。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。