ChainFeeds Research

ChainFeeds Research

Share this post

ChainFeeds Research
ChainFeeds Research
PRO|部分无状态方案、集成式构建者的优势
Copy link
Facebook
Email
Notes
More
Pro 前沿

PRO|部分无状态方案、集成式构建者的优势

PBS 市场中构建者垄断和排他性交易,以及 3 篇论文

0xNatalie's avatar
Zhixiong Pan's avatar
0xNatalie
and
Zhixiong Pan
May 05, 2025
∙ Paid

Share this post

ChainFeeds Research
ChainFeeds Research
PRO|部分无状态方案、集成式构建者的优势
Copy link
Facebook
Email
Notes
More
Share

欢迎阅读 ChainFeeds PRO # 95。本次内容将包含,以及每周更新内容:比特币协议进展、以太坊治理相关、最新研究和进展,和最新论文。

重点

A pragmatic path towards Validity-Only Partial Statelessness (VOPS)

以太坊研究员 soispoke 讨论以太坊在实现无状态验证(stateless validation)过程中遇到的挑战,并提出了几种解决方案,以平衡存储需求和审查抗性(censorship resistance)。缺少状态验证的节点无法验证交易是否有效,这可能导致无效交易充斥内存池,降低系统的安全性。为了应对这一挑战,作者提出了有效性-仅部分无状态(Validity-Only Partial Statelessness, VOPS)方案。在 VOPS 中,节点仅存储足够验证交易有效性的最低数据(如账户地址、余额、nonce等),而不是整个状态。这样,节点所需存储量大大减少(约为 25 倍),同时仍能维持有效的内存池管理和审查抗性。

VOPS 的主要优势包括:

  1. 保持审查抗性:节点能够验证交易的有效性,确保内存池的健康运行,避免无效交易影响系统安全。

  2. 无需每笔交易附带证明:区块级证明(如SNARKs)足以确保全局一致性,无需每笔交易都附带完整的状态证明。

  3. 简化同步:节点可以直接同步账户数据,无需依赖完整节点,从而减少了同步复杂度。

此外,还提出了原生账户抽象(AA-VOPS)的扩展方案。随着账户抽象的引入,交易验证将需要执行自定义逻辑。AA-VOPS 方案下,节点仍然只存储最基本的账户数据字段,并附带轻量级的证明来验证账户的状态和执行逻辑。随着证明技术的进步,AA-VOPS 有望在未来提供更高效的状态管理,并实现更接近完全无状态的验证。


比特币协议进展

Bitcoin Optech Newsletter #352

  • 集群线性化技术比较:Pieter Wuille 发表了关于三种不同集群线性化技术的基本权衡分析,并提供了每种技术实现的基准测试结果。

  • 增加或删除 Bitcoin Core 的 OP_RETURN 大小限制:多位开发者讨论了是否调整或取消 Bitcoin Core 对 OP_RETURN 数据载体输出的默认大小限制。支持增加限制者提出,交易标准政策不太可能有效阻止资金充足的组织通过直接联系矿工的方式确认数据携带交易,并且区块通常已满,无论是否包含数据携带交易,全节点需要存储的数据总量大致相同。反对增加限制者提出,增加限制会使得在运行全节点的计算机上存储任意数据更加容易,其中可能包含高度敏感甚至非法的内容。即使节点加密了磁盘数据,存储这些数据并通过 Bitcoin Core 的 RPC 检索仍可能对许多用户造成问题。


以太坊

研究和进展

Structural Advantages for Integrated Builders in MEV-Boost

