区块链资讯

以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes，将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean，并把其可靠性下界放到公开排行榜上。

Adam Smehyl 与 Ivan Homoliak 的 IACR ePrint 预印本（未经过同行评审）提出两项扩展式改进方案以提升 DeFi 资本效率：一是在池化借贷中加入分配层，将闲置流动性投入外部生息策略；二是为集中流动性头寸加入管理层，自动迁移价格区间。作者称原型基准显示两机制均可作为模块化扩展实现，但会带来额外 gas 开销及外部策略依赖、召回与损失分配、区间策略配置错误等风险；借贷分析在选定外部收益假设下显示供应商收益有提升，区间迁移分析则关注活跃时间敏感性与执行成本。

一篇 IACR ePrint 预印本（档案收录不代表通过同行评审）提出 De-SyRIS，一种基于社交图谱、双向人脸生物验证与反女巫图谱分析的去中心化抗女巫身份系统，作者称其借助区块链、零知识证明和隐私保护智能合约实现注册用户的唯一性、匿名与隐私，且不依赖任何中心化凭证签发方。作者用 Plonky2 零知识证明实现了概念验证原型，并在含 1000 个实体的异构社交图谱模型上通过模拟评估功能；当前材料仅含作者摘要与元数据，未读取论文全文。

Ethereum Foundation 公布 2026 年第二季度资助分配，涵盖 Lodestar 2026、Lighthouse（5 月至 10 月）、Ream 等客户端开发，以及 ETHeorem、Poulpy PIR 等开发者工具。

以太坊基金会宣布 Platåberget 测试网，作为 Glamsterdam 升级（Gloas + Amsterdam）面向公众的早期测试场，计划运行数月，fork 定于 8 月 20 日。

Pranay Anchuri、Matteo Campanelli、Rosario Gennaro 在 IACR ePrint 发布预印本，提出在 Q-day 之后仍可安全使用前量子原语的方法：每个生命周期窗口把一个临时前量子密钥绑定到长期后量子身份，使该窗口内的伪造失效，并保证临时密钥暴露不泄露长期私钥。作者以以太坊共识为主要案例，在所述注册、打包与罚没证据规则条件下，方案保留普通 BLS 聚合且无需 SNARK 证明者，每条同消息聚合签名为 96 字节，每个验证者每 epoch 发布 592-688 字节 reveal 数据；每个 epoch 密钥绑定到该 epoch 之前已最终确定的 checkpoint 派生的种子。作者在 ROM 与 QROM 中把不可伪造性归约到 co-CDH'，并指出瞬态安全要求在密钥暴露可影响链的整个区间内抗伪造，按以太坊 attestation 打包规则该区间名义上为两个 epoch 加 reveal 提前量；历史罚没与延迟分叉接受需另列为前提条件。该材料为预印本，未读取全文，档案收录不代表通过同行评审。

Flashbots 发布论文 The Price of Decentralization in Block Building，研究多个自利提议者（proposer）的地理位置选择是否真能改善地理分散用户和交易来源的访问。论文将去中心化区块构建建模为随机覆盖博弈，用 Price of Anarchy（PoA）框架衡量效率损失，证明该博弈保留了标准 factor-2 PoA 界所需的条件，并给出均衡下最低效用 builder 至少获得最高效用 builder 一半回报、效用 HHI 至多比平等基准高 12.5% 的结论。作者还开发模拟器对比自利均衡与中央规划者基准，发现在价值高度集中但边缘区域仍可及时触达的场景下效率损失最大；在考察的最多 12 个 builder 范围内，额外 builder 在均衡中倾向于围绕高价值来源重复覆盖而非扩展到边缘区域。文中列举了后续研究方向，包括替代奖励分配规则、订单流地理实测、共识与通信细节建模以及 Sybil 行为研究。

以太坊基金会 Trillion Dollar Security（1TS）计划宣布向 Freedom of the Press Foundation（FPF）拨款，支持开源工具 WEBCAT 的持续开发，并将该保护扩展到以太坊钱包和应用。

