欢迎阅读 ChainFeeds PRO # 56。本次内容将包含区块构建者如何最大化利润、MEV-Boost 的验证者经济效益,以及每周更新内容:比特币协议进展、以太坊治理相关、最新研究和进展,和最新论文。
重点
Is it worth using MEV-Boost?
以太坊研究员 Nero_eth 分析了在使用 MEV-Boost 时,验证者的经济效益,主要从区块奖励和年化收益率(APY)角度进行比较。研究显示,使用 MEV-Boost 的验证者相比本地区块构建者,能够显著提高其区块奖励和年化收益率。具体而言,使用 MEV-Boost 的验证者每年的区块奖励从 0.0199 ETH 提升至 0.0998 ETH,年化收益率从 2.93% 提高到 3.24%,APY 也从 2.97% 增至 3.29%。这种变化相当于额外增加了约 8.6% 的收益。因此,MEV-Boost 为验证者提供了显著的经济吸引力,尤其是对于希望最大化收益的验证者而言,使用 MEV-Boost 是一个值得考虑的选择。
Taxonomy of transaction sequencing mechanisms 2.0
Dune 工程师 Dias 认为区块构建者排序交易可以看作背包问题,区块构建者的任务是在区块的大小限制下,尽可能增加包内的总价值。背包问题(Knapsack problem)是一类组合优化问题,在这个问题中,你需要从给定的一组物品中选择几个装入背包。每个物品都有一个重量和一个价值,目标是在不超过背包最大承重的条件下,让背包内物品的总价值最大化。
在不同的应用层级中应该实施不同的规则:
共识层:在这一层,排序规则需要确保全网节点的一致性。例如,使用基于时间戳的排序规则来确定交易的全局顺序。
定序器层:在这一层,可以采用复杂的算法,如贪心算法,优先处理交易费用高的交易,以提高整体区块的价值。这些算法帮助定序器高效地解决优化问题,实现利益最大化。
应用层:在 DApps 或智能合约层面,特定的排序规则可以根据交易类型进行细致调整。例如,在自动市场做市商(AMM)中,可以通过特定算法优化交易对的选择和定价,以减少市场滑点并提高交易效率。
比特币协议进展
什么是 “Pedersen 承诺”?
RareSkills 介绍 了 Pedersen 承诺,Pedersen 承诺是一种基于椭圆曲线的加密承诺方案,它可以在不透露数据的情况下,对任意向量进行加密承诺,并确保这些数据不可篡改且可以被验证。Pedersen 承诺需要基础的椭圆曲线知识,包括点加法和点乘法。传统的承诺方案通过哈希函数和随机数来隐藏数据,Pedersen 承诺则使用椭圆曲线群来实现,提供了安全、高效且隐私保护的承诺方案,广泛应用于零知识证明和智能合约中。
实现与特点:
形式化:Pedersen 承诺形式化为 commitment=v[G]+s[Q] 其中 v 是要承诺的数值,s 是随机盲化因子,[G] 和 [Q] 是椭圆曲线点。
同态可加性:多个承诺可以相加,形成新的承诺,同时保持原有的安全性。
零知识友好:椭圆曲线的运算容易转换为零知识证明电路。
向量承诺:可以对多个数值进行承诺,扩展了应用范围。
Bitcoin Optech Newsletter #306
即将披露影响旧版 Bitcoin Core 的漏洞: Bitcoin Core 项目的几名成员 在 IRC 上讨论了披露影响旧版 Bitcoin Core 的漏洞的拟议政策。对于低严重性漏洞,将在消除漏洞的 Bitcoin Core 版本首次发布后约两周披露详细信息。强烈建议所有用户和管理员在未来两周内升级到比特币核心 25.0 或更高版本。
BIP 和 testnet4 的实验性实现: Fabian Jahr 在 Bitcoin-Dev 邮件列表中发布了 testnet4 的 BIP 草案, testnet4 是测试网的新版本,旨在消除现有 testnet3 的一些问题。Jahr 还链接到 Bitcoin Core 拉取请求,其中包含拟议的实现。
功能加密 covenants: Jeremy Rubin 在 Delving Bitcoin 上发表了一篇论文,该论文讲述了使用功能加密可以在不改变共识的情况下,为比特币添加一系列 covenants 行为。从根本上讲,这将要求 covenants 用户信任第三方,尽管这种信任可以分散到多方,其中只有一方需要在特定时间诚实行事。
对提议的 64 位算法软分叉的更新: Chris Stewart 在 Delving Bitcoin 上发帖宣布对他之前的提议进行更新,以增加在比特币脚本中使用 64 位数字的能力。
提议更新 BIP21: Matt Corallo 在 Bitcoin-Dev 邮件列表中发布了有关更新 URI 的 BIP21 规范的信息。几乎所有比特币钱包使用的 URI 方案都与指定方案不同,发票协议的其他更改可能会导致 BIP21 的使用发生其他变化。
治理
This Week in Governance - June 6: Resistance, Redesign, and Relaunch
Uniswap 推迟 fee-switch 投票:Uniswap 原计划于 5 月 31 日进行的费用切换提案由于一个新提出的问题被推迟,团队表示需要进一步审查以确保升级的完整性和安全性。团队为延迟道歉,并承诺在确定未来时间框架后向社区更新信息。
NEAR 基金会与 Gauntlet 合作重塑治理结构:NEAR 基金会与 Gauntlet 合作,重新设计 NEAR 生态系统的治理结构,以促进长期增长。Gauntlet 将利用其在生态系统优化、激励建模和社区参与方面的专业知识,提出一种新的权重治理框架,旨在提高透明度、问责制和效率。合作还包括评估和实施激励计划,以促进有意义的链上经济活动。
Arbitrum 游戏生态增长计划:Arbitrum 提出的游戏催化计划(GCP)建议在三年内分配 2 亿 ARB,旨在扩大 Arbitrum 上的游戏生态系统。该计划将通过赠款、投资和基础设施奖励来吸引和支持游戏开发者。计划包括建立 GCP 团队和委员会,以确保透明度和与 DAO 价值观的一致性。
Euler 基金会生态系统倡议提案:Euler 基金会请求 Euler DAO 批准分配最高 100 万个 EUL 和 30 万美元,用于加强 Euler 生态系统。这些资金将用于支持多样化的社区参与和即将于 2024 年 7 月重启的协议,基金将迅速响应增强协议和生态系统的机会,专注于协议的进一步发展。
Gnosis DAO 的 30 百万美元回购计划:Gnosis DAO 提议将 5% 的资产(主要是 SAFE、ETH 和稳定币)用于 30 百万美元的 GNO 回购计划,目标是向长期持有者转移价值,建立高于账面价值的估值底线,并吸引更多关注。计划将 30 百万美元分为两部分:一部分用于在动态计算的账面价值以下的 CoW-TWAP 订单中回购,另一部分由 Karpatkey 根据有利机会进行回购。
以太坊
研究和进展
Inactivity Leak unveiled
upavloff 分析了以太坊中的 inactivity leak 机制,一种特定的安全机制,主要目的是在网络分裂或大量验证器离线的情况下恢复区块链的最终确定性(finality)。它通过惩罚长时间未参与共识过程的验证器来实现这一目的。虽然活跃度泄漏机制有助于保持区块链的活跃性,但它也带来了安全性的权衡。特别是在拜占庭验证器活跃的环境下,这些验证器可能通过各种策略加速活跃度得分的累积,从而迫使诚实验证器面临更高的惩罚风险。
The contention between preconfs and ePBS
以太坊基金会成员 Potuz 简要记录了预确认制度与当前 ePBS 提案之间的根本争论。通过分析不同预确认系统的设计和执行方式,提出了在不损害系统扩展性的前提下,实现预确认和 ePBS 兼容的方法。
预确认和包含列表的挑战:最初提出的预确认系统使用强制包含列表,让提议者通过包含列表表明他们会遵守预确认,并迫使构建者包含这些交易。
预确认的集中化问题:目前的预确认设计依赖于集中实体,如中继,来收集交易和发出预确认。尽管提议者最终负责强迫构建者执行预确认,这些系统仍然存在集中化的问题。
与 ePBS 兼容的预确认方法:构建者作为质押验证者,可以遵守预确认系统的规则,从而避免与 ePBS 在区块验证方面的冲突。此方法可以在确保系统去信任化的同时,实现有效的预确认执行。
On block-space distribution mechanisms
以太坊研究员 mikeneuder 对区块空间分配机制的深入分析:
1. 执行票证(Execution Tickets)
核心概念:执行票证是一种由协议直接发放的票证,允许持票者在指定的时间内建造区块。这种方法旨在通过协议内部机制直接控制区块构建权的分配。
评估:
公平性:执行票证通过随机选择持票者作为区块建造者来增加分配的公平性。
透明度:所有票证的发放和使用都在链上进行,增加了操作的可见性和可预测性。
效率:由于是预先分配,可以减少在实际建造区块时的竞争和不确定性。
对 MEV 的处理:能够一定程度上预测并限制MEV的影响,因为票证分配是随机的,且事先已确定。
2. 区块拍卖 PBS(Proposer-Builder Separation)
核心概念:在这个机制中,提议者(验证者)和构建者(可以是专业的交易排序者)被明确区分。提议者通过拍卖将建造权卖给出价最高的建造者。
评估:
公平性:虽然所有提议者都有机会通过拍卖获得 MEV,但对于能够最大化 MEV 的建造者,可能导致市场的集中。
效率:市场机制确保了资源的高效分配,但可能增加了复杂性和操作成本。
去中心化:市场化可能导致建造者的集中,影响网络的去中心化。
对 MEV 的处理:通过市场竞争,MEV 的分配可能更高效,但也可能导致 MEV 利益集中。
3. MEV Burn/Smoothing
核心概念:通过一个委员会来强制执行最低出价,从而在提议者之间平滑或燃烧 MEV。
评估:
公平性:通过平滑机制,小规模或不那么技术精湛的验证者也能从 MEV 中获益。
效率:可能会因为额外的治理机制而减慢决策过程。
去中心化:需要一个可信的委员会来执行规则,可能影响到系统的去中心化。
对 MEV 的处理:通过委员会的监管,可以更公平地分配 MEV,但这需要额外的治理和监督。
Censorship Resistance Through Game Theory
Antony Denyer 讨论了如何通过博弈论的原则来增强区块链网络的抗审查能力,尤其是对以太坊网络中交易的审查问题。研究表明,通过博弈论来设计激励机制,使得区块链网络中的区块构建者更倾向于包含所有有效交易,从而减少审查行为,增强网络的去中心化和完整性。
抗审查的重要性:区块链网络的去中心化性质依赖于其抗审查能力,确保系统内的交易的完整性和可访问性。「硬审查」是指完全和永久性地阻止有效交易上链,而「软审查」则是指延迟或减缓有效交易的传播和包含。
当前的抗审查方法及其不足:现有的方法多集中于「硬审查」,如包含列表,要求提议者必须包含特定交易,否则就是协议违规。这些方法在实际操作中可能会有局限性,无法完全解决「软审查」问题。
MEV 相关
The MEV Letter #42
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter,以下是一些重点摘录:
论文《Priority Is All You Need》介绍了 MEV 税机制,应用程序可利用这种机制捕获自己的 MEV。
文章《TEE engineering Part 1: Cloud Attestations - Advantages, Shortcomings, Solutions》讨论了云证明与 TEE 的使用以及与云提供商的相关信任模型。
文章《On block-space distribution mechanisms》探讨了不同的块空间分发机制,并强调了它们对验证者奖励、去中心化和 MEV 的影响。
文章《The Preconfirmation Sauna》介绍了 Switchboard,并将预确认桑拿浴室作为一个可信的中立平台来标准化预确认。
文章《Un-confirming “Pre-confirmations” 》探讨了预确认作为解决以太坊延迟问题的方案的缺点。
视频《Ethereum Sequencing and Preconfirmations Call #10》介绍 commit-bost 作为预确认和其他提议者承诺的验证平台。
视频《Scraping Bits: Michael Moser: ChorusOne, Solana MEV Validator, Ethereum PBS Timing Games, Orderbook MEV 》讨论了 PBS、计时游戏、MEV 缓解以及 ChorusOne 的最新研究。
📑论文
Tie-Breaking Rule Based on Partial Proof of Work in a Blockchain
作者来自:Kyoto University
作者讨论了区块链中抑制攻击者有意分叉的方法。现有的方法通常需要重大更新,依赖可信第三方,或假设强同步,因此难以应用于现有的系统如比特币。为了解决这些问题,本文提出了一种新的对策,旨在易于应用于现有的工作量证明(PoW)区块链系统。具体方法是引入一种新的决策规则,使用部分工作量证明(Partial Proof of Work, PPW)作为具有更细粒度的时间标准。
Digital Inheritance in Web3: A Case Study of Soulbound Tokens and the Social Recovery Pallet within the Polkadot and Kusama Ecosystems
作者来自:National University、McGill University
作者探讨了近年来数字遗产问题在社交媒体用户和区块链生态系统中的关注增加的现象。提出了一种基于魂绑定代币和社交恢复中继(social recovery pallet)的数字遗产框架,特别应用于 Polkadot 和 Kusama 区块链网络。
Byzantine Attacks Exploiting Penalties in Ethereum PoS
作者来自:Université Paris-Saclay、Université Paris-Panthéon-Assas
作者介绍了 inactivity leak,这一机制旨在应对网络中断时恢复链的最终性。该机制的目标是减少在网络中不活跃的验证者的投票权,将这些权力重新分配给活跃的验证者。研究强调了在设计区块链安全机制时需要注意惩罚非活跃节点的潜在负面影响。
Analyzing and Benchmarking ZK-Rollups
作者来自:Imperial College London University
作者探讨了区块链技术在数字交易领域中的可扩展性挑战,并重点研究了 Layer 2 扩展技术中的 ZK-Rollups。ZK-Rollup 利用零知识证明技术实现了快速的链上交易验证,显著提高了可扩展性和效率,同时保持了安全性。另外本文通过定性分析探讨了与 ZK-Rollups 相关的成本和设计选择。研究初步揭示了 ZK-Rollup 实现中的权衡和改进领域,为未来的研究、开发和部署提供了有价值的见解。