Flashbots 研究提案 (FRP)

Flashbots 研究提案 (FRP) 是一个资助项目，Flashbots 用它来资助社区研究、与合作伙伴共同工作，并确保超出我们内部团队的研究人员拥有足够的资源来照亮黑暗森林。虽然自 Flashbots 初期 FRP 就已经存在，但我们在过去一年中的资助进度加快。本文概述了我们对 FRP 的目标和方法论，并突出了一些该项目所促成的精彩项目。通过 FRP，我们希望确保 MEV 不仅是一个最具智识吸引力的研究领域，也是一个热情的研究者可以始终找到资金和支持的领域。在过去一年中，FRP 在这方面取得了重大进展，使 Flashbots 能够支持一系列外部研究者，包括经验丰富的学者、生态系统贡献者及独立 MEV 研究的新进入者。

我们对 MEV 研究感到兴奋，因为：

• MEV 研究本质上是多学科的，这些学科经常以新颖的方式相互关联。
• MEV 供应链中的竞争产生了丰富的自然实验，涉及激励和市场。这些实验需要传达给外界，以实现它们的全部影响。
• MEV 位于区块链系统的核心，是推动未来技术发展的核心引擎。研究可以支持未来协议有效利用 MEV。
• 通过研究 MEV，我们支持以知情和赋权的参与者保持以透明的方式协作，共同追求公平和高效的市场。

Flashbots 两次通过变革性的产品重塑了以太坊区块构建市场，首先是 mev-geth，随后是 mev-boost。自 MEV 海盗船时代（在 Flashbots 正式成立之前），我们的社区中就形成了一种研究文化。这使 Flashbots 在内部建立了一个有产品和研究双重引擎设计的架构。凭借这一设计，作为 MEV 资助者，我们的职责意味着需要通过产品和研究开辟道路。我们以多种方式与研究社区进行互动：通过 发布我们的内部研究，通过为学术研究者提供背景和协作，举办将 MEV 路线与学术指示平台结合的研讨会（最近，档案）、通过与 MEV Roasts 对重要研究领域进行社区对齐，以及通过 FRP 项目与外部研究者进行直接合作。

接下来是过去一年内完成的一些突出的 FRP。

最近完成的 FRP

FRP 10: 通过安全背包拍卖构建分布式区块构建网络

FRP 10 提出了使用安全背包解决方案构建分布式区块构建网络的方法。他们通过三种方式进行：动态编程、使用贪心算法（目前推荐）和使用多方计算（期待的推荐）。首先，研究者们尝试基于动态编程技术构建这样的背包解法。然后，他们展示了如何使用贪心算法构建这样的背包解法，并展示了支撑追求贪心算法方法的基准数据。最后，他们讨论了基于 MPC 的区块构建的未来研究方向。FRP 10 产生了一份 研究报告，发布在 Flashbots 论坛。 Flashbots Fellow Mikerah，Responsible Flashbots Mate Jonathan Passerat-Palmbach

FRP 18: 完全隐私的加密原语

FRP 18 调查了现有的加密解决方案以实现完全私密的内存池。大部分 MEV 提取活动得以实施，是由于以太坊内存池的公开性。搜索者能够通过查看未确认交易的池来识别可以提取的价值。通过使内存池私有，许多当前的 MEV 机会将不再可提取，这可能导致用户的交易执行效果更好，费用更低。然而，即使在私有内存池中，MEV 机会仍然可能出现，这取决于拍卖设计和用户订单时间依赖等因素。研究者旨在确定哪些加密隐私解决方案最适合毫不信任地解决创建一个在订单确认前仍然私密且其内容对 MEV 提取不再有价值的内存池的问题。他们考虑了多方计算 (MPC)、可验证延迟函数（vdf）、阈值加密、零知识 (ZK) 和见证加密。他们制作了一个表格，比较了他们所比较的所有加密内存池解决方案的属性。他们发现，阈值加密目前是最实用的，见证加密也很有前景。FRP 18 产生了一份 学术论文 和一篇 博客文章。 Flashbots Fellow James Stern，Responsible Flashbots Mate Jonathan Passerat-Palmbach

FRP 21: 固定Gas价格区块链中的 MEV

虽然大量关注放在了动态Gas价格的区块链的 MEV 市场上，但很少有人考虑固定Gas价格区块链的 MEV。FRP 21 试图了解在固定Gas价格区块链上的 MEV。研究者以 Terra Classic 作为例子。在分析围绕原生代币重Peg 事件发生的成功套利时，研究者发现许多成功的套利者不需要大量的启动资本或复杂的策略，且通常不超过四次跳转。然而，采用更复杂策略的 MEV 搜索者，包括多个虚拟机和更广泛地理覆盖，收益更高且赢得了更多的套利机会。他们的发现表明，在固定Gas区块链中，成功的 MEV 搜索主要是赢得延迟。FRP 21 导致了一篇 发表于 Arxiv 的研究论文 和一篇 博客文章。 _Flashbots Fellow Facundo Carrillo，Responsible Flashbots Mate Elaine Hu_

