以太坊基金会 · 1400

以太坊基金会推出 better.codes 挑战，推进哈希 SNARK 可证明安全

比推消息，以太坊基金会形式化验证团队与 Yukon、zkSecurity 合作打造的开放自动研究挑战 better.codes 现已上线。该平台将 Proximity Prize 中的自包含问题形式化于 Lean，并把 koalaIRS12 的机器检查可靠性界放入公共排行榜，供任何人推动提升，以推进基于哈希的 SNARK 及后量子以太坊相关安全基准。求解者可自带 AI 智能体，针对这一 Reed-Solomon 邻近问题证明更高的可靠性下界，向固定的 128 位目标迈进。Lean 内核核验每份提交，获晋升的证明会提高公开界，其新引理、证明技术与不可能性结果将上游同步，供所有参与者复用。生产环境中多数哈希 SNARK 依赖相关邻近间隙与相关约定结论，而目前可证明结果仍低于研究者所信基准，该挑战旨在以开放、增量、可验证方式缩小这一差距。koalaIRS12 源自相关论文并端到端形式化于 ArkLib。参与者可通过 GitHub 登录并克隆挑战仓库，在固定定理陈述与验证框架下提交；比较器与 Lean 内核确认后结果记入公共仓库并注明求解者与所用模型。今日上线的是将 koalaIRS12 已证下界提升至 128 位的可靠性挑战，后续或增加更多题目，细则以项目条款为准。

1天前

以太坊基金会 2026 年 Q2 发放 550 万美元资助

比推消息，据 CoinMarketCap 披露，以太坊基金会在 2026 年第二季度累计发放 550 万美元资助，覆盖范围包括生态系统建设、零知识证明相关研究以及安全审计等工作。相关资助安排旨在为即将到来的 Glamsterdam 升级提供支持，重点强化网络基础设施与技术安全能力，持续推动以太坊生态发展。

4天前

以太坊基金会，核心开发者 Sina Mahmoodi 离职，曾参与 Geth 等开发

比推消息，以太坊核心开发者 Sina Mahmoodi 宣布其在任职超七年后离开以太坊基金会。Mahmoodi 于 2019 年大学毕业加入以太坊基金会，先后参与 EthereumJS、eWASM 和 Geth 客户端开发，其中 Geth 已成为以太坊生态关键基础设施。他表示对以太坊作为去中心化全球结算层的信念从未改变，将暂时休息再决定下一步方向。

4天前
【比推每日新闻精选】宇树科技将于8月19日科创板上市；Anthropic年化营收在IPO前突破650亿美元；以太坊开发者拟在 2027 年 Hegotá 升级优先推进隐私交易提案，FOCIL 已确认纳入；美伊局势再添变数，30年期美债收益率创19年来新高

【比推每日新闻精选】宇树科技将于8月19日科创板上市；Anthropic年化营收在IPO前突破650亿美元；以太坊开发者拟在 2027 年 Hegotá 升级优先推进隐私交易提案，FOCIL 已确认纳入；美伊局势再添变数，30年期美债收益率创19年来新高