以太坊基金会宣布 pcaversaccio（pc）加入 EF 董事会，任期初始一年且为志愿性质。pc 是 SEAL 911 联合创始人兼负责人，曾撰写 The Ethereum Cypherpunk Manifesto（2024）和 Ethereum Privacy。

作者提出 ZKPoSP（Zero-Knowledge Proof of Seed Provenance），在保留现有地址格式的前提下，用 NIZK 证明替换经典签名步骤，其安全性论证不依赖离散对数问题，并在量子随机 oracle 模型下对量子对手给出证明。该方案将证明拆为每密钥对生成一次的派生证明和每条消息生成一次的签名证明，使每条消息的证明成本不随派生深度变化；作者还引入基于 HASH768（以 KMAC256 实例化）的 QBIP32 密钥派生方案。材料为 IACR ePrint 预印本，未读取全文，结果不代表已通过同行评审或已在主网实现。

Boris Hofmann、Aaron Mehrotra、Jan Paulick 的 BIS 工作论文（作者观点，不代表 BIS 政策）基于 130 多个经济体的外币存款与美元稳定币流入数据，比较稳定币美元化与传统存款美元化的动态和驱动。作者发现两者受相似宏观金融驱动因素影响（如汇率传导强度、主权或银行危机），且均具有较强持久性，一旦形成难以逆转；两者之间几乎没有替代关系的证据。与存款美元化不同，稳定币流入似乎基本不受广义或特定资本流动限制影响，作者认为这可能因为稳定币部分在监管范围之外流通。历史数据显示，适度存款美元化与略高的通胀风险相关，但对货币政策传导影响的证据有限。当前材料仅为作者摘要与元数据，未读取论文全文，方法与数据细节未核验。

Devcon 8 门票于 7 月 14 日开售，Ethereum 社区将于 11 月在印度孟买举办为期四天的大会。普通票当前波次售价为 499 美元（ETH 支付）或 999 美元（法币），后续波次将涨至 599 美元（ETH）或 1,199 美元（法币）。大会另设面向印度居民、学生、公共物品贡献者及核心开发者的折扣票，演讲申请于 8 月 6 日截止。

Bitcoin Core 29.4 现已发布，包含多项错误修复、性能改进和翻译更新。该版本修复了链状态数据库反复重写自身大段内容、导致日常运行中磁盘读写过多的问题，并列出验证、网络、钱包、构建、测试、文档和 CI 等多处改动，支持 Linux Kernel 3.17+、macOS 13+ 和 Windows 10+。

以太坊基金会 Protocol Security 团队分享了协调多个 AI 代理审计真实协议代码的经验，其中一个代理发现的 libp2p gossipsub 远程可触发 panic 已修复并披露为 CVE-2026-34219。

作者提出并估计了一个面向二元预测市场的波动率模型，结合 Wright-Fisher 到期结算机制与 Glosten-Milgrom 订单流机制，使用 Kalshi 大面板合约数据进行估计。作者称结构变量具有较强预测力，普通 ARCH/GARCH 基准被结构设定超越，结构方差乘以 GARCH 乘子的整体表现最佳；结构项决定条件方差水平，GARCH 递归修正区间时点。模型还显示波动率在接近五五开价格时最高、临近结算时上升，经济类合约更平滑而体育类合约更呈跳跃式。作者指出按类别分别重估未改善样本外表现。当前材料仅为作者摘要与元数据，未读取论文全文，属预印本，未核验是否经同行评审。

Bitcoin Core 发布 v30.3 版本，包含新功能、多项 bug 修复、性能改进和翻译更新。该版本修复了链状态数据库反复重写自身大段内容、导致日常运行中磁盘读写过多的问题，并列出验证、钱包、网络、PSBT、构建、测试等模块的具体修复。

Shi Ruisheng等作者的预印本论文提出ProxyMark，称门罗币集成Tor网络时存在结构性漏洞：节点发起的交易在进入明网前只会经由两个Tor隐藏服务代理节点转发，攻击者占用目标节点的出站连接即可捕获其发起的交易。该框架分三步实施，包括节点角色识别、发起交易识别和节点位置去匿名化，作者在真实Tor网络、门罗币主网和测试网上进行了实验验证。论文为预印本，尚未经过同行评审，仅取得摘要与元数据。

