欢迎阅读 ChainFeeds PRO # 124。本次内容包含每周更新内容:比特币协议进展、以太坊治理相关、最新研究和最新论文。
重点
Threshold Encrypted Mempools with mev-commit Preconfirmations
Primev 创始人 Murat 等人提出了一种无需修改共识层即可部署的阈值加密内存池方案。该方案通过将 Shutter 的阈值加密技术与 mev-commit 的预确认与经济惩罚机制相结合,在现有链下交易供应链中为用户提供抗抢跑、抗三明治攻击和抗审查的保护。
当前,用户交易在公共内存池中公开可见,容易遭受抢跑和三明治攻击。单纯加密交易内容不足以解决问题,因为构建者可能承诺后反悔。为此,该方案引入盲承诺与条件解密机制:
盲承诺:构建者在无法查看交易内容的情况下做出包含承诺;
条件解密:只有在足够数量的构建者承诺后,密钥才会被释放;
一、交易流程
用户使用阈值加密技术加密交易;
加密交易提交至排序器(Sequencer);
排序器将加密投标发送至 mev-commit;
mev-commit 将投标分发给构建者;
构建者评估加密投标并做出盲承诺;
Keypers 验证是否达到承诺阈值(如 ≥3 个构建者);
达到阈值后,Keypers 释放解密密钥;
构建者解密交易并将其强制放置在区块顶部;
mev-commit 预言机在 L1 验证交易包含情况;
根据验证结果执行奖励或罚没;
二、经济强制执行
系统通过经济惩罚机制确保构建者履约:
承诺阈值控制:Keypers 只在足够构建者承诺后才释放密钥(如3/5);
分层奖惩机制:
完全奖励:交易正确包含在区块顶部
部分奖励:交易被包含但位置错误
免于惩罚:交易无效被合理排除
全额罚没:承诺后未包含有效交易
顶部包含要求:强制交易位于区块顶部,防止构建者解密后插入自己的交易进行抢跑;
比特币协议进展
降低 Bitcoin Core 对外软件依赖的重要性
Brink 团队讨论了Bitcoin Core代码库安全性的一个关键方面:依赖项风险。尽管 Bitcoin Core 自身的代码常被视为比特币网络韧性的核心,但其外部的第三方依赖库也带来了安全挑战。依赖项的主要风险包括:引入安全漏洞(可能导致崩溃或远程代码执行)、可能引发共识分裂的微妙差异、供应链攻击的风险、破坏编译可重复性,以及增加维护负担。
Bitcoin Core 已通过移除或替换多个依赖来应对:1. OpenSSL 被更安全、专用的 libsecp256k1 替代。2. Protobuf / BIP70 支付协议,因使用率低且增加风险而被完全移除。3. Berkeley DB (BDB) 是最初的钱包后端,后被 SQLite 取代。4. Boost 逐步被 C++ 标准库替代,现已最小化使用。5. Gitian 被 Guix 取代,以提供更好的可重复编译。6. 多项 macOS 相关依赖,被简化或移除。
族群交易池的好处
研究员 Murch 讨论了比特币交易池在当前设计下存在的结构性问题,并介绍了「族群交易池(Cluster Mempool)」作为改进方案的原理与优势。当前每个全节点都会维护自己的内存池,用于存放未确认交易,但现有 Bitcoin Core 的交易选择机制依赖「祖先集合」与「后代集合」来计算每笔交易的有效费率,需要频繁更新数据结构。特别是在交易量激增、交易池溢出的情况下,要确定哪笔交易最不值得保留会产生高昂计算成本,因此 Bitcoin Core 只能采用启发式方法,导致驱逐不准确、区块构造效率受限,甚至造成 RBF(手续费替换)规则与激励不兼容的问题。
为解决这些结构性痛点,Murch 介绍了 Cluster Mempool 的核心思想:不再基于祖先或后代关系管理交易,而是将所有相关交易归入一个「族群」,并对每个族群进行线性化排序,提前得到交易被打包时的精确顺序。在线性化基础上,可以进一步把交易分解为多个独立的「分家(chunks)」,每个分家都有稳定的费率,只依赖于分家内部的交易。这带来几个关键好处:
能预先得到准确的交易挖矿分数,提高区块构造效率;
能精确确定最不值钱的分家,从而实现近乎最优的交易驱逐;
为 RBF 和包交易提供更清晰、激励兼容的模型;
给整个交易池带来隐式的全局排序。
Bitcoin Optech Newsletter #383
NBitcoin库中的共识漏洞:NBitcoin 库在执行 OP_NIP 时存在一个因数组越界而可能导致共识失败的理论性漏洞,该问题通过差分模糊测试被发现并在被报告的同一天由 Nicolas Dorier 确认并修复;由于没有任何全节点使用 NBitcoin,因此不会造成链分叉风险,所以漏洞被快速公开披露。
以太坊
研究和进展
Proposal: A Continuous Verifiable Reality (CVR) Framework for Reducing RWA Collateral Risk Weights
ProofLedger CTO Abel Gutu 提出了一种用于 RWA 抵押品验证的新框架,称为 Continuous Verifiable Reality(CVR)。其目标是解决传统 RWA 借贷中「抵押品不透明」的问题,使链上贷款能够符合 Basel III 的资本优化要求。
1.CVR 的核心为了确保物理资产数据(如温度、位置)的真实性,Abel Gutu 设计了一个基于声誉的共识模型:
声誉计算公式:综合了数据准确性(权重最高)、运行时间、质押量和争议处罚等因素,为每个预言机节点评分。
惩罚条件:对提供偏离共识的数据、恶意提交虚假数据或服务可用性低的节点,进行质押代币的罚没,以确保系统的抗欺诈能力。
2. 经济影响:巴塞尔III资本优化
CVR 框架的核心经济价值在于能降低风险加权资产,从而为机构节省资本。
风险权重公式:引入了一个「验证折扣」 。通过实时验证,抵押品的风险权重得以降低(预计降低 20-50%)。
举例:一笔 1000 万美元的敞口,应用 CVR 后,风险加权资产可能从 1000 万降至 600 万,从而释放 40% 的资本,提高资金池的风险调整后收益(夏普比率)。
Framework for AltDA Secure Integration on Ethereum
开发者 Bowen Xue 讨论了 AltDA(Alternative Data Availability)在以太坊 L2 链中的安全集成问题,并提出了一个以数据转换为核心的技术框架,以保障 L2 链在处理 DA(Data Availability)承诺时的安全性与可用性。
Bowen Xue 将 AltDA 集成抽象为一系列确定性的数据转换流程:首先,L1 inbox 中的字节被反序列化为 AltDA Commitment;然后,通过数据可用性验证器(DAV)检查承诺对应的 Blob 是否已存储,并进行新近性验证;最后,将 Blob 确定性地解码为 L2 本地的 Rollup Payload。每一步均要求明确、正确且可验证,以防止 L2 分叉或链停滞,同时允许轻客户端通过交互式挑战或零知识证明验证 L2 状态而无需完整执行流程。Bowen Xue 强调承诺与 Blob 的严格绑定、确定性解码,以及对 Sequencer 恶意行为、数据填充与元数据处理、不同承诺方案(Merkle、KZG)编码差异和潜在新近性攻击的防护。该框架确保即使部分节点受到攻击,L2 链仍能维持安全性与活性,避免因数据回收或隐瞒造成的桥资产损失。这一框架可广泛适用于各类 L2 架构,并以 EigenLabs 的实际实现为参考。
MEV 相关
The MEV Letter #116
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter,以下是一些重点摘录:
文章《Bunny Hops and Blockchain Stops: Cross-Chain MEV Detection With N-Hops》提出了一种检测多跳跨链套利机会的方法,发现由于成本、延迟和风险等因素,此类盈利机会极为罕见。
文章《Price Discovery Auctions》构建了一个信息不对称条件下的初始定价拍卖价格发现模型,分析了敌对行为与异质信念如何影响价值捕获与市场稳定性。
文章《Do L2 Sequencers Really Need Threshold Randomness? A Case for Minimal PQ-Verifiable VRFs》探讨了 L2 序列器是否真正需要门限随机数,并提出一种适用于 L2 序列器、账户抽象捆绑器及零知识证明者分配场景的极简式、可后量子验证的可验证随机函数方案。
视频《All Core Devs - Consensus (ACDC) #170》讨论了 Fusaka 主网升级及事故响应团队计划,并提供 Glamsterdam 测试相关更新。
视频《The Fusaka Files: What’s Next for Ethereum After Fusaka?》邀请 Tomasz K. Stańczak 讨论可信中立性、Layer 2、协议安全性等话题。
视频《Endgame: How Wall Street Became Ethereum Aligned》邀请 Tomasz K. Stańczak 就以太坊基金会、机构采用等话题展开对话。
视频《From Whiteboard to Mainnet Podcast: DAO Governance》邀请 Jungsuk Han、Jongsub Lee、Tao Li 和 Michael Zargham,探讨 DAO 治理的演变历程、关键决策机制以及未来工作方向。
📑论文
The Latency Cost Of Censorship Resistance
作者来自:University of Chinese Academy of Sciences、Shandong University
作者提出了一个通用的、无需额外信任假设的 SSLE 协议——Mobius。其核心创新在于一个近似唯一的随机化机制,该机制既能防止单次选举产生多个可验证状态,又能保证跨连续执行的状态唯一性。研究在通用可组合性框架下进行了全面的安全分析,并开发了概念验证实现。实验结果表明,Mobius 在显著增强安全性的同时,大幅降低了协议执行的通信复杂度,尤其在注册阶段减少了超过 80% 的开销。