每日 AI · 加密 · 宏观 · 市场 要闻， Bitpush 帮你划重点 ↓AI · 动态【宇树科技将于8月19日科创板上市】比推消息，宇树科技公告称，公司股票将于2026年8月19日在上海证券交易所科创板上市。【Anthropic年化营收在IPO前突破650亿美元】比推消息，据知情人士透露，Anthropic目前的业绩表现意味着，公司年化营收有望超过650亿美元，较去年年底的水平增长超过七倍。知情人士称，截至7月底，Anthropic的年度经常性收入（ARR）已达到650亿美元。其中一名知情人士表示，Anthropic在定期向投资者更新公司情况时分享了这一数据。营收的大幅加速进一步增强了Anthropic推进上市计划的信心。Anthropic和OpenAI均已秘密提交上市相关文件，预计Anthropic最快将于今年秋季登陆华尔街，时间可能早于OpenAI。【OpenAI 超级数据中心正式落地，英伟达最高兜底 1050 亿美元】比推消息，OpenAI 的俄亥俄超级数据中心正式签约。这个项目此前已经曝光，当时 OpenAI 还在和 SB Energy 谈长期租约，英伟达也只是考虑提供担保。现在首期 4.25GW 正式落地，英伟达还可以继续锁定剩余约 3.75GW。此前双方讨论过最高 2500 亿美元担保，最终首期责任上限定在 1050 亿美元。这不是直接给 OpenAI 的钱。只有 OpenAI 破产或不付租金，项目重新出租或出售后仍有缺口，英伟达才需要补差额。OpenAI 之后还要偿还英伟达实际垫付的钱。英伟达还会向开发商 SB Energy 投资 15 亿美元，园区将主要使用英伟达 AI 算力。黄仁勋估算，每一代部署到这里的系统，都可能对应约 150 万块 GPU、1500 亿至 2000 亿美元收入。此前外界一直质疑这种模式属于循环融资：英伟达给客户的基础设施兜底，客户再拿钱大买英伟达芯片。黄仁勋这次也专门回应，强调英伟达承担的只是特定租金、电力和资产残值风险，并非替 OpenAI 承担整个项目。加密 · 市场【以太坊开发者拟在 2027 年 Hegotá 升级优先推进隐私交易提案，FOCIL 已确认纳入】比推消息，以太坊基金会研究员 Toni Wahrstätter 表示，协议架构团队希望在计划于 2027 年进行的 Hegotá 升级中优先推进 Frame Transactions（EIP-8141）和 FOCIL（EIP-7805）。Frame Transactions 可与 Keyed Nonces and Recent Roots（EIP-8272）及 Transaction Assertions（EIP-7906）协作，使隐私池自行支付交易费用，并让钱包设定交易提交后的执行条件。FOCIL 可为符合条件的交易提供协议层纳入保障。目前，FOCIL 是 Hegotá 唯一已确认纳入的提案，Frame Transactions 相关方案属于正在评估的 66 项提案之一。其他候选方案涉及交易定价、状态增长、区块访问列表及主网可选 zkEVM 证明。Vitalik Buterin 此前提出提升以太坊隐私性、抗量子安全性并减少对二层网络的依赖。Hegotá 将继 Glamsterdam 之后推出，开发者计划在 2026 年底前完成 Glamsterdam。【CleanSpark、BitFuFu、嘉楠科技 7 月比特币产量分别环比下降约 5%、10%、28%】比推消息，据 The Block 报道，比特币矿企 CleanSpark、BitF...

4天前BitpushNews#比推每日精选

以太坊开发者拟在 2027 年 Hegotá 升级优先推进隐私交易提案，FOCIL 已确认纳入

比推消息，以太坊基金会研究员 Toni Wahrstätter 表示，协议架构团队希望在计划于 2027 年进行的 Hegotá 升级中优先推进 Frame Transactions（EIP-8141）和 FOCIL（EIP-7805）。Frame Transactions 可与 Keyed Nonces and Recent Roots（EIP-8272）及 Transaction Assertions（EIP-7906）协作，使隐私池自行支付交易费用，并让钱包设定交易提交后的执行条件。FOCIL 可为符合条件的交易提供协议层纳入保障。目前，FOCIL 是 Hegotá 唯一已确认纳入的提案，Frame Transactions 相关方案属于正在评估的 66 项提案之一。其他候选方案涉及交易定价、状态增长、区块访问列表及主网可选 zkEVM 证明。Vitalik Buterin 此前提出提升以太坊隐私性、抗量子安全性并减少对二层网络的依赖。Hegotá 将继 Glamsterdam 之后推出，开发者计划在 2026 年底前完成 Glamsterdam。

5天前
投入八年突然转向，以太坊为何放弃Poseidon？

投入八年突然转向，以太坊为何放弃Poseidon？