SMG 成员 Mallesh Pai 和 Max Resnick 探讨了 MEV-Boost 机制中,集成式构建者相对于独立构建者的结构性优势。主要包括以下两点:

  1. 私有价值模型中的优势:

    • 集成构建者能够在拍卖中真实报价(类似第二价格拍卖),而独立构建者则需在信息不完全的情况下提前决定利润分配(类似第一价格拍卖),导致后者必须压低报价以保留利润,从而降低了其竞争力。

    • 通过数学模型分析表明,独立构建者的均衡报价会低于其真实价值,而集成构建者则能更高效地提取价值。

  2. 共同价值模型中的延迟优势:

    • 在共同价值场景(如 CEX/DEX 套利)中,集成构建者因延迟更低(能更晚出价)而具有信息优势。

    • 若慢速竞标者(独立构建者)无法及时调整报价,其出价会趋于零,导致拍卖完全由快速竞标者(集成构建者)主导。即使存在部分调整机会,慢速竞标者仍面临严重的赢家诅咒问题。

Merkelizing Bytecode: Options & Tradeoffs

以太坊基金会成员 Ignacio Hagopian 讨论了如何通过区块执行证明来提高以太坊的执行吞吐量,同时避免对验证节点造成过大的计算和存储负担。 当前以太坊的 Gas 限制提升会线性增加区块验证的计算负载,而区块执行证明可以将验证负载从线性降为次线性,让区块提议者承担更多计算,验证节点只需高效验证证明。但证明生成本身有硬件限制,当前设计下,合约字节码的验证效率低下(单一哈希形式存储、EXTCODESIZE 或 CALL 等操作码需读取整个字节码),成为证明生成的瓶颈。Ignacio Hagopian 提出了两种解决方案:

1. 协议外方案(部分无状态)

  • 思路:验证节点假设已存储所有合约字节码,仅验证哈希正确性。

  • 优点:无需协议变更。

  • 缺点:

    • 验证节点仍需存储 ~10GB 字节码(随时间增长)。

    • 依赖网络节点提供缺失字节码,可能影响验证时效性。

    • 安全性依赖诚实节点。

2. 协议内方案(字节码分块与默克尔化)

  • 思路:将字节码分块并构建默克尔树,仅需验证用到的部分。

(1)分块策略

  • 31-byte 分块:每块 31 字节,简单但存储开销 ~3.2%。

  • 32-byte 分块:动态跳转目标表,存储开销更低(~0.1% 平均)。

  • 动态分块:按 JUMPDEST 动态分块,但实现复杂。

(2)默克尔化位置

  • 现有 MPT 中(如 EIP-2926):复用当前状态树,但保留 RLP/Keccak 开销。

  • 新统一状态树(如二进制树):与账户/存储数据共用新树。

  • 独立代码树:专用于代码,灵活性高但增加复杂度。

(3)现有字节码处理

  • 按需转换:首次访问时由交易发送者支付分块成本(可能引发 UX 问题)。

  • 多区块转换:分阶段自动迁移(降低风险但实现复杂)。

  • 离线转换:硬分叉时预计算,但需协调时间。

Public crypto networks as financial market infrastructures

欧洲央行行长 Ulrich Bindseil 与哥伦比亚大学教授 Omid Malekan 指出以太坊正在成为下一代金融基础设施的基石,并提出了以太坊的四大核心优势:

  • 实时流支付。允许资金以连续、微小且自动化的方式从付款方向收款方流动,而非传统的一次性批量转账,打破传统支付系统(如ACH、SWIFT)的批量处理和延迟结算限制。且稳定币支付成本趋近于零,加密货币网络没有商业模式,只有安全模型,因此支付费用会持续降低,

  • 全资产结算。传统金融的结算系统是单资产隔离的(如美元、欧元、股票各自独立),导致跨资产交易效率低下且风险高。以太坊通过代币化和智能合约的原子交换,可以实现多资产无缝结算,降低外汇、衍生品等交易的摩擦。

  • 可编程性。图灵完备的智能合约允许高度灵活的金融自动化,且具备抗审查性和永不宕机的特性,即使以区块链标准来看,以太坊也表现突出。

  • 去中介化。加密货币默认支持点对点金融,但也保留中介服务的可选性(如通过智能合约充当银行或经纪商角色)。关键区别在于用户可自主选择是否依赖中介,而非被迫接受传统金融的过度中介化。

Incentives of builder multiplexing in PBS