FRP 22: 量化抢跑和随机性对用户体验的影响

FRP 22 试图量化抢跑和随机性对用户体验的影响。随着关于 MEV 和区块链中交易执行的文献数量增加，已经提出了多种正式模型，以便在特定设置中传达结果。这些模型的多样性使得比较相关结果变得困难，需要重复工作来为新设置发明模型。FRP 22 提出了一个针对敌对交易排序的一般排队理论模型，以解决这一问题。尽管排队理论传统上并不考虑复杂的激励，而有关区块链中交易调度的早期工作主要集中在先来先服务或基于费用的排序，但在 FRP-22 中提出的模型考虑的是 MEV。该论文演示了如何使用该模型来理解诸如常数函数自动化市场制造商 (CFMM) 交易的环境，以及像夹击现象及其带来的执行价格的影响。该模型旨在作为促使不同设置（例如不同链规则、去中心化应用程序交互、存在反向拍卖或订单流特征）进行标准化正式分析的更大框架。FRP 22 导致了一篇 发表于 Arxiv 的研究论文 和一篇 博客文章。 Flashbots Fellow Andrew Macpherson，Responsible Flashbots Mate Quintus Kilbourn

FRP 23: 福利、AMMs 和 MEV

FRP 23 研究了一个关于常数函数市场制造商 (CFMM) 用户福利的简单模型。研究者们建立了一个理想情况，其中所有交易可以同时以瓦尔拉斯均衡价格和分配进行。这一指标成为研究在顺序情况下通过特定 CFMM 可以恢复多少效用的基准数据。他们的研究发现，当一个代理在稀缺区块空间中提议区块时，他们可以获得与其他身份相同的代理相较高的预期效用。与此同时，这也为最大可提取价值提供了下限。FRP 23 被写成了一篇 发表于 Arxiv 的研究论文。 Flashbots Fellow Bruno Mazorra 和 Nikete，Responsible Flashbots Mate Xyn Sun

FRP 26: 通过开放游戏进行可信承诺

FRP 26 旨在识别新的 MEV 类型，并探讨 MEV 估计如何因参与游戏中可做出可信承诺的玩家的信念而异。他们使用了 20squares 的组合博弈理论软件，这一软件可以快速原型制作博弈理论模型、进行模拟和分析。他们对关于具有可信承诺的囚徒困境进行了一些思考实验，并将这些实验推广到一个更加具体的案例，涉及在自动化市场制造商 (AMM) 中的抢跑和交易。FRP 26 产生了一个互动模型，你可以在 这里 进行探索。 Flashbots Fellow 20squares，Responsible Flashbots Mate Xyn Sun

FRP 27: PBS 下的拍卖模拟

FRP 27 研究了在提议者-构建者分离（Proposer-Builder Separation）范式下的当前拍卖机制，利用了组合博弈理论（在 FRP 26 中也有所使用且有所描述）。他们建立了一个模型，允许用户以模块化和可扩展的方式模拟和检查不同类型拍卖的均衡策略。该模型允许用户根据所假设的拍卖设计及每个参与者都按固定策略进行游戏的前提下，检查其预期结果。FRP 27 产生了一个互动模型，你可以在 这里 进行探索。 Flashbots Fellow 20squares，Responsible Flashbots Mate Jolene Dunne

FRP 28: 订单流拍卖中的有条件费用

FRP 28 关注于订单流拍卖设计中的有条件费用，以确定有条件费用或前期费用是否产生更好的结果。有条件费用是在订单被包含在区块中时才需支付的费用。前期费用则在拍卖结束时支付，无论此订单是否成功执行。有条件费用的吸引力在于它们降低了参与竞标者的风险和资本需求，同时也是以太坊区块拍卖的现状。然而，订单流拍卖意味着不同的范式，需要进行严格的分析。研究者们模拟了一种带有有条件费用、带有前期付款以及两者都存在的订单流拍卖。结果表明，拍卖设计者应当将有条件费用降到最低。当更多支付是基于执行的有条件，收入和执行概率将下降，而均衡有效价差将上升。尽管有人希望在有条件费用市场中使用声誉系统来解决这些问题，研究者们指出该方法存在显著的实施挑战。FRP 28 導致了一篇 博客文章 和一篇 发表于 Arxiv 的论文。 Flashbots Fellow Max Resnick，Responsible Flashbots Mate Quintus Kilbourn

正在进行的 FRP

