TheDAO安全基金已启动ETHSecurity Initiatives第二轮，拨款60万美元用于对Vyper编译器进行形式化验证。Vyper是一种采用Python风格的智能合约语言，Curve、Yearn和Lido等主要去中心化金融协议均在使用。资金来自与2016年DAO事件相关的无人认领ETH，这些ETH已被转换为质押资金，用于提升生态系统安全性。形式化验证旨在证明编译器生成的EVM字节码能够忠实反映源代码，从而应对2023年特定Vyper版本漏洞所暴露的风险；该漏洞导致Curve资金池损失约7,000万美元。以太坊基金会已公开支持这项计划。此前记录称，以太坊基金会曾在总额为60万美元的相关计划中单独承诺10万美元；新公告则确认，60万美元拨款属于第二轮针对Vyper编译器验证的资金。