Shtuka Research 团队成员 Andrew W. Macpherson 分析了 PBS 市场中构建者垄断和排他性交易的问题,并提出了相关建议。当前 PBS 市场中,构建者通过排他性协议(如独家订单流)获得竞争优势,导致市场高度集中,新进入者难以竞争。这种排他性安排不透明且门槛高,进一步削弱了市场竞争力。而垄断并非由现有参与者的特殊性或拍卖规则导致,而是 PBS 的单物品拍卖结构和高价值订单流提供者(OFS)的风险偏好的必然结果。针对当前问题,Andrew 提出了未来研究方向的建议:

  • 量化分析构建者优势的来源。市场由具有持续优势的构建者主导,优势主要来自排他性订单流和争议性交易,量化分析这些优势来源,研究如何拆分或共享优势(如优先权分配),可以降低进入门槛,削弱构建者的垄断性。

  • 提供可靠性保证的成本与收益。当前市场缺乏交易落地率的可靠保证,导致 OFS 面临交易被丢弃或延迟的风险。若能提供可信的交易落地率保证机制,可能降低对排他性协议的依赖。

  • 设计新的市场结构从单卖家市场转向多卖家市场(如分块构建、预确认协议或委员会机制),打破提议者对区块的垄断。需社区共识或验证者参与外部承诺市场,长期才可能实现。


MEV 相关

The MEV Letter #85

Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter,以下是一些重点摘录:

  • 《BuilderNet v1.3》发布 BuilderNet v1.3 版本,优化了捆绑交易(bundle)发送的用户体验,并为节点运营商改进了测试、可观测性及部署流程。

  • 《The Ethereum Foundation’s Vision》概述了以太坊基金会的愿景、原则和价值观。

  • 《The Ethereum Foundation’s Next Chapter》详述 EF 短期与长期目标规划及实施路径。

  • 《Does Your Blockchain Need Multidimensional Transaction Fees?》探讨多维度交易费用对区块链吞吐量的提升潜力及复杂度权衡。

  • 《Auditable Builder Bids with Optimistic Attestations in ePBS》提出一种基于乐观验证的机制,使构建者在可审计出价中承诺交易包含列表与未密封交易。

  • 《A pragmatic path towards Validity-Only Partial Statelessness (VOPS)》 by Thomas Thiery 提出 VOPS 方案,通过弱无状态优化,将验证节点存储需求降低 25 倍。

  • 《Apples of the Infinite Garden: A Children’s Book on EIP-7918》解读 EIP-7918,阐述最小 Blob 基础费用的设计必要性。

  • 《BITE Protocol: On-Chain Decryption via Precompiled Contracts by Konstantin Kladko》提出通过预编译合约实现链上解密,以减少 MEV 影响。

  • 视频《Axal: Talking Intentionally Episode 19》探讨 MEV、意图、求解器等话题。

  • 视频《FOCIL breakout #9》 特邀 CPerezz.eth 讲解无状态 FOCIL,Thomas Thiery分享有效性部分无状态方案。

  • 视频《Fabric Call #005》由 Drew Van der Werff 主持,同步 EIP-7917 进展,并讨论约束 API 与承诺 API 的更新。


📑论文

LEAGAN: A Decentralized Version-Control Framework for Upgradeable Smart Contracts

作者来自:Lovely Professional University、University of Padua、Edinburgh Napier University

作者介绍了名为 LEAGAN 的新型可升级智能合约框架,旨在解决现有方案(如代理合约)在升级智能合约时面临的存储限制、函数选择器冲突和继承管理复杂等问题。其核心要点包括:1. 数据分离:采用增量哈希(IH)和 版本控制系统(RCS),支持多版本更新而无需重新部署。2. 状态合约:首次引入该机制,降低开销并保持不可变性。3. 优化性能:相比现有方案,空间利用率提升 40%,时间复杂度优化 30%,Gas 消耗降低 25%。

This post is for paid subscribers

Already a paid subscriber? Sign in
© 2025 ChainFeeds
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share

Copy link
Facebook
Email
Notes
More