The DAO 安全基金与以太坊基金会合作资助 Vyper 编译器验证项目

吴说获悉，The DAO 安全基金宣布与以太坊基金会合作，支持“端到端形式化验证 Vyper 编译器”资助项目，并将其纳入 ETHSecurity Initiatives Round。该项目旨在通过机器可验证证明，确保 Vyper 编译过程能够保留源代码语义，并为已支持版本提供重新验证基础设施，最终在官方 Vyper 编译器中推出公开的验证编译模式。

内容来源

1. 吴说区块链 快讯与深度 ↗

相关阅读

1. Bitcoin ETF连续9天、30亿美元的资金流入势头终结，1.49亿美元撤出10-01 20:17 · ETF · 同ETH
2. Ethereum 正推进 2 亿 gas 目标，Layer 1 扩容战略加速10-01 19:20 · 分叉升级 · 同ETH
3. 吴说 9 月矿业资讯：埃塞俄比亚大幅削减矿企供电、瑞典追缴 5.4 亿克朗税款等10-01 19:15 · 监管处罚 · 同ETH
4. 交易员Doctor Profit披露已做空BTC并清仓山寨币10-01 18:20 · 观察 · 同ETH
5. 浮盈收窄至7.3万美元，麻吉大哥减仓25倍ETH、40倍BTC多单10-01 17:44 · 观察 · 同ETH
6. 作者从 Hegotá 撤回 Ethereum 质押奖励销毁方案10-01 17:41 · 观察 · 同ETH

在 App 内参与讨论：下载哈希视野

以上内容不构成投资建议。