作者：ChandlerZ，Foresight News原标题：八年投入急转弯，以太坊为何突然放弃Poseidon？8 月 13 日，以太坊研究员 Justin Drake 在 X 发文称，以太坊基金决定在 L1 层放弃 SNARK 友好型哈希算法 Poseidon，转而采用 SHA2 或 BLAKE2 等传统哈希函数。这个决定背后是八年研究、数千万美元投入的积累，以及对后量子密码学路线图的一次重大修正。Poseidon 自 2019 年推出以来，一直被视为 zkRollup 与 zkVM 等应用的理想哈希方案，它的结构使其在 SNARK 电路中比传统的基于二进制运算的哈希函数更便宜、更高效。但当后量子安全成为以太坊的硬性要求时，Poseidon 的局限性开始暴露。Justin Drake 表示，这一转变得益于突破性的 SNARK 设计进展，即通过「二进制域」运算方式，使传统哈希函数在 SNARK 电路中的性能可媲美此前专为 SNARK 优化设计的 Poseidon，单台笔记本电脑每秒可完成约 100 万次传统哈希调用验证。文中介绍，Poseidon 自 2019 年推出以来一直是主流的 SNARK 友好型哈希方案，为 zkRollup 与 zkVM 等应用提供安全保障。Justin Drake 称，规划显示生产级 leanVM 预计将于 2027 年推出，共识层、数据层与执行层的相关部署预计在 2028 年完成，以太坊基金会后量子团队也在加速推进二进制域相关研究。为什么是现在？传统哈希长期难以进入 SNARK，主要障碍来自计算语言差异。SHA2、BLAKE2s 和 Keccak 大量使用异或、移位等布尔运算，传统 SNARK 通常在大素数域上处理算术，模拟每一项位运算会产生高昂约束成本。Poseidon 直接围绕素数域算术设计，以更少约束换取更高证明速度，代价则是算法历史较短，需要持续密码分析。二进制域把底层数学切换到仅含 0 和 1 的最小素域，并用二进制扩域承载更大数据。位运算因此可以直接进入证明系统，SNARK 开始适配传统哈希，技术重点从设计 SNARK 友好型哈希转向设计哈希友好型 SNARK。Jim Posen 与 Benjamin Diamond 2023 年提出的 Binius 展示二进制塔域 SNARK 路径，Benedikt Bünz、Ron Rothblum 与 William Wang 的 Flock 论文于 2026 年 7 月 29 日上传 arXiv，其 M4 Max 基准为单核每秒证明 8.2 万次 BLAKE3 压缩、4.2 万次 SHA-256 压缩和 3 万次 Keccak 置换，10 核 BLAKE3 吞吐量超过 66 万次。Drake 称，笔记本电脑每秒可证明约 100 万次传统哈希调用，开销约为原生 CPU 布尔计算的 100 倍；SNARK.fast 数日前在 M3 Max 上达到每秒 180 万次 BLAKE3。2027 年 leanVM，2028 年三层部署Poseidon 被放弃的另一个关键原因是后量子安全的时间表正在加速，Project Eleven 发布的《The Quantum Threat to Blockchains - 2026 Report》指出，量子计算机的快速发展正对区块链安全构成严重威胁。一旦出现「密码学相关量子计算机」（CRQC），Shor 算法可快速破解 ECDSA（比特币及多数公链采用）和 RSA 等非对称加密，预计 Q-Day（量子破译日）可能在 2030 至 203...

5天前Foresight News#L1 #以太坊

以太坊基金会推出 Platåberget 测试网，供 Glamsterdam 升级早期测试