除了最近完成的 FRP，我们目前有七个 FRP 处于启动或正在进行的研究阶段，覆盖了加密学、社会学、技术传播和形式建模等多个专长领域。

• FRP 24 旨在量化乐观 Rollup中的 MEV。
• FRP 25 分析了先来先服务交易排序协议中的公正性粒度和交易的接收时间。
• FRP 29 研究以太坊Layer2协议目前的 MEV 现状，并考虑去中心化排序者引入的可能影响。
• FRP 30 是一项关于 MEV 分享机制的实证研究，系统为用户提供 MEV 利润支付。
• FRP 31 研究加密内存池对用户的 MEV 好处。
• FRP 32 研究加密货币重分配在农村地区的社会经济影响。
• FRP 33 致力于为在受信执行环境 (TEE) 中运行的协议开发认证堆栈。

每个项目产生结果后，将发布到 Flashbots 论坛。

FRP 项目的备注

FRP 项目使 Flashbots 能够资助社区 MEV 研究、开展外部合作并使我们的团队效能倍增。我们通过 FRP 与各种研究者合作，包括大学教师、行业研究人员和学生。

FRP 使用该 Github 存储库 进行管理。你可以通过查看活动、关闭和停滞文件夹来查看我们资助了什么。FRP-1 于 2021 年初提交，我们最近接受了第 33 个 FRP！虽然某些 FRP 是无偿的（在与合作者和项目性质最为合适的情况下），但我们通常为每个项目提供标准的 15K 美元，其中在接受时支付 10K 美元，完成时支付 5K 美元。我们在 Flashbots 论坛上有一个 FRP 部分，你可以向有关已有 FRP 的问题进行询问。

FRP 获得了 Moloch DAO 的慷慨资助，该机构为 FRP 10、FRP 18、FRP 19、FRP 20 和 FRP 22 提供了资助（并且我们还有剩余资金待分配）。

每个 FRP 项目预计需约 6 周的全职工作，对于提交者而言，一旦提案被接受，他们就被称为 Flashbots Fellow。工作也可以在更长的周期内部分时间完成。每个接受的提案都有一个 Flashbots mate 监督项目，通常是来自 Flashbots 研究团队的某个人。这个 mate 负责编查与提交者的联系，并对项目进行审查和指导。有时内部合作者更深入参与项目并共同撰写项目输出，例如论文和博客文章。其他时候，Fellow 却能相对独立地工作，只进行偶尔的支持。

我们接受 FRP 的原因有几点：

• 兴趣：社区成员提交了一项技术上可行、引起我们团队兴趣的提案，并且有人可以作为内部合作者。
• 现有合作：Flashbots 研究团队的某个成员已邀请潜在合作者提交一项提案，已有意愿为该项目贡献。
• 招聘：提交者正在考虑全职加入 Flashbots，并与其潜在工作相关的 FRP 进行扩大合作可以帮助我们共同决定这是否是最佳选择。

我们拒绝 FRP 的原因也有几点：

• 优先级：研究方向不符合我们当前的优先级。
• 团队兴趣和时间：由于缺乏工作量或兴趣对齐，没有 Flashbots Mate 志愿服务担任项目的内部联系人。
• 技术适配：提案未表明提交者能够独立工作并生成高质量的研究。这可能是由于需要的支持我们无法满足，或者提案技术上不够严谨，或者我们无法提供的背景要求（如机密数据）。

在 FRP 项目的三年里，我们接受了 25 个 Flashbots Fellows 提出的提案（以及早期 Flashbots 研究中由 mates 提出的 7 个内部提案，我们用它们来塑造内部研究方向）。在 25 个被接受的外部提案中，15 个已完成，7 个目前正在进行中。我们为通过 FRP 项目支持 MEV 研究社区而感到自豪，并期待继续支持！随着时间的推移，我们计划扩大 FRP 项目，目标包括资助博士研究生和支持那些超出 6 周工作范围的项目。反思 FRP 的几年，该项目帮助 Flashbots 小团队与许多我们欣赏的研究人员互动，并支持我们认为值得进行的工作——这个项目对于 Flashbots Research 来说无疑是成功的！

在 Flashbots 初创时期决定增设社区资助项目的遗产，促成了一个更具智识多样性的 MEV 研究生态。这一优势在我们目前的七位活跃 Flashbots Fellows 中继续发酵，这是我们迄今为止同时拥有的最多人数。感谢所有现任和前任的 Flashbots Fellows！

你可以在 Flashbots 论坛 跟踪 FRP 进展， 并通过 Github 提交提案。

感谢 Alejo Salles、Quintus Kilbourn、Andrew Miller、Robert Annessi 和 Fred Hjalmarsson 对本文的有益评论。

• 原文链接： writings.flashbots.net/f...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～