ZK · 3118

以太坊基金会推出 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天前

Arbitrum 推进 ZK 结算，L1 提款有望从数天缩短至数小时

比推消息，Arbitrum 开发团队表示，正在将零知识（ZK）证明引入 Arbitrum 平台，以实现多证明结算模型。通过 ZK 证明，Arbitrum 区块向以太坊 L1 的结算时间有望从数天缩短至数小时，在提升用户、跨链桥与协议资本效率的同时，借助多证明机制维持安全性。相关能力面向 Arbitrum One 及基于 Arbitrum 平台的专用链，Offchain 后续将向 DAO 提交升级提案。目前进展包括：可在 SP1 zkVM 中运行与乐观执行相同的状态转换函数，对真实主网区块生成 ZK 证明；Stylus 的 WASM 合约可与 Solidity 合约一并被证明；团队推出独立 Rust 验证器，使 ZK 证明成为与标准验证并列的一等模式；BoLD 结算协议已支持接受 ZK 证明并由快速确认委员会背书，原有争议游戏仍作为回退路径，形成 ZK 证明、证明委员会与欺诈证明协同的多证明架构。团队称正持续压降证明成本，并将相关代码逐步并入 Nitro 主生产路径。下一步重点包括进一步优化证明与转向基于 Reth 的执行、完成 L1 消息收件箱证明，以及把 ZK 结算能力接入节点配置，供各链按需启用。

1天前

百万资金压哨入场，有人却急着退出：Pharos 高息金库引发「时间观」碰撞

撰文：Sanqing，Foresight NewsPharos Network 联合 Vault 基础设施协议 R25 与信贷资产管理机构 Axil，于 7 月 15 日推出了 Axil Prime Credit Vault（APC），一款基于 Pharos 发行的机构级消费信贷 RWA 理财产品。产品同步上线币安钱包、TopNod、OKX Wallet、Bitget Wallet 与 KuCoin Wallet，总募集额度上限 1 亿 USDC，目标年化约 14.3%。截至预存窗口关闭，共计存入 4539 万美元。今年，Web3 链上策略安全暴雷频发，用户资金寻找新的稳健收益落脚处，而项目方也在。币安钱包本次额外拿出 30 万美金 PROS 作为激励，探索 RWA Vault 的市场空间，使该 Vault 在市场引起大量讨论。上线时间正好撞上 Pharos TGE 预存活动的赎回期。上一期金库要求在锁定期结束前约半个月提交赎回申请，7 月 20 日停止计息，七日内完成赎回。习惯 DeFi T+0 的用户回头一看，发现自己不明不白错过了赎回期，开始质疑赎回时间和资产安全。R25 与 Axil 随后在币安广场举办 AMA，Haotian、天晴等知名 KOL 参与讨论，详细说明 RWA 资产与 DeFi Vault 的区别，基金经理（Curator）的角色、消费信贷为什么值得配置，以及从投前到投后的风险管理办法。在复杂的资产逻辑和各有论调的社媒讨论中，有用户在最后一天放入百万资金，有用户找项目方要求提早赎回。7 月 23 日，Pharos 发布公告：上一期按时提交申请的用户已收到全部本金与利息，打破「资金安全」疑虑；错过窗口的资金按金库预设规则自动结转下一个三个月周期，继续按 14% USDC 年化计息。这场争论暴露的问题比赎回本身更重要，尽管 RWA TVL 已超 380 亿美元，非机构链上用户在投资 RWA 产品时明显水土不服。机构驱动、稳定、高息，但往往需要更长的锁定期和复杂的理解成本，从 DeFi 到 RWA，市场是否真的已准备好？高收益、低门槛、高流动性，RWA 的「不可能三角」贝莱德的 BUIDL 门槛 500 万美元、只对合格购买者开放，却能通过稳定币通道近乎即时申赎；APC 门槛低到普通用户随手可买，反而必须锁三个月。决定流动性的从来不是门槛高低，而是底层资产的变现速度。BUIDL 的底层是美国国债，全球最深的二级市场随时能接盘；APC 的底层是几十万笔新兴市场消费贷，鲜有人会随时准备资金大量买入。由此形成了 RWA 现阶段绕不开的三角：高收益、低门槛、高流动性，三者只能取其二。例如富兰克林邓普顿的 BENJI，二十美元起投（低门槛）、支持日赎回（高流动性），年化就只有 3% 到 5%；想要两位数收益，就得接受非标资产和锁定期。这即是流动性溢价，超额收益的相当一部分，正是放弃流动性换来的对价。APC 则是高收益与低门槛的组合，代价则是流动性。这个取舍本身没有对错，也能解释这场争议的全部来源。散户拿到了原本只对机构开放的资产，也一并接过了机构那套讲究久期匹配的时间规矩。机构资金的使用期限在投入之前就已排定，锁定期属于可预期的成本；私募信贷、封闭式基金本就带着赎回限制。而大多数链上普通用户不一样，后者的第一诉求多是随进随出。所以眼下的「零售化」 RWA，准确说大多只是分发端的零售化。Web3 钱包和低起投金额促成了低门槛，但流动性结构仍按机构的逻辑设计。理解了这个三角，剩下的问题就变得具体：流动性这条边为什么非牺牲不可，14.3% 的高收...