Ethereum Foundation Global Policy Strategy (GPS) 团队发布《Ethereum for Governments and Institutions》报告，面向公共部门与机构决策者，阐述数字基础设施为何需要中立、以及 Ethereum 为何适合承担这一角色。

以太坊基金会宣布完成历时数月的重组，组织结构改为协议层、接入层、用户层、社区层、机构层五个业务集群，外加运营和管理支持团队。此次重组伴随裁员54人，约占EF的20%，离职者将获得遣散费（按每工作一年一个月薪资与当地法定标准孰高）和过渡支持，包括再就业帮助与一笔过渡补助金。

Boris Hofmann、Matthias Kaldorf、Matthias Rottner 在 BIS 数字资产工作论文 1363 号中提出一个将稳定币嵌入宏观金融与银行框架的量化模型。作者摘要指出，稳定币通过两条方向相反的渠道影响经济：银行放贷渠道（家庭增持稳定币推高存款利率、增加银行资金成本、减少贷款供给）和财政空间渠道（发行方购买国库券降低主权融资成本、扩大财政空间）。以美国校准的模型显示，基准情形下长期产出小幅下降，银行放贷渠道略占上风；财政空间渠道在转型期启动更快，使短期产出显著为正。净效应取决于储备资产监管设计、外需强度和财政状况。当前材料仅为作者摘要与元数据，未读取论文全文，方法与数据未核验。

BIS 工作论文作者分析 2025 年 USDT、USDC、PYUSD 三种美元稳定币的 5.93 亿条事件日志、1.41 亿笔以太坊交易，区分单笔转账事件与可打包多步操作的交易。作者发现约三分之一稳定币交易包含多个步骤，部分操作超过 1,000 步，近 60% 的转账事件发生在复杂交易中；若把每笔转账当作独立支付，会误判近六成事件并高估转账笔数与金额。三种稳定币在交易复杂度、紧急度、时点和协议集成上差异明显。结果仅代表作者观点，不代表 BIS 政策，方法与数据未核验全文。

一篇预印本（未经同行评审）提出 Fast TetraBFT，在现有 TetraBFT 上加简单快速路径包装，把正常情况延迟从 5 个消息延迟降到 3 个，作者称保留了原有有界空间需求与低通信复杂度。作者指出 ForgetIT 虽也达到 3 个消息延迟的最优正常情况延迟，但设计高度复杂，其复杂度并非必要。结果为作者在部分同步网络下的理论与实验结论，不代表主网已实现。

Elkana Tovey、Yossi Gilad 和 Aviv Zohar 在 IACR ePrint 发布预印本，提出混币机制 AuditPay，通过审计预算实现可控监管：审计者每个周期（如一小时或一天）可监控预算数量内的地址，用户不知哪些地址被监控。设计采用选择性加密与审计密钥编码，由轻量零知识证明强制执行，无需用户自愿交出查看密钥。作者在以太坊上实现原型并称性能与 gas 开销适中；该论文为预印本，未经同行评审。

作者 Yitebeier Aikebaier 在 IACR ePrint 发布 SoK 论文，研究不改写公链记录、通过销毁读取链上数据所需的密钥材料实现 GDPR 第17条与 EDPB 指南的删除要求。论文将文献按数据位置、密钥托管、访问控制整理为十二格框架，提出密钥生命周期敌手模型，并证明 Destruction-IND-CCA 概念可形式化 EDPB 的不可恢复标准；对七种架构按十一项标准评估，识别出后量子删除安全等五个开放问题。材料为作者摘要，未经同行评审。

Kaihua Qin、Dawn Song 和 Arthur Gervais 在 arXiv 发布 SCDBench，一个面向 LLM 智能合约反编译的数据集与评测方法，含 600 份带字节码、源码和可重放语义检查点的真实 Solidity 合约。评测分格式完整性、可编译性、ABI 还原和差分重放语义一致性四个递进阶段。作者测试 Claude Opus 4.7、GPT-5.3-Codex 和 GLM-5 的零样本反编译，发现前沿模型常能产出结构化可编译代码，但语义一致性远未解决，表现最好的模型仅完美还原 42/600 份合约；同模型编译修复能以适度额外成本显著提升表现。该论文为预印本，尚未经过同行评审。

