TheDAO安全基金斥资60万美元推动Vyper编译器形式化验证

【快讯】TheDAO安全基金近日启动ETHSecurity倡议第二轮资助计划，拨款60万美元用于Vyper智能合约编译器的形式化验证。Vyper作为简洁、安全导向的语言，已被Curve、Yearn、Lido等DeFi协议广泛采用，验证将提升底层安全。资金源于2016年TheDAO事件未认领ETH，以太坊基金会公开支持。