bibibi.cc正在加载…
TheDAO安全基金第二轮资助启动，拨款60万美元用于Vyper编译器形式化验证。
TheDAO安全基金启动第二轮，60万美元资助Vyper编译器
PANews 9月30日消息，据CryptoBriefing报道，TheDAO Security Fund旗下ETHSecurity Initiatives第二轮资助已启动，拨款60万美元用于Vyper编译器形式化验证，Vyper是Curve、Yearn、Lido等协议的智能合约语言。该基金源自2016年DAO事件未认领ETH转化质押资金，以太坊基金会公开表态支持。
原文链接：https://www.panewslab.com/zh/articles/01a0f2b1-3f55-7129-9eac-6e56f9b6bacf
PANews称消息来自CryptoBriefing报道。
TheDAO Security Fund旗下ETHSecurity Initiatives第二轮资助已启动。
本轮拨款为60万美元，用于Vyper编译器形式化验证。
原文称Vyper是Curve、Yearn、Lido等协议的智能合约语言。
原文称该基金源自2016年DAO事件未认领ETH转化的质押资金。
原文称以太坊基金会已公开表态支持。
以下为辅助分析，与已报道事实分开展示；重要信息请进一步核实。
形式化验证是用严格方法检查程序是否符合预定规则。本轮资金将用于检查Vyper编译器，但原文没有说明具体实施方、技术范围或成果安排。
Vyper被原文列出的多个协议使用，因此对其编译器开展形式化验证，关注的是智能合约开发工具本身的安全性。
普通用户无需立即操作。这是一项面向智能合约基础工具的安全资助，可继续关注正式公告和验证成果。
正在加载事件时间线…