PRO 前沿｜EIP-7251 提案常见问题解答、改善时间敏感交易的用户体验、UniswapX
以及比特币限制条款、无状态交易、中心化和去中心化排序器等
欢迎阅读第十五期 ChainFeeds PRO Newsletter。本次内容覆盖增加最大质押 ETH上限（EIP-7251）提案的 FAQ、如何改善时间敏感交易的用户体验、UniswapX 功能简介等，以及每周更新内容：比特币协议进展、以太坊治理相关、链上数据、最新研究和进展，和最新论文。
FAQ on EIP-7251; Increasing the MAX_EFFECTIVE_BALANCE
在以太坊中，验证者集合的持续增长可能会对现有的共识层造成不稳定性，主要原因包括 P2P 消息负载、beacon 状态大小和签名聚合时间。此外，验证者集合也限制了实现单槽终态（SSF）的进展。此文是针对增加 MAX_EFFECTIVE_BALANCE 提案（EIP-7251）的常见问题解答，以下是一些讨论较多的问题：
为什么 MaxEB 一开始就被设置为 32 ETH？ MaxEB 最初设定为 32 ETH，以确保在最初的分片设计中对子证明委员会的安全性提供有力的保证。
EIP-7251 的好处：在当前情况下，EIP-7251 的主要好处是减缓验证器集的增长速度，提高共识层带宽的效率。
是否鼓励中性化？不，实际上减少了中心化，因为它使小型质押者更容易获得复利奖励，从而减少了为获得更高的年收益率而进行大规模池化的需要。
*相关 ChainFeeds 原创文章：以太坊质押上限从 32 增加到 2048 是否会增加节点集中度？
Improving User Experience for Time Sensitive Transactions with a Simple Change to Execution Logic
此提案建议在以太坊交易逻辑中添加「fillBy 」字段设置交易的有效期，避免不必要的交易执行和浪费。随着 DeFi 在以太坊网络上的使用增加，越来越多的交易变得时间敏感。作者提出了一种解决方案，即在以太坊交易中添加一个新的字段「fillBy」。该字段允许用户选择一个 slot，在该 slot 之后，交易将无效，就像交易的签名不正确或者同一用户的相同 nonce 的交易已经被打包上链一样无效。这样的设计可以帮助避免一些交易因执行时间过长导致不理想的结果，同时减少了不必要的高昂的链上操作。文章指出这个改进对于搜索者来说尤其有用，可以防止 low carb crusader 攻击，即使没有单槽最终性，也可以消除攻击，从而提高网络安全性和交易的效率。
UniswapX
Uniswap 在推出 v4 后又推出一款聚合了链上和链下流动性的新产品 UniswapX。
最佳执行价格：UniswapX 的荷兰式拍卖机制保证 Fillers 竞相提供最佳价格来执行交易，确保交易者获得最优的交易价格。
无需支付 gas 费：订单在链下签名，然后通过更高的执行价格来抵消 Fillers 的 gas 费。
内部化 MEV：通过将 MEV 内部化，使得交易者能够从订单产生的盈余中获益。
跨链交易支持：为交易者提供更大的灵活性和资产选择范围。
减少交易失败成本：交易者无需支付交易失败的 gas 费，减少了由于网络拥堵或其他原因导致的交易失败带来的成本。
比特币协议进展
Bitcoin Optech Newsletter #260
本周无重大进展。
比特币中的限制条款：用于评审的分类学
作者介绍了比特币脚本中最简单的限制条款（OP_TXIDVERIFY）和最全面的限制条款（OP_TX），以及进一步加强的限制条款（OP_CHECKTEMPLATEVERIFY）。限制条款允许交易的输出对接下来的花费交易施加限制，拓展了交易的使用方式，超越简单的签名要求。通过 Taproot，限制条款可在未来通过软分叉进行扩展和解除限制。作者建议启用 ANYPREVOUT，开启 LN-symmetry 和限制条款，并提出了通过定义比特币来实现不同类型限制的想法。
系列文章之等待确认（七）：网络资源
比特币网络的分布式结构是实现其意识形态目标的关键，允许网络规则从各个节点运营者的共识中产生，同时避免不当影响力的企图。节点运营成本的低廉对于一个多样化和健康的节点群体至关重要。所以统一规则具有必要性，其中包括限制区块链增长特别是对于 UTXO 集的大小限制、裸多签输出发布数据到区块链、和升级钩子的使用。通过这些措施，比特币网络可以保持可扩展性、可升级性和全节点的可访问性，同时确保网络安全和升级的平稳进行。
以太坊
MEV 相关
The MEV Letter #1
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
《The Centralizing Effects of Private Order Flow on Proposer-Builder Separation》重点介绍了通过 OFA 向私人交易的转变如何在构建者-搜索者之间实现权力集中化，并建议修改 PBS 以实现更加公平和去中心化的以太坊。
《Infinite Games》反对试图为 MEV 建立 「最终解决方案」，而是主张采用适应性机制来不断应对新的挑战。
《Decentralized Rollup State Verification via Beacon Layer 1 》介绍了一个用于去中心化验证 Rollup 状态的系统，提供了「harder-than-soft」的最终性，并详细介绍了 Beacon Layer 实现最终性的三层方法。
《Blockchain in the age of LLMs》探讨了如何利用 LLM 来改变区块链的各个方面，从如何构建意图、dapp 和钱包扮演什么角色到如何吸引订单流。
《CoW Hooks: You are in control! 》由 CowSwap 推出的 CoW Hooks 是其「多用途意图执行引擎」的一部分，使用户能够在单笔交易中直接在交换前后执行 DeFi 操作。
An increasing number of validators choose to construct their own MEV block
越来越多的验证者选择构建自己的 MEV 区块，这从非 MEV-Boost 来源产生的 MEV 收入中所占的比例更大就可以看出。这对 PBS 未来的影响值得考虑。EigenPhi 计算了 6 月 11 日至 7 月 11 日的数据。在验证者 1643 万美元的收入中，714 万美元来自非 MEV-Boost 来源生成的 MEV，占比 45%。2023 年 1 月和 2 月数据的显示 3451 万美元总额中的 12.2%（421 万美元）来自非 MEV-Boost 来源生成的 MEV。
ZK 相关
Proposing New Entity for Stateless Account abstraction- Trustless State provider Allowing TXs to enter Alt-mempool without hodling the whole state
Sogol Malek 介绍了一种名为「使用 ZK-SNARKs 通过点对点网络为以太坊备选内存池提供状态」的解决方案，旨在通过高效地为无状态交易提供状态数据来提高以太坊的可扩展性。该解决方案利用 ZK-SNARKs 和点对点网络来生成交易状态的紧凑证明。
提案的关键组成部分包括：
向量承诺状态：提案使用向量承诺状态来高效表示以太坊账户的状态数据，实现紧凑存储和查询。
用于状态证明的 ZK-SNARKs：使用 ZK-SNARKs 生成简洁且可信的状态完整性证明，可以由点对点网络中的任何参与者验证。
点对点网络：利用分散的点对点网络来分发状态提供者功能，确保容错性、弹性和可扩展性。
无状态轻客户端：提议的无状态轻客户端验证 ZK-SNARKs 证明，并与状态提供者交互以请求与交易验证相关的状态信息。它以分散方式运作，与其他节点合作验证交易。
治理重点
This Week in Governance - July 20
Polygon 为 2.0 引入新的治理模型和代币经济：Polygon 于 7 月 19 日推出了 Polygon 2.0 的新治理模型，旨在将决策权分散到 Polygon 生态系统中。7月13日，宣布了 Polygon 2.0 的新代币经济学，推出了 POL 代币作为 Polygon 网络的本地资产 MATIC 的技术升级，旨在激励验证者进行有用的工作，从而确保和促进 Polygon 生态系统的增长。
Optimism 基金会重新阐述了 Optimism 的原则和目标：Optimism 采用两院制治理体系，由 Token House（OP 代币持有者及其代表）和 Citizens' House（基于声誉的一人一票制度）组成。该设计允许多样化的代表，防止权力集中，并鼓励不同角度的决策。治理体系专注于两个主要目标：确保抵御攻击和有效分配资源以支持 Optimism Collective 的愿景。
Arbitrum推出了其基金会拨款计划的第一阶段：旨在促进与合作伙伴项目和教育计划相一致的生态系统增长。该计划在不同阶段运作，初始阶段专注于 Arbitrum Nova 和 Arbitrum One 的去中心化应用和基础设施，拨款将根据与每个申请人合作确定的里程碑和关键绩效指标发放。
其他研究和进展
采用中心化排序器的 Rollup 并不一定意味着不安全
采用中心化排序器的 Rollup 并不一定意味着不安全。现有的协议和备份机制即使在中心化排序器中也能保持安全性和有效性。当然尽管如此，努力实现排序器的去中心化可以提高 Rollup 生态系统的整体安全性和效率。
关心排序器的去中心化的原因：
1）MEV 和交易： 排序器有权决定交易的顺序，如果排序器是恶意的，它可能会操纵顺序以利用 MEV 机会或破坏交易处理的公平性。
2）快速确认： Rollup 之所以能够实现高速交易，部分原因在于快速确认，而快速确认依赖于对排序器的信任。如果排序器是去中心化的，它可以加强对快速确认的信心，减少对批量发布的依赖。
3）快速包含： 虽然即使没有排序器，链仍然是活跃的，但用户体验可能会受到影响。
📑论文
Arbitrageurs' profits, LVR, and sandwich attacks: batch trading as an AMM design response（套利者的利润、LVR 和三明治攻击：作为 AMM 设计响应的批量交易）
作者来自：CoW Swap
CoW Swap 介绍了一个函数最大化型 AMM（FM-AMM），它通过批量交易，以边际价格（即批量交易后的价格）执行所有交易。批量交易的套利者之间的竞争保证了 FM-AMM 始终以公平价格进行交易，所以套利利润（LVR）被消除，三明治攻击也被消除。通过使用币安的价格数据对提供流动性给 FM-AMM 的回报进行模拟，发现这个下限与在 Uniswap v3 上提供流动性的实际回报非常接近（至少对于考虑的代币对和时间段而言）。（本文最早发表于 2023 年 7 月 5 日，在 2023 年 7 月 10 日更新了 V2 版）
Deploying ZKP Frameworks with Real-World Data: Challenges and Proposed Solutions（使用真实世界数据部署 ZKP 框架：挑战和建议的解决方案）
作者来自：UC Berkeley
Fact Fortress 是一个用于设计和部署零知识证明的端到端框架，旨在处理敏感数据并解决其隐私、可扩展性、可用性和互操作性等方面的挑战。该解决方案利用数据溯源和可审计数据访问策略的证明，确保敏感数据的处理可信，并对数据上的计算进行验证。与区块链技术相关的 ZKP 主要用于增强交易隐私和可扩展性，此外，该框架提供高级抽象，使开发人员能够表达复杂的计算，无需担心底层算术电路，并有助于部署链上验证器。
Intmax2: A ZK-rollup with Minimal Onchain Data and Computation Costs Featuring Decentralized Aggregators（Intmax2：具有最小链上数据和计算成本的 ZK-rollup，具有去中心化聚合器）
作者来自：Intmax、University of Porto
Intmax2 是一种新颖的区块链扩展解决方案，是 ZK-rollup 协议，具有无状态和去中心化的区块生产特性，同时最大程度地减少了底层区块链上的数据和计算使用。与现有的ZK-rollup不同，此方案将几乎所有的数据和计算成本转移到客户端，而不是对区块生产者或底层 Layer 1 区块链施加重负。这种设计实现了无需许可和无状态的区块生产，并且随着用户数量的增加而高度可扩展。
Bitcoin's Carbon Footprint Revisited: Proof of Work Mining for Renewable Energy Expansion（重新审视比特币的碳足迹：可再生能源扩张的工作挖掘证明）
作者来自：University College London
区块链和分布式账本技术（DLT）中使用的工作量证明（PoW）共识算法，尤其是在比特币挖矿的能源强度上一直以来都是引发批评的目标。然而，该文指出挖矿也有潜力通过提供辅助和其他服务来推动能源网络的净脱碳和可再生能源渗透。研究人员对通过 PoW 挖矿实现灵活负荷响应（FLR）以支持电网脱碳的潜力进行了系统化整理，同时列举了挖矿在此方面的优点和局限性。（本文最早发表于 2023 年 2 月 3日，在 2023 年 7 月 19 日更新了 V3 版）
Security-Performance Tradeoff in DAG-based Proof-of-Work Blockchain Protocols（基于 DAG 的工作量证明区块链协议的安全性与性能权衡）
作者来自：Shandong University
基于 DAG 的工作量证明（PoW）区块链协议相较于基于链的前身展示了更优异的交易确认性能。然而，在高吞吐量的环境下，由于接受同时产生的区块和复杂的区块依赖，安全性面临挑战。作者拥塞式区块链模型（CBM）对基于 DAG 的协议进行了分析，此模型允许逐案例地设定区块传播延迟的上限，而不像大多数之前的分析一样使用统一的上限。作者评估了 Prism 和 OHIE 这两个旨在打破安全性与性能平衡的基于 DAG 的协议在面对「late predecessor attack」时的安全性和性能。结果显示，这些协议在高吞吐量环境下与它们基于链的前身一样，遭受了安全性降低和延迟增加的问题。
Always on Voting: A Framework for Repetitive Voting on the Blockchain（始终在线投票：区块链上重复投票的框架）
作者来自：Brno University of Technology
Always on Voting（AoV）是一个提议的重复投票框架，旨在解决选举周期内治理的限制问题。传统选举通常在一定时间间隔内重复进行，而选民难以在下次选举之前移除选出的候选人或政策，即使有必要并且法律允许。AoV 允许参与者在任何时间都可以投票并更改选举的候选人或政策，而不需要等待下次选举。他们可以私下更改自己的投票选择，而这种更改的影响将在每个较短的时期（epoch）结束时显现。为了解决 epoch 结束时的主观评判问题，epoch的结束时间是随机化和不可预测的，但仍保持在一定的时间范围内。为实现这些目标，AoV采用了比特币难题预言机、可验证延迟函数和智能合约之间的协同作用。（本文最早发表于 2021 年 7 月 22 日，在 2023 年 7 月 18 日更新了 V4 版）
Tornado Vote: Anonymous Blockchain-Based Voting（Tornado Vote：基于区块链的匿名投票）
作者来自：Technical University of Berlin
为了解决透明度和匿名性之间的冲突，作者提出了使用类似 Tornado Cash 名为「Tornado Vote」的加密货币混币器来实现透明性和匿名性的协调。该投票协议旨在提供公平的投票过程。虽然技术上可以在以太坊上处理约 1 万个投票，大约需要两个小时，但在实际条件下这是不可行的，因为以太坊主网上的第三方交易会降低可能的吞吐量，并且交易费用使得利用所有可用区块容量变得不可行。因此，论文还提出了各种 Gas 成本模型，以评估和调整 Tornado Vote 的可行性折衷方案，包括所需的区块数量和投票成本的经济估算。