PRO｜MEV-burn 提案的各种迭代版本、EIP-7503 隐私转账、Based Rollups 中的交易提交系统
以及隐私 NFT 市场、 zk-SNARKs 的起源等
欢迎阅读第四十一期 ChainFeeds PRO Newsletter。本次内容将包含 MEV-burn 提案的各种迭代版本以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
The price is right: Realigning proposer-builder incentives with predictive MEV-burn
以太坊研究员 soispoke 通过 MEV-burn 提案及其各种迭代版本（vanilla MEV-burn、kickback MEV-burn、predictive MEV-burn）来解决以太坊网络中 MEV 带来的挑战，从而提高以太坊协议的公平性、效率性和安全性。
1.Vanilla MEV-burn（vMEV-burn）：
设计和机制：vMEV-burn 旨在通过将 MEV 奖励重新分配给 ETH 持有者来解决经济不稳定性和安全威胁问题。但存在建议者和提议者之间的勾结风险。如果构建者和提议者合谋，可以通过设置基础费用（base fee）和提议奖励（tip）来最大程度地捕获 MEV 价值，而不是公平地将其燃烧并重新分配给 ETH 持有者。
解决的问题：
经济不稳定性：通过重新分配 MEV 奖励，降低了以太坊经济设计的复杂性，并减少了对安全性和验证器数量的不利影响。
安全威胁：通过捕获和燃烧 MEV 价值，降低了恶意活动（如重组和 DoS 攻击）对协议安全性的威胁。
2.Kickback MEV-burn（kMEV-burn）：
设计和机制：kMEV-burn 在 vMEV-burn 的基础上进行了改进，以鼓励建议者提前出价，减少迟到出价的影响。引入了「kickback」机制，即如果大多数验证者投票确认某个建议者，则该建议者将获得一部分区块基础费用的奖励。要求验证者在投票时确认建议者的身份，以便确定是否分配 kickback 奖励。
解决的问题：
迟到出价：通过引入 kickback 机制，鼓励建议者提前出价，减少了由于迟到出价而导致的安全威胁和效率问题。
勾结担忧：通过奖励建议者提前出价，减少了可能存在的勾结和不公平分配 MEV 奖励的问题。
3.Predictive MEV-burn（pMEV-burn）：
设计和机制：pMEV-burn 是对 kMEV-burn 的进一步改进，旨在更好地调整构建者和提议者之间的激励。引入了更复杂的机制，将构建者和提议者的奖励与他们的预测能力相关联，以便更好地捕获和燃烧 MEV 价值。pMEV-burn 的机制包括根据建议者在观察截止时间之前对区块价值的预测来确定奖励，并将奖励与验证者的投票结果相关联。
解决的问题：
激励不对齐：通过将建议者和提议者的奖励与他们的预测能力相关联，更好地调整了他们之间的激励，并减少了潜在的勾结和勒索行为。
比特币协议进展
Bitcoin Optech Newsletter #289
集群内存池（cluster mempool）部署后中继增强的想法：Gregory Sanders 在 Delving Bitcoin 上发布了一些想法，建议在完全实施、测试和部署集群内存池支持后，允许单个交易选择加入某些内存池策略。这些增强建立在 v3 交易中继功能的基础上，放宽某些不再需要的规则，并要求交易支付足够的费率以确保它们有望在接下来的一个或两个区块内被挖掘。
如果一年前将 v3 语义（semantics）应用于锚输出，会发生什么？Suhas Daftuar 在 Delving Bitcoin 上发布了关于自动将 v3 交易中继策略应用于锚式 LN 承诺和调整费用的研究。研究发现 LN 钱包可能需要进行一些小的修改以更好地符合 v3 语义，使得 Bitcoin Core 可以安全地将锚点输出视为 v3 交易。
Bitcoin-Dev 邮件列表移动：比特币协议开发讨论邮件列表已经迁移到了新的服务器 Google group，并提供了新的电子邮件地址，所有希望继续接收帖子的人都需要重新订阅。
闪电网络：技术与用户体验（二）：通道与支付
本系列文章旨在填补关于闪电网络的文献资料的一些空白。本文详细解释了比特币中闪电通道的构造、通道内交易的实现以及相关的支付特点，以及为什么闪电通道被认为是一种无需信任的构造。它还涉及了闪电网络作为一种扩容方案的讨论，并指出了构造闪电通道的技术的一些进步空间。（本文绝大部分内容跟技术有关，如果你对它不感兴趣，可以跳过这一篇。但如果你对比特币的可编程性感兴趣，迄今为止，闪电通道依然是最好的思维材料）
治理
This Week in Governance - Feb 15: Points for Governance
Aave: 提议续签 Orbit 计划，用 GHO 和 ETH 来补偿参与治理活动的代表。该计划通过 Gelato 集成实现无 Gas 投票，推出 Orbit Tracker 应用程序进行代表监督，资格基于投票权、参与率和平台成熟度。预算包括 80,000 GHO 和 4.9273 ETH 用于 Gas 返还，旨在实现 Aave 生态系统内透明和负责任的治理参与。
Purple: 提议支持 Farcon，寻求 10 ETH 用于 Farcon 及其随附的黑客马拉松，用于资助高质量的纪念品和场地费用，以增强 Farcaster 社区的增长和参与度。资金还将支持参与者的援助津贴，确保包容性。该倡议强调了面对面活动在加强 Farcaster 生态系统和促进更深层次的社区联系方面的重要性。
Uniswap: 提议在所有链上部署 Uniswap V2，并与 V3 配合使用，旨在解决由修改过的 V2 分叉引起的安全问题，并满足新链上传统 AMM 的需求。此举还旨在为使用 Universal Router 的小额交换者提供更高质量的执行。部署过程将与 V3 相同，确保V2部署在所有链上的治理方式一致。
以太坊
其他研究和进展
Privacy NFT Marketplace
现有的 NFT 市场在公共区块链上公开了敏感信息，存在泄露用户隐私的风险。因此，Terry 提出了利用 zk-SNARKs 技术建立一个安全、去中心化的平台，以保护用户在 NFT 交易中的身份隐私。使用 zk-SNARKs 技术创建可验证的交易证明，同时不会泄露敏感信息，确保了交易的隐私性和安全性。并在卖家和买家之间建立了一套详细的交易流程，针对每笔交易，都有一个在链上进行的验证过程，并对交易状态进行更新。
[RFC] EIP7503 Private transfers
mikirov 介绍了一个基于零知识证明和 burn/mint 方法的方案，旨在提高区块链交易的隐私性和安全性。在这个方案中，发送者将资产发送到一个被称为 Nullifier 的地址，实际上相当于「烧掉」了这笔资产，因为 Nullifier 是一个不可花费的地址。然后，通过验证 ZKP，证明了发送者拥有 Nullifier 的生成权，从而在一个新的、不可追踪的地址上「铸造」相应数量的资产。为了防止交易被追踪到其原始地址，方案不会在链上公开中间地址（Nullifier）和发送者地址。为了进一步保护用户的隐私，方案要求所有交易中的转账金额是固定的。
Transaction Submission on Based Rollups
mteam 探讨了 Based Rollups（Rollup 的排序发生在其所基于的 L1 上） 中的交易提交系统，指出当前设计中存在的问题和潜在的风险，并提出了几种交易提交设计的优缺点。
基于中心化 RPC 的公共内存池：
优点：简单易行，易于实现。
缺点：存在单点故障，若 RPC 服务器宕机，则可能导致 L2 停止处理交易；公共内存池容易被 MEV 搜索者利用，可能导致用户受到不公平的交易顺序截留等问题。
分散的 RPC 和内存池：
优点：去中心化，减少了单点故障的风险。
缺点：仍可能存在 MEV 风险，且需要更复杂的技术实现。
私有内存池：
优点：降低了 MEV 风险，保护了用户隐私。
缺点：可能导致中心化，并且可能需要某种形式的权限控制。
私有订单流：
优点：完全消除了公共内存池的 MEV 风险。
缺点：可能导致更加中心化的生态系统，并且可能需要某种形式的权限控制。
Our highly subjective view on the history of Zero-Knowledge Proofs
LambdaClass 讲述 zk-SNARKs 的基本概念和其在密码学领域的重要性。这种密码学原语允许证明者向验证者证明一个给定的陈述是真实的，而不需要透露除了陈述的有效性之外的任何其他信息。文章还讨论了 zk-SNARKs 的起源、发展历程以及一些基本构建模块，例如零知识证明的定义、基本定理和重要协议，以及一些关键的证明系统。文章还提到了 zk-SNARKs 的一些具体实现，例如 Pinocchio、Groth 16、Bulletproofs 和 Plonk，以及它们的特点、性能和应用。最后，还对 zk-SNARKs 未来的发展进行了展望，认为由于不同应用场景和需求的多样性，可能不会有一个适用于所有应用的通用证明系统，而是会有多种系统针对不同需求进行优化。
MEV 相关
The MEV Letter #27
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
文章《The Impact of Market Conditions and Fee Algorithms on the Design of a Competitive AMM》分析了不同市场条件下 AMM 的 LP 盈利能力，并探讨了实施动态收费机制的方案。
文章《Research Note: Review of Maximal Extractable Value and Blockchain Oracles》研究了 DeFi 中的最大可提取价值和预言机，并讨论了市场的监管行动。
文章《TEE Party with SUAVE: Could Trusted Execution Environments Replace Trusted Actors?》概述了 TEE，并探讨了 SUAVE 如何利用 TEE 实现可编程隐私并减少对可信中介的依赖。
文章《Announcing Suave-std》介绍 suave-std--一个 Solidity 合约和库的集合，旨在简化 SUAPPs 的开发流程。
文章《Grounded Relay: Superpowers from Relay Coordination》探讨了 MEV-Boost 中继为验证者和构建者提供额外产品和服务的潜力。
文章《Preconfirmations: The Fulfillment-Delivery Paradigm》探讨了预确认的应用，以及如何利用预确认来降低执行风险。
文章《Uniswap V4 hook: LVR-minimization with Per-block conversion vs. Futures contracts》基于结合 Diamond 协议的模拟，比较了在 Uniswap V4 上最小化 LVR 的设计。
Twitter Space《Missed Slot Penalties & Timing Games: Eth’s Growing Pains w/ EF & SMG》邀请 Mike Neuder、Max Resnick 和 ballsyalchemist 讨论 2 月 6 日由于 bloXroute 最大利润中继的 optimistic 模式中的一个错误而错过的 9 个 slots。
视频《Ethereum Sequencing and Preconfirmations Call #0》邀请运行 MEV 基础设施的团队和协议研究人员讨论排序和预确认。
📑论文
A Circuit Approach to Constructing Blockchains on Blockchains（在区块链上构建区块链的电路方法）
作者来自：Stanford University
这篇文章讨论了如何在多链世界中构建更安全的覆盖区块链（在区块链上构建区块链）。它使用了类比于电路切换的概念，定义了两种基本的组合操作：串行和三角形组合。文章提出了以下结果：在两个区块链之间进行串行组合，得到的覆盖区块链在至少一个底层区块链安全时是安全的，在两个底层区块链都活跃时是活跃的。在三个区块链之间进行三角形组合，得到的覆盖区块链在所有底层区块链都安全时是安全的，在至少一半底层区块链活跃时是活跃的。这两种基本操作的重复组合可以产生在任意数量的底层链上建立覆盖区块链的所有可能的安全性和活跃性的权衡。（本文最早发表于 2024 年 1 月 31 日，在 2024 年 2 月 13 日更新了 V2 版）
A Better Proof-of-Work Fork Choice Rule（更好的 PoW 分叉选择规则）
作者来自：Stanford University
作者提出了对工作证明区块链的分叉选择规则进行修改的建议。建议选择具有最多内在工作量的链。一个区块的内在工作量大致等于其哈希前面的零的数量。这种修改能够安全地减少所需的确认数，从而改善确认延迟，或者相反地，安全地增加区块生产速率，从而提高吞吐量，与原始的比特币工作证明分叉选择规则相比。修改是在工作证明不等式的级别上进行的，因此可以与文献中提出的任何其他改善延迟或吞吐量的方法相组合。
Mass Exit Attacks on the Lightning Network（闪电网络大规模退出攻击）
作者来自：University of Illinois at Chicago
作者研究了在高交易拥堵情况下，闪电网络（LN）对大规模退出攻击的易受性，尤其是在存在一小部分对抗性节点的情况下，这些节点强迫大量诚实用户与区块链进行交互。文章关注了两种类型的攻击：1）僵尸攻击：一组 k 个节点变得无响应，目的是为了在比 LN 协议规定的时间之外锁定许多通道的资金一段时间。2）大规模双重支付攻击：一组 k 个节点试图通过提交许多结算通道的关闭交易来窃取资金，这些交易使用过期的协议状态；这导致许多诚实节点不得不迅速做出反应，提交无效交易。通过模拟实验，作者展示了在历史上可信的拥堵条件下，只需一个非常小的联盟即可执行这两种攻击。
FRIDA: Data Availability Sampling from FRI（FRIDA：FRI 的数据可用性采样）
作者来自：Aarhus University、Ethereum Foundation
数据可用性抽样的目标是让轻客户端能够在不实际下载数据的情况下验证数据的可用性。之前的相关研究虽然在理论上建立了数据可用性抽样的概念，但提出的方案要么成本高昂，要么需要信任设置，要么对轻客户端的下载复杂度随数据大小的增长而增加。作者提出了一种新的数据可用性抽样方案，它既不需要信任设置，又具有较低的复杂度。该方案利用了交互式预言机证明的近似（interactive oracle proofs of proximity，IOPPs）的概念，并证明了任何符合额外一致性条件的 IOPP 都可以转换为一种数据可用性抽样方案。通过这种新的连接，数据可用性可以受益于未来对 IOPPs 的研究成果。
Proof of Diligence: Cryptoeconomic Security for Rollups（Proof of Diligence：Rollups 的加密经济安全性）
作者来自：Witness Chain
目前的 optimistic Rollup 实现缺乏一个适当的激励机制来确保监视节点会尽职尽责地执行其任务。因此，作者介绍了一种名为「Proof of Diligence」的协议，旨在解决这一问题。Proof of Diligence 协议要求监视节点持续提供它们已验证 Layer 2 断言的证明，并因此获得奖励。该协议设计了一个激励机制，用于确保监视节点在有理性的情况下会履行其责任，从而提高 optimistic Rollups 的安全性。