一篇 IACR ePrint 预印本（未经过同行评审）作者称，Du et al.（Security and Communication Networks, 2022）提出的结合 Bloom filter 与区块链的公钥认证可搜索加密方案会从密文中泄露关键词信息，因为密文内嵌的 Bloom filter 由 Diffie-Hellman 密钥和待加密关键词唯一确定并直接包含在密文中。作者称攻击成功概率下界为 Bloom filter 不出现假阳性的概率，评估显示该攻击成功率足够高；对方案安全模型和使用场景的检验也确认了攻击有效性。作者还指出，即使对方案做简单修改，稍作调整的攻击依然有效，且此前生成的密文在搜索结果不同时仍能通过验证，说明基于区块链的完整性验证机制不足。

Kigen Fukuda 与 Shin'ichiro Matsuo 在 IACR ePrint 发布预印本，基于 Bitcoin backbone 协议框架形式化签名迁移过程与量子对手，证明在有效延迟 Δ_eff 至少为 ⌈4/((1−ε)f)⌉ 且 f·Δ_eff=Ω(log²κ) 等条件下，工作量证明链的安全性质迁移活性以压倒性概率成立，其中 Δ_eff 是量子对手在迁移交易广播后伪造交易所需轮数，f 为诚实挖矿成功概率。作者还推导迁移过程与可容忍量子攻击能力的关系，为设计签名迁移方案提供理论基础。该论文为预印本，未经过同行评审。

由钱包开发方、安全公司和以太坊基金会 Trillion Dollar Security Initiative 组成的以太坊工作组发布 Clear Signing 开放标准，旨在终结导致数十亿美元用户损失（含 Bybit 黑客事件）的盲签问题。

作者在 IACR ePrint 发布预印本（未经同行评审），提出 BitVM3-BRIDGE，一种面向比特币的信任最小化桥架构，支持通往具备终局性证明的链（如以太坊）以及比特币 rollup。核心组件 BitVM3-CORE 基于混淆电路实现无许可链下计算，挑战者完全在链下评估电路，仅当运营方声明错误时获得欺诈证明。作者称该方案将链上总成本降至约 9 美元，单笔挑战交易成本约 0.20 美元，相比 BitVM2 约 16,000 美元的最坏情况争议成本降低近 1000 倍，从而允许更小的保证金和更广泛的运营方参与。论文还把 BitVM3-CORE 形式化为在标准密码学假设下可靠且完备的链上证明系统，并引入可变难度下的比特币链上轻客户端。当前材料仅含作者摘要与元数据，未读取全文，实验与理论结果不代表主网已实现。

以太坊基金会 Protocol cluster 在挪威斯瓦尔巴的 interop 活动中推进 Glamsterdam 升级准备，确立 200M gas limit 下限目标，ePBS 在多客户端 Glamsterdam-devnet 上趋于稳定。同时该 cluster 完成领导层交接。EIP-8037 定稿并采用固定 cost_per_state_byte，Hegotá 的 FOCIL 原型已可运行。

Bahrani、Neuder、Weinberg 在预印本《Adversarial procurement in blockchains》中将区块链中高效征集昂贵任务（如生成 SNARKs 有效性证明）形式化为机制设计问题，权衡活性故障的经济成本与激励候选供应方所需的支付。作者称最优协议的损失随活性故障成本呈对数增长，并被网络中对抗方比例放大；最优均衡结构直观，许多情形下指定单个随机节点为主工作者、委员会作后备，类似基于领导者的共识机制，并刻画了负支付（即罚没）尤其有帮助的渐近情形。当前材料仅含作者摘要与元数据，未读取全文，方法与数据未核验；预印本不代表经过同行评审。

