PRO｜从资源模型角度看待意图、更具抗审查性和公平性的区块生产机制
MCP 和预确认之间的关系、提议者时间游戏与规模经济之间的关系，以及四篇论文
欢迎阅读 ChainFeeds PRO #66。本次内容将包含 Mechan-stein 的综合机制实现更平衡和优化的区块生产和验证过程、意图在资源模型中的表现和具体实现方式，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
Mechan-stein (alt. Franken-ism)
以太坊基金会研究员 mikeneuder.eth 如何通过三种不同的机制来实现区块构建的三个设计目标：促进构建者之间的竞争、限制验证者复杂性的价值以及保持区块空间的中立性。并在此基础上提出了一种名为 Mechan-stein 的综合机制，以期结合各机制的优点，实现更平衡和优化的区块生产和验证过程。
Enshrined PBS & MEV-burn via PTC：是一种在以太坊共识层嵌入即时区块拍卖的设计。通过这一机制，提议者和构建者分离，创造了一个透明且竞争激烈的区块构建市场。拍卖在区块提议的即时进行，确保构建者在每个特定时段内争夺区块构建权，从而促进构建者之间的竞争。
Execution Auctions（执行拍卖）：旨在提前拍卖未来时段的区块构建权。与即时拍卖不同，这种拍卖在区块提议前的一段时间进行，使得竞标者无需立即提交区块内容。这种提前拍卖机制减少了即时拍卖中可能带来的复杂性以及验证者通过时间策略获益的机会，从而有效地限制了验证者复杂性的价值。
FOCIL（强制选择包含列表）：允许多个共识参与者（验证者）共同创建一个必须在某个时段内包含的交易列表。通过这种机制，可以确保这些交易不会被排除，从而增强区块空间的中立性，避免单个构建者对哪些交易可以上链拥有过多的决定权。
在综合上述三种机制的基础上，作者提出了 Mechan-stein 这一创新设计。Mechan-stein 将这些机制巧妙结合，通过双重拍卖的设计来实现各自的优势。具体来说：
Auction 1 提前拍卖：在某个时段（Slot N）内进行拍卖，出售32个时段之后（Slot N+32）的区块提议权。此举使得区块提议权能够提前被确定，减少了多时段MEV的风险，并确保未来时段的区块构建者有足够的时间准备。
Auction 2 即时拍卖：在Slot N+32内进行即时拍卖，出售区块顶部的区块构建权。这一即时拍卖允许构建者指定优先执行的交易集（称为 Top-of-Block 拍卖），确保即使是在未来时段，区块构建的竞争依然激烈且透明。
FOCIL 的应用：在Slot N+32时段内，多个共识参与者（验证者）联合创建一个必须包含在该时段区块中的交易列表。这一列表由构建者在区块中强制包含，确保了重要交易不会被排除，从而增强区块构建的中立性。
Intents from the resource model perspective
Anoma 研究员 Yulia Khalniyazova 讲解意图在资源模型中的表现和具体实现方式。意图是用户希望通过状态转换实现的目标或需求。在资源模型中，意图由两个部分组成：约束和偏好。约束是必须满足的条件，而偏好是用户希望在满足这些条件时优先考虑的选项。
在资源模型中，资源是状态的基本单位，每个资源都有特定的逻辑条件（资源逻辑）来决定它的创建和消耗规则。资源的创建和消耗影响交易是否平衡，而交易的平衡性决定了意图是否能够成功实现。意图在资源模型中的表现通过创建或描述资源来实现的，求解器负责将这些初始的不平衡交易组合成平衡的交易，从而满足用户的意图。
两种实现意图的方法：
直接创建资源：如果用户清楚自己需要的具体资源（如某种资产），可以创建一个不平衡的交易来表达这个需求。这个交易是不完整的，因为它只描述了用户想要的结果，没有说明如何达到这个结果。求解器的任务就是找到一种方式，使这个交易与其他交易一起平衡，从而完成用户的意图。
使用描述条件的谓词：当用户只知道自己想要的资源的一些属性，而不确定具体细节时，可以通过逻辑条件（谓词）来表达这些属性。系统会根据这些逻辑条件去寻找或创建合适的资源，最终满足用户的意图。
比特币协议进展
Bitcoin Optech Newsletter #317
简单（但不完美）的防数据泄露协议：Moonsettler 在 Delving Bitcoin 上描述了一种防数据泄露协议。该协议使用 sign-to-contract 协议允许软件钱包对硬件签名设备选择的随机数贡献熵，并在之后验证这些熵的使用。与之前 BitBox02 和 Jade 设备中实施的双轮回协议相比，该协议只需要一次通信往返，并且不影响用户工作流程。然而，这种协议存在一个缺点，即可能存在一个随着每个额外位数呈指数增加的旁道攻击风险，但它仍比完全不使用防泄露措施更好。
Core Lightning 24.08rc2：是 Core Lightning 下一个主要版本的候选版本。
使用 ESP32 开发板自制 Jade 签名器
文章讲解了如何在 Windows 电脑上将固件烧录到 ESP32 开发板上，从而制作出名为 Jade-DIY 的硬件签名器。
1. 硬件选择与准备
选购支持的硬件，如 LILYGO T-Display。
准备好 Type-C USB 连接线，确保支持数据传输。
2. 硬件连接
将硬件连接到 Windows 电脑，通过设备管理器确认连接状态。
如果未识别，安装必要的驱动程序。
3. 安装开发工具
从 ESP-IDF 官网下载并安装 ESP-IDF v5.2.2，确保安装 Powershell 和 ESP32 支持。
4. 下载 Jade 源代码
安装 Git 工具，通过命令
git clone下载 Jade 的源代码。5. 编译和烧录固件
实验性烧录：熟悉刷机流程，编译源代码并烧录固件。
安全烧录：生成私钥，启用 Secure Boot 并烧录签名固件，确保设备安全。
6. 使用 Jade-DIY
初始化设备，设置 PIN 码，与支持的软件钱包配对使用。
7. 更新固件
连接设备，使用私钥签名后更新固件。
以太坊
研究和进展
Multiple Concurrent Proposers IS Preconfirmation
Stanley He 探讨了以太坊中「多个并发提议者」（Multiple Concurrent Proposers, MCP）与「预确认」（Preconfirmation）之间的关系。尽管表面上看，MCP 似乎会破坏预确认机制，因为 MCP 没有单一的提议者来提供交易包含和执行的确定性保证，但实际上，MCP 与预确认有许多相似之处，特别是在 MEV 动态演变的背景下，这些相似性会随着时间的推移变得更加显著。
MCP 的核心在于多个提议者同时提议同一个时隙的区块，并且最终形成的区块是所有提议者提议的交易的并集。这个过程本质上是一个集体构建区块的过程，没有单一的领导者决定最终区块的内容。预确认（尤其是通过 Taiyi 实现的预确认）也涉及集体区块构建。在 Taiyi 中，预确认买家购买未来的区块空间，并最终在特定时隙提交交易数据。这些预确认买家与 MCP 的提议者角色相似，他们都参与了最终区块的构建。
MCP 中，由于没有单一领导者，提议者无法独立控制区块的排序，这使得 MEV 的提取更加复杂化，需要在多个提议者之间协调和竞争。预确认中，预确认买家提前锁定了区块空间，并且可以控制交易的包含，这在一定程度上限制了提议者的 MEV 操作空间。随着 MEV 机制的演变，MCP 和预确认的交易处理模式会逐渐趋同，因为两者都在削弱提议者的垄断，都存在将交易包含权从单一提议者转移到更广泛的参与者手中的趋势，并推动一种更为去中心化和抗审查的区块构建模式。
On Proposer Timing Games and Economies of Scale
以太坊基金会研究员 Toni Wahrstätter 分析了区块链网络中的提议者时间游戏（Proposer Timing Games）及其与规模经济之间的关系。数据显示，拥有 30% 市场份额的提议者可以比拥有 5% 市场份额的提议者多延迟 0.8 秒，而不会增加重组风险。
提议者可以通过延迟提案时间来为区块构建器提供更长的时间窗口，从而增加潜在的利润。然而，延迟提议也会增加区块被重组的风险，因此提议者需要在延迟时间和重组风险之间找到一个平衡点。Toni 通过数学模型，分析了提议者在区块链网络中如何利用市场份额和累积投票比例来决定最晚的安全提案时间。累积投票比例是指在特定时间点，已经投票的验证者占总验证者的比例。结论是，当提议者控制的市场份额越大，他们就能在累积投票比例较高的情况下更安全地进行提案。
虽然提案者时序游戏可以通过延迟提案时间来增加提案者的收益，但这种行为对整个网络有负面影响。如果验证者意识到他们因为投票给错误的区块而错失收益，他们可能会开始延迟自己的投票，这会导致网络的不稳定。
Decentralized and Verifiable Cloud Service on Ethereum
ORA 团队 KD.Conway 提出了一种基于以太坊的去中心化和可验证的云服务协议，这个协议能够为所有的 Web2 或 Web3 应用提供高计算强度的服务，从而使去中心化的 ChatGPT 和区块链浏览器成为现实。协议基于少数信任假设（Minority Trust Assumption），只需要网络中的一个节点是诚实的，即可保证服务的质量和正确性。该协议的设计使得云服务的正确性可以通过以太坊进行验证。当用户向服务提供者发起请求时，这些请求和响应可以通过链上的智能合约进行验证。如果发现结果不一致，用户可以触发链上的仲裁机制，要求服务提供者证明其结果的正确性。服务合约的设计类似于 gRPC，服务提供者必须在合约中注册并质押保证金。当用户发起服务请求时，多个服务提供者将执行计算并返回结果，用户随后对这些结果进行验证。
Censorship Insurance Markets for BRAID
Blockchain Capital 成员 jonahb 讨论了 BRAID 机制中的一个关键问题，即用户体验受到流动性需求的影响，并提出了潜在的解决方案。BRAID 是一种旨在通过多提议者机制提高区块链抗审查的提议，但它要求用户在进行交易时具备额外的资金，以保证支付相应的费用，这可能会降低用户的体验。因为用户的交易可以被多个提议者同时接受，但不同提议者可以有不同的策略和优先级标准，过程复杂不能通过简单地增加费用来确保交易成功。所以为了确保交易成功，需要一开始设置较高的费用。
两个解决方案：
后状态流动性证明：用户可以提交一份证明，表明他们在交易完成后将具备足够的流动性来支付相应的费用。然而，这个方案由于涉及到交易后状态的复杂性，可能不太现实。
审查保险市场（CI）：第三方可以为交易提供审查保险，用户支付保险费，而无需准备全额流动性。这种市场机制可以降低用户的流动性需求，但启动这个市场可能面临挑战。
Autonomous Competence Identification Protocol
OpenZeppelin 前安全架构师 peersky.eth 提出一份旨在优化 DAO 和研发过程中的沟通与决策的协议，通过引入一个排名系统，从而使决策过程更加高效和公正。排名系统的设计初衷是为了解决传统治理和决策过程中存在的偏见、操纵和效率低下的问题。排名系统基于参与者在讨论中的实际表现来评估他们的贡献。这种评估不仅考虑参与者的提议内容，还包括他们对其他提议的反馈、提出的建设性建议以及他们在讨论中表现出的专业能力。这样，系统能够自动识别和提升那些真正有能力和积极贡献的参与者，赋予他们更大的治理权。
通过引入排名，系统能够更好地反映参与者的实际贡献和能力，而不是依赖于他们的财务状况或其他非能力相关的因素。在这个系统中，参与者在提交提议和投票时都是匿名的，直到一个讨论回合结束。参与者在系统中进行多轮讨论，每一轮都有机会提出新的提议或对现有提议进行反馈。在每一轮结束前，所有参与者的身份都是保密的，这确保了反馈的公正性。每一轮讨论结束后，参与者的贡献会被系统自动排名，基于其在讨论中的表现。
MEV 相关
The MEV Letter #52
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
文章《Introducing: So Extra by Eden Network》介绍了 So Extra，这是一项利用 SUAVE 上的保密计算请求来拍卖以太坊区块中额外数据字段的服务。
文章《Closing the Intel TDX Page Fault Side Channel, or, The Case for TDExit-Notify》研究了 SGX 中的漏洞及其对策，以防止类似攻击在 TDX 中发生。
文章《Mechan-stein (alt. Franken-ism) 》探讨了如何结合现有的提案，如透明 MEV 市场和审查抵抗，可能会导致更全面的解决方案。
文章《On Attestations, Block Propagation, and Timing Games》通过对 Lido、Coinbase 和 Kiln 的节点运营商进行案例研究，讨论了时间游戏的演变及其对证明者的影响。
文章《On Proposer Timing Games and Economies of Scale》探索了提案者的时间游戏如何受到规模经济的影响，使较大的实体能够延迟其提案更长时间，而无需增加重新组织的风险。
文章《Trustless Interoperability between Rollups: Landscape, Constructions, and Challenges》对跨 Rollup 生态系统的信任最小化互操作性进行了调查，定义并讨论了六种互操作性解决方案的层次结构。
文章《The Road to PBS: MEV-Boost++, Optimistic Relays, and TEE-Boost》概述了一些消除 MEV-Boost 中继需求的提案，包括 TEE-Boost
《Flashwares vi: it’s Lit》邀请 Harry Bairstow 介绍 Lit Protocol 对 TEEs（SEV-SNP）和阈值加密的方案。
《MEV-Boost community call #10》邀请 MEV-Boost 社区讨论 mev-boost v1.8、TEE-Boost 和 EIP-7732。