2天前Foresight News#WEB3

Aligned 公布创世空投细节，占总供应 8.74%

比推消息，ZK 验证层项目 Aligned 公布 Genesis Drop 细节。该空投从固定 100 亿枚 ALIGN 总供应中划出 8.74%，分配给支持加密、以太坊与 ZK 的社区。TGE 时将解锁空投总量的 44.36%，约占总供应 3.88%。空投分为三部分。Airdrop 1 为社区分配，约占供应 6.54%：获配 1 万枚及以下者于 TGE 全额解锁；超过 1 万枚者 TGE 先解锁 1 万枚，其余按 12 个月线性释放。Airdrop 2 为杰出贡献者，占 2.10%，涵盖 Protocol Guild、L2BEAT、ZachXBT 与 ZK Podcast 等，TGE 仅解锁其中 2.08%，其余按 47 个月线性归属。ZK Arcade 占 0.10%，于 TGE 全额解锁。领取规则方面，获配 1 万枚 ALIGN 及以下者在 Base 链领取，超过 1 万枚者在以太坊 L1 领取。用户可前往 community.alignedlayer.com 查询资格与额度。

3天前

Offchain Labs 发布 ZK 技术进展：证明生成提速 4000 倍，Arbitrum 将整合多证明者架构

比推消息，Offchain Labs 研究团队发布零知识证明技术研究进展，涵盖证明加速、可验证 AI、递归安全等方向。其中向量承诺方案将 6.4 万条数据的证明生成时间从约 2 分钟缩短至 32 毫秒，提速约 4000 倍；新证明系统 Zaratan 首次实现整数原生全简洁证明，可将 RSA 等运算开销降低约 5000 倍；可验证 AI 方面，轻量级验证协议可将大模型推理验证从数分钟缩短至毫秒级。 Arbitrum 正探索将 ZK 证明与欺诈证明及 TEE 结合的多证明者架构，以消除单点故障并缩短 L1 结算周期。

4天前

【比推每日新闻精选】宇树科技将于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...

5天前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？

作者：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 #以太坊

以太坊下一升级“Hegotá”进入规划阶段，66 项 EIP 竞逐 2027 年硬分叉

比推消息， 以太坊开发者 Toni Wahrstätter 在 X 平台发文表示，以太坊核心开发者正在规划下一次年度升级“Hegotá”，目前已有 66 项以太坊改进提案（EIP）进入候选名单。未来几次核心开发者会议将对这些提案进行筛选，最终确定能够完成实现、开发网测试、测试网部署，并具备在 2027 年上线可能性的升级内容，未能进入 Hegotá的提案将推迟至下一次硬分叉，因此当前筛选过程对以太坊未来发展方向具有重要影响。目前，FOCIL（Fork-Choice Enforced Inclusion Lists，强制包含列表）已确定作为 Hegotá的重要升级内容之一。开发者认为，若结合框架交易（EIP-8141）、密钥化 Nonce（EIP-8250）以及根引用（EIP-8272），将有助于构建原生隐私能力，使隐私应用无需依赖第三方中介即可运行。此外，提升扩展能力也是 Hegotá的重要方向。开发者提出，需要通过重新定价数据资源（EIP-8131、EIP-8279）以及状态增长成本（EIP-8368），为未来进一步提高 Gas 上限至 6 亿做好准备。虽然这些改进不如隐私功能直观，但被认为是短期内推动以太坊扩容的关键工作。其他候选升级还包括更短区块时间（EIP-8198）、发行机制调整（EIP-8363）、反相关惩罚机制（EIP-7716）、EVM 优化与简化，以及首批与 zkEVM 和抗量子密码相关的 EIP 讨论。据悉，Hegotá不可能纳入所有社区期待的功能，核心团队需要在“未来愿景”和“近期可交付升级”之间做出取舍，大部分候选 EIP 最终可能无法进入此次升级。目前，以太坊距离当前 Glamsterdam 升级启动已过去 256 天，目标是在今年年底完成部署。Hegotá则计划于 2027 年上线，未来几个月核心开发者和社区将围绕各项 EIP 的优先级展开讨论。社区意见仍将在筛选过程中发挥作用，支持或反对某项 EIP 进入 Hegotá的参与者可以通过公开讨论向核心开发团队提出观点。

6天前#链上动态

Coinbase 将 Aligned（ALIGN）加入上币路线图

比推消息，Coinbase 官方市场账号 CoinbaseMarkets 发推表示，已于今日将 Aligned（ALIGN）加入资产上币路线图。相关页面显示该资产正处于评估与准备流程中，具体上线时间表仍待后续更新。Aligned 是专注于零知识证明验证与聚合的基础设施项目，旨在降低 ZK 证明验证成本并提升吞吐量，服务于以太坊及更广泛的模块化生态。此次被纳入 Coinbase 路线图，意味着该代币后续有望在合规交易平台获得流动性支持，市场将持续关注其审核进展与正式上线安排。

8天前