比推消息，以太坊基金会协议 DevOps 团队宣布推出 Platåberget 测试网，作为 Glamsterdam（Gloas + Amsterdam）升级的早期公开测试环境。该测试网面向社区开放，计划运行数月，为开发者提供稳定实验平台，以便在升级部署至 Sepolia、Hoodi 等长期测试网前发现并修复问题。Glamsterdam 硬分叉计划于 8 月 20 日在该测试网激活。 Glamsterdam 升级涵盖共识层与执行层多项重大变更，包括内置提议者-构建者分离（ePBS）、区块级访问列表（BALs）、以约 2 亿 gas 为目标的 gas 重新定价、合约最大部署大小由 24KiB 提升至 64KiB、initcode 上限由 48KiB 提升至 128KiB，以及前向兼容的共识数据结构。相关 EIP 汇总于元 EIP-7773。Gas 重新定价将影响钱包、索引器与 gas 估算工具，任何硬编码最大 gas 上限的工具均需更新；EIP-8037 还引入独立状态 gas 维度，新建账户或写入新存储槽将按状态字节计费。 Platåberget 验证者集规模较小且允许公众加入，支持通过 Dora 浏览器提交验证者或构建者存款。测试网提供一键添加网络、水龙头及客户端镜像资源。社区可在以太坊 R&D Discord、相关规范仓库反馈问题。 本文由GENG赞助，Build Your Fortune on GENG (https://geng.one)

5天前burnking

Etherealize CEO 警示华尔街联盟链复兴：割裂生态将损耗区块链互操作性

比推消息，获 Vitalik Buterin 与以太坊基金会支持的 Etherealize 联合创始人兼 CEO Vivek Raman 警告称，华尔街对私有、许可制“联盟链”的再度追捧，正重现相互割裂的系统，削弱区块链本应带来的互操作性与流动性，相当于“逐底竞争”。他指出 Digital Asset 的 Canton Network、Circle 的 ARC 以及 Stripe 的 Tempo 等 gated 网络兴起，类似当年 R3、Hyperledger 等联盟链 2.0 重演，机构最终将陷入联盟链彼此竞争、需获许可或成为成员才能参与的局面。 Raman 强调，以太坊主网应作为类似 HTTP 的全球开放、无许可基础层，机构可在应用层或 L2 叠加许可与隐私功能，以实现最大互操作与流动性。Etherealize 致力于吸引 TradFi 拥抱以太坊，该链已承载数十亿美元代币化资产并支撑大量 DeFi 结算。公司 2025 年 1 月获 Buterin 与基金会种子资助，同年完成 4000 万美元 A 轮融资。 他以贝莱德基于以太坊的新基金等为例称，监管明晰后机构资金更倾向无人专有的开放网络轨道；若选择联盟链则需向联盟付费并受其规则约束，非早期成员激励会迅速消退。MIT 加密经济实验室创始人 Christian Catalini 亦指出，当前企业销售导向的许可网络若成主流，区块链的部分促竞争收益可能无法实现。 本文由GENG赞助，Build Your Fortune on GENG (https://geng.one)

7天前burnking

以太坊 L1 放弃 Poseidon 哈希算法，转向 SHA2 或 BLAKE2 推进后量子密码学路线

比推消息， 以太坊基金会核心研究员 Justin Drake 在 X 平台发文宣布，，以太坊 L1 将不再采用自 2019 年起主导的 SNARK 友好哈希函数 Poseidon，转向 SHA2 或 BLAKE2s 等传统哈希函数。该调整基于 SNARK 设计领域的进展，重点从“SNARK 友好的哈希”转向“哈希友好的 SNARK”。通过二进制域原生对齐传统哈希中的布尔操作，传统哈希在 SNARK 中的证明性能已达到每秒 100 万次，开销约为 100 倍。Binius 和 Flock 等研究推动了相关进展。以太坊基金会后量子团队正在推进该路线，路线图包括 2027 年部署生产级 leanVM，以及 2028 年在共识层、执行层和数据处理层部署。Justin Drake 还表示，AI 在密码分析方面的能力增强，使格基方案 HAWK 和同源方案 SQIsign 近期接连遭受打击，哈希基础方案正用于区块链后量子签名。开源自动研究趋势也在加速，SNARK.fast 已实现每秒 180 万次 BLAKE3 证明。

9天前