以太坊基金会正式验证团队上线 better.codes 自主研究挑战
以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes,将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean,并把其可靠性下界放到公开排行榜上。
推荐理由:原文说明了挑战的验证机制与开放协作模式,读者可据此理解形式化验证如何被用于推进SNARK安全基准。
以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes,将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean,并把其可靠性下界放到公开排行榜上。
推荐理由:原文说明了挑战的验证机制与开放协作模式,读者可据此理解形式化验证如何被用于推进SNARK安全基准。
Ethereum Foundation 公布 2026 年第二季度资助分配,涵盖 Lodestar 2026、Lighthouse(5 月至 10 月)、Ream 等客户端开发,以及 ETHeorem、Poulpy PIR 等开发者工具。
以太坊基金会 Trillion Dollar Security(1TS)计划宣布向 Freedom of the Press Foundation(FPF)拨款,支持开源工具 WEBCAT 的持续开发,并将该保护扩展到以太坊钱包和应用。
推荐理由:说明了前端完整性验证如何补上 HTTPS 无法覆盖的一环,以及钱包集成后用户能获得的保护方式。
以太坊基金会宣布 pcaversaccio(pc)加入 EF 董事会,任期初始一年且为志愿性质。pc 是 SEAL 911 联合创始人兼负责人,曾撰写 The Ethereum Cypherpunk Manifesto(2024)和 Ethereum Privacy。
推荐理由:原文列出了新任董事的背景与现有董事会构成,读者可据此理解以太坊基金会治理层的最新变化。
Devcon 8 门票于 7 月 14 日开售,Ethereum 社区将于 11 月在印度孟买举办为期四天的大会。普通票当前波次售价为 499 美元(ETH 支付)或 999 美元(法币),后续波次将涨至 599 美元(ETH)或 1,199 美元(法币)。大会另设面向印度居民、学生、公共物品贡献者及核心开发者的折扣票,演讲申请于 8 月 6 日截止。
100 多名以太坊核心贡献者在斯瓦尔巴群岛 Longyearbyen 举行 Soldøgn Interop,围绕 Glamsterdam 网络升级开展一周多客户端协作,周五达成三项核心目标:就升级后 200M gas limit 下限达成一致、ePBS 实现与外部构建者稳定运行、EIP-8037 重定价最终数字敲定。
推荐理由:原文完整复盘了一次多客户端互操作周的三条技术线如何收敛,读者可据此理解以太坊升级决策的实际推进方式。
Ethereum Foundation Blog 公布 Protocol 工作 2026 年新组织结构,整合为 Scale、Improve UX、Harden the L1 三条 track。
推荐理由:梳理了以太坊协议工作从三项倡议到三条新 track 的重组逻辑,便于理解其 2026 年的优先级取舍。
Ethereum Foundation 学术秘书处宣布启动首届 PhD Fellowship 计划,资助与 Ethereum 相关的博士研究,本轮聚焦制度设计、公司治理、政治经济与去中心化 AI 等方向。
Fusaka 硬分叉将引入 EIP-7825,为单笔交易设置 2²⁴(约 1678 万 gas)的 Gas 上限,该变更已在 Holesky 和 Sepolia 测试网生效,将随 Fusaka 在主网激活。
推荐理由:原文说明了新上限的适用范围与不受影响的场景,开发者可据此排查批量操作和交易构建脚本是否需要改造。
Bitcoin Core v30.0 现已发布,包含新功能、bug 修复、性能改进和翻译更新。主要变化包括:单笔标准交易的遗留签名操作上限设为 2500,-datacarriersize 默认提升至 100。
推荐理由:详细列出费率、数据载体和钱包等默认值变化,便于节点运营者评估升级影响。
以太坊基金会宣布扩展其隐私工作,成立由 Igor Barinov 协调、包含 47 名研究人员、工程师、协调者和密码学家的 Privacy 隐私集群,PSE 团队将继续由 Andy 领导专注早期研发。
推荐理由:原文梳理了从研究到应用再到机构合规的分层布局,读者可据此理解以太坊隐私工作如何在各层展开。