🗓️ 以太坊日报 2026-05-12 【区块链技术讨论】 1⃣@raulvk 发布关于以太坊下一代纠删码广播协议的深度分析，并介绍Xray实时分析工具、Simlab模拟测试平台 2⃣@raulvk 提出Hegotá提案"在源头批量聚合证明"（Batching Attestations at Source），优化共识层网络广播效率 3⃣@soispoke EIP-8250（Keyed Nonces for Frame Transactions）已合并 4⃣@ncsgy 评论Verity项目（形式验证智能合约编译器），强调其将使每个智能合约成为数字堡垒 5⃣@sassal0x 转发Vitalik关于使用Lean进行形式验证的推文，表示对"氛围编程"重要事项 increasingly bullish 6⃣@pcaversaccio 强调热钱包是安全漏洞 7⃣@austingriffith 转发介绍Kohaku项目（隐私项目），强调"隐私不仅仅是金钱" 【学术合作动态】 1⃣@asanso 转发Vitalik Buterin访问Urbe Hub，与以太坊基金会研究人员及外部访客交流 【行业观点碰撞】 1⃣@barnabemonnot 宣布离开以太坊基金会（工作6.5年），Protocol团队交接给@corcoranwill、@kevaundray和@fredrik0x，继续推进Scaling、UX和Hardness目标 2⃣@raulvk 宣布离开以太坊基金会，将继续从外部推进p2p网络层工作 3⃣@adrianmcli 宣布转为以太坊基金会兼职角色，专注APAC政策，并开放咨询工作 4⃣@fundstrat 转发推文称"以太坊悄然成为美国政府债务的结算层：80亿美元且还在增长" 5⃣@VivekVentures 转发Vitalik Buterin关于以太坊作为AI经济层的观点 6⃣@DefiIgnas 评论Fluid Finance黑客事件及后续处理，称赞沟通透明但遗憾回购暂停 7⃣@intangiblecoins 指出稳定币的最大赢家是美国银行 【开发者生态】 1⃣@tcoratger 讨论Zig与Rust在2026年的对比 2⃣@sina_mahmoodi 转发Geth v1.17.3发布，包含ETH/70支持（部分区块收据列表）及Amsterdam分叉准备 3⃣@austingriffith 转发BuidlGuidl挑战（众筹合约编写教程） 4⃣@growthepie_eth 分享EthPrague演讲内容，涵盖链上电商、稳定币、AI代理、游戏等以太坊应用趋势 【其他】 1⃣@MartinBreiten 分享首次参加EthPrague的体验，称赞会议组织和场地 2⃣@DavideCrapis dAI团队在中国行程，与关注开源AI和以太坊属性的人士会面