PRO｜提升 Gas Limit 的影响、新概念 Embedded Rollups
区块链资源计量和定价，以及 2 篇论文等
欢迎阅读 ChainFeeds PRO #81。本次内容将包含提升 Gas Limit 对以太坊的潜在影响，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
To Pump the Gas or Not: Analyzing The Ethereum Gas Limit Debate
2077 Research 全面探讨了提升 Gas Limit 对以太坊的潜在影响。以太坊社区近期在讨论提高 Gas Limit 的问题，自 2021 年以来，Gas Limit 一直保持在 30M，近期的提案建议将 Gas Limit 先提升至 36M，再提升至 60M。提高 Gas Limit 能够增加区块容量，降低交易费用。然而，这一提案也引发了关于去中心化和网络稳定性的担忧，提高 Gas Limit 可能导致区块链历史和状态数据快速增长，对存储和节点硬件提出更高要求。为了解决这些问题，社区提出了如 EIP-7623、PBS 和 MEV Burn 等解决方案。
EIP-7623：通过降低 calldata 的费用，减少无意义数据对网络带来的压力，避免因为过大区块导致节点无法正常工作。
PBS：通过分离区块提议者和构建者，降低了 MEV 收入的集中化，增加了去中心化性。
MEV Burn：通过销毁部分 MEV 收入来减少 MEV 对以太坊网络负面影响的机制。
比特币协议进展
Bitcoin Optech Newsletter #337
使用可交易的 ecash shares 奖励矿工：David Caseria 提出一种矿池奖励改进方案，奖励分配基于 PPLNS（Pay Per Last N Shares），矿池会设置一个固定的 PPLNS 窗口，只有在这个窗口内提交的股份才被计入奖励，并根据其占比分配 ecash shares，矿工可立即出售 ecash shares 变现，无需等待矿池挖出区块。在新的奖励方案机制下，保留了 PPLNS 的公平性，矿工必须在矿池内持续提交股份，直到区块被挖出，才能确保其股份被包含在 PPLNS 中，短期突击算力的矿工即使在某一时刻提交大量股份，但如果矿池发现区块即将加入前， 经历了较多计算轮次，他们的股份可能被从窗口中移出，从而无法获得奖励。
链下合同逻辑（DLCs）改进：developer conduition 在 DLC-dev 邮件列表中提出链下合同协议（DLC，用于创建基于预言机数据的智能合约）改进方案，允许链下资金的多次分配，从而支持创建多个 DLC 合同，在链下的 DLC 结算完成后（例如，已经获取了所有所需的预言机签名），双方可以再次签署新的链下支付，根据合约的执行结果重新分配资金。此外，还可以通过第三方替代性支付方式，将资金分配到新的 DLC 中。
以太坊
研究和进展
Block-Level Warming
以太坊研究员 Toni Wahrstätter 提出了「区块级存储和地址预热」（Block-Level Warming）的提案。以太坊每次交易都需要加载存储槽（存储数据的地方），如果多个交易访问同一个存储槽， 每个交易都会独立进行预热。「区块级存储和地址预热」建议在一个区块内，多个交易访问同一个存储槽时，不需要每个交易都重新预热，而是共享已加载的数据，这样可以避免交易重复加载同样的数据。此外，作者认为采用「环形缓存」（ring buffer）方式跨越多个区块进行预热，能够进一步提高效率。
Embedded Rollups, Part 1: Introduction
NethermindEth 研究员 Lin Oshitani 提出「 Embedded Rollups 」（ER）的概念，ER 允许不同的 Rollup 共享相同的只读数据状态，当某个 Rollup A 内嵌入另一个 Rollup B 的状态时，Rollup A 会在自己的执行环境中创建一个本地的、只读的视图来查看 Rollup B 的状态，这种嵌入视图并不修改 Rollup B 的状态，而是让 Rollup A 能通过本地访问 Rollup B 的状态。本地嵌入的状态视图使得 Rollup A 能够高效地访问 Rollup B 的状态数据，而不需要等待 L1 的确认或进行昂贵的 L1 交易，这有助于提高数据访问速度和降低操作成本。
Block-level fee markets: Four easy pieces
以太坊研究员 Barnabé Monnot 探讨了区块链资源的计量与定价方式，比较了直接定价与中介定价、交易级别计量与区块级别计量的优劣。
直接定价是指用户将交易提交给协议，协议会根据交易消耗的资源来确定费用。该方式缺点在于协议在每个交易上都需要实时进行定价，可能存在计算和操作上的效率问题；中介定价则是通过引入第三方进行资源的购买和分配，按照市场机制设定价格,然后将这些资源再分配给需要的用户。相比直接定价，好处在于可以通过市场力量优化资源的分配，减轻协议的负担。
交易级计量是指每笔交易都按照其自身的资源使用情况来进行计费和定价。这种方法简单易懂，但会导致资源分配的不均衡；而区块级计量则是将资源的计量放在整个区块的层面上进行。资源消耗不仅考虑单笔交易，还要考虑整个区块内所有交易的资源消耗情况。优势在于可以利用区块内各个交易之间的关系，进行更为精细的资源分配。
Barnabé Monnot 主张区块级别计量与中介定价结合，通过市场机制优化资源配置。同时指出某些理想的资源分配仅能通过区块级别计量实现，而无法通过直接定价实现。
可编程密码学
Dynamic zk-SNARKs
ZKV 团队提出了一个新概念 Dynamic zk-SNARKs ，Dynamic zk-SNARKs 是一种扩展传统 zk-SNARKs 的新型零知识证明系统，它具备动态更新证明的能力，能高效地更新现有证明，而无需重新计算整个证明，适用于输入数据或电路发生小规模变化的场景，如区块链智能合约状态更新、数据库的隐私保护查询与更新、动态数据分析和证明生成；并提供了两种实现 Dynamic zk-SNARK 的方法：1.基于递归的动态 zk-SNARK。2.基于 KZG 承诺的 Dynaverse。通过详细的渐进和基准测试，表明 Dynaverse 的更新速度比递归方法至少快一个数量级，更广泛地适用于通用 zk-SNARK。
Why We Can't Build Perfectly Secure Multi-Party Applications (yet)
PSE 研究员 Enrico Bottazzi 以 Multi-party Trade Credit Set-off（MTCS）为例，探讨了当前构建安全多方应用程序的挑战，指出由于安全性和可用性之间的权衡，现有技术（如 MPC 和 FHE）难以实现完美安全模型。由此提出了一些临时解决方案（如委托安全模型和可信执行环境），并分析了不可区分混淆技术（Indistinguishability Obfuscation, iO）的未来潜力，iO 是一种理论上的加密技术，给定两个功能相同的程序，它们经过 iO 混淆后，结果无法区分，从而实现真正安全且高效的多方计算应用。
MEV 相关
The MEV Letter #70
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
论文《Forking the RANDAO: Manipulating Ethereum’s Distributed Randomness Beacon》深入分析了 Ethereum 中 RANDAO 随机数生成器的可操控性，并提出通过有选择性地分叉诚实提议者的区块，以最大化 MEV。
视频《Optimistic Rollups》探讨了不同的排序器（Sequencer）设计及其权衡。
视频《MEV Mitigation by a Transaction Ordering Rule》提出一种交易排序规则，以降低价格波动并防止三明治攻击。
视频《Price Formation in Memory Pools》分析了区块时间与内存池（Mempool）对去中心化交易所（DEX）价格发现的影响。
会议《Columbia University Digital Finance Seminar Series》主要探讨 DEX 的设计，并提出减少 MEV 和 LVR 的方法。
视频《FOCIL Meeting #2》由 Thomas Thiery 主持，邀请客户端团队讨论 FOCIL 实施的进展和相关工作。
视频《Ethereum Sequencing and Preconfirmations Call #16》由 Justin Drake 主持，重点讨论了基于 Rollup 的最新进展，并邀请 Tom Lehman 展示关于 Facet 的演讲。
视频《Spicy Takes》邀请 DevenMat、mrs kzg.eth 和 Ed 讨论了 Arrakis 的 HOT AMM、可组合性、订单流等话题。
📑论文
Smart Contract Fuzzing Towards Profitable Vulnerabilities
作者来自：Nanyang Technological University、Singapore Management University、MetaTrust Lab、Xi’an Jiaotong University
作者探讨了 VERITE 智能合约模糊测试框架，VERITE 是一种面向利润的智能合约模糊测试框架，能通过 DeFi 动作变异器、潜在盈利漏洞识别和基于梯度下降的利润最大化策略，有效检测和利用高利润漏洞，且能应用于合同审计中，展现出极高的实用性和经济价值。