作者在 IACR ePrint 发布预印本，提出 Janus，称为首个实现端到端自适应安全的分布式密钥生成（DKG）套件，可作为可信经销商的直接替代，隐藏全部密钥份额并输出兼容现有验证器、钱包和智能合约的标准 DLog 公钥。作者称在安全擦除假设下证明了可对抗协议中途腐化成员且控制不诚实多数的自适应敌手；套件包含两轮生成无偏密钥的 Janus2R 和容忍加性密钥偏移的单轮 Janus1R，节点作恶时两者生成 259 字节可普遍验证的证明用于链上自动罚没。开源 Rust 实现为 16 节点跨洲委员会完成密钥生成耗时 310 ms，可扩展至 512 节点。材料为作者摘要与元数据，未读取论文全文，预印本不代表经过同行评审。

Adrian Cinal 与 Oliwer Sobolewski 在 IACR ePrint 发布预印本，重新审视适配器签名方案的定义。作者指出主流方案中预签名在技术上可能已是签名，会泄露参与意图，而这一强绑定性对许多实际应用并非必需。他们形式化定义了公平签名交换（FSE），放弃此前工作要求双方使用同一适配器签名方案的对称性假设，并据此形式化定义了预签名可否认性，在多种假设下给出构造。该性质支撑原子交换和支付通道等应用。材料为预印本，未经同行评审。

Adrian Cinal 的 IACR ePrint 预印本《Privacy Coins Under Viewing Key Compromise》研究查看密钥交给第三方监管后隐私币还保留哪些匿名性保证。作者称该文填补了 Zcash 和 Firo 在入账查看密钥泄露情形下可证明匿名性的空白，同时指出恶意方仍可交出全部查看密钥并找到高效规避金融监管的方式；论文还指出了 Monero 现有安全论证的若干缺陷。材料为作者摘要与元数据，未读取全文，预印本不代表经过同行评审。

100 多名以太坊核心贡献者在斯瓦尔巴群岛 Longyearbyen 举行 Soldøgn Interop，围绕 Glamsterdam 网络升级开展一周多客户端协作，周五达成三项核心目标：就升级后 200M gas limit 下限达成一致、ePBS 实现与外部构建者稳定运行、EIP-8037 重定价最终数字敲定。

Paradigm 发文提出 PACT（Provable Address-Control Timestamp）方案，让比特币持有者在量子威胁到来前，用 OpenTimestamps 将 BIP-322 地址控制证明的承诺静默、零成本地锚定到链上时间戳，未来若协议通过软分叉日落暴露公钥的地址，持有者可用 STARK 零知识证明该时间戳早于截止点，从而在不公开迁移代币的前提下恢复花费能力。文中指出该方案无需今日分叉、对他人不可见、承诺阶段无链上费用，但救援路径能否被采纳并无保证，且多重签名、复杂脚本与托管钱包仍需进一步标准化。

Ethereum Foundation 宣布 Ethereum Protocol Fellowship 第七期（EPF7）开放申请，截止日期为 5 月 13 日，项目期为 6 月至 11 月。本期采取规模更小、更聚焦的模式，优先深度参与，入选者可获核心开发社区导师指导，部分入选者将获得每月津贴。

Ethereum Foundation 公布 2026 年第一季度资金分配更新，涵盖应用层、社区、密码学、DAO 治理、去中心化身份、DeFi 及以太坊协议等多个领域的资助项目。

作者提出一种面向公开可验证秘密共享（PVSS）的新框架，使 dealer 发送单条消息后即可离线、不参与份额验证，主要使用基于身份的加密（IBE）与承诺，避免昂贵的零知识证明。作者称首个构造采用格基 IBE 与哈希承诺实现抗量子安全，性能优于 Gentry 等人（Eurocrypt 2022）；第二个构造改用 Pedersen 同态承诺以支持 PVSS 记录聚合，但因 Pedersen 方案不具备量子安全性，仅提供针对抗量子对手的隐私，作者为此提出名为长期安全的新模型，并在该模型下给出一种区块链兼容的安全投票方案。作者报告的性能为：在 1024 个接收方之间共享秘密耗时 667 ms、验证 dealer 操作小于 5 ms、总通信量 4.4MB，而 Gentry 等人的方案通信量为 251MB、共享秘密需 2060 s。该材料为预印本，仅取得作者摘要与元数据，未读取论文全文，档案收录不代表通过同行评审。

Bitcoin Core 31.0 现已发布，包含新功能、bug 修复、性能改进和翻译更新，28.x 及更早版本进入 End of Life。