以太坊
2026年9月30日

以太坊基金会与 The DAO 安全基金资助 Vyper 编译器形式化验证

The DAO 安全基金宣布将与以太坊基金会共同资助 Vyper 编译器形式化验证项目,其中以太坊基金会承诺出资 10 万美元。项目目标是用机器证明确认 Vyper 编译过程不会改变代码原意,并在官方编译器中推出经过验证的编译模式。此前消息显示,The DAO 安全基金由 2016 年 The DAO 黑客事件中无人认领的 ETH 设立,规模约 2.5 亿美元。

490
以太坊基金会与 The DAO 安全基金资助 Vyper 编译器形式化验证
ENS DAO
2026年7月3日

ENS DAO 关闭运行四年半的公共利益工作组,最后一轮资助以太坊基础设施项目

ENS DAO 公共利益工作组在运行四年半后正式关闭,其负责人 Simona Pop 在 X 平台宣布。工作组最后一轮(第六期)向 Vyper、Argot Collective 和 Remix Labs 等以太坊基础设施项目发放了 45 万枚 USDC 和 72.5 枚 ETH(约 12.3 万美元),其中战略资助总额 37.5 万枚 USDC,与以太坊基金会以约 1:1.2 比例联合资助。

1950
ENS DAO 关闭运行四年半的公共利益工作组,最后一轮资助以太坊基础设施项目