TheDAO 旗下项目启动第二轮资助,投入 60 万美元验证 Vyper
据 CryptoBriefing 报道,TheDAO Security Fund 旗下 ETHSecurity Initiatives 已启动第二轮资助,计划拨款 60 万美元用于 Vyper 编译器的形式化验证。Vyper 是 Curve、Yearn 和 Lido 等协议采用的智能合约语言。该基金资金来源于 2016 年 DAO 事件中未认领 ETH 转化后的质押资金,以太坊基金会已公开表态支持。
据 CryptoBriefing 报道,TheDAO Security Fund 旗下 ETHSecurity Initiatives 已启动第二轮资助,计划拨款 60 万美元用于 Vyper 编译器的形式化验证。Vyper 是 Curve、Yearn 和 Lido 等协议采用的智能合约语言。该基金资金来源于 2016 年 DAO 事件中未认领 ETH 转化后的质押资金,以太坊基金会已公开表态支持。
The DAO 安全基金宣布将与以太坊基金会共同资助 Vyper 编译器形式化验证项目,其中以太坊基金会承诺出资 10 万美元。项目目标是用机器证明确认 Vyper 编译过程不会改变代码原意,并在官方编译器中推出经过验证的编译模式。此前消息显示,The DAO 安全基金由 2016 年 The DAO 黑客事件中无人认领的 ETH 设立,规模约 2.5 亿美元。
基于Solana的Meme币发射平台Pump.fun宣布收购交易执行终端Vyper,将其团队与技术整合至旗下Terminal平台,以提升跨链交易能力,推动多链扩张战略。
Solana Memecoin发射平台Pump.fun收购交易执行终端Vyper,将其技术整合进自有多链平台Terminal,并计划于2月10日关闭Vyper独立产品,提供90%费用返现激励用户迁移。
ENS DAO 公共利益工作组在运行四年半后正式关闭,其负责人 Simona Pop 在 X 平台宣布。工作组最后一轮(第六期)向 Vyper、Argot Collective 和 Remix Labs 等以太坊基础设施项目发放了 45 万枚 USDC 和 72.5 枚 ETH(约 12.3 万美元),其中战略资助总额 37.5 万枚 USDC,与以太坊基金会以约 1:1.2 比例联合资助。