PRO前沿｜BitVM 背后的机制、将区块分为两部分拍卖的 PEPC-Boost
闪电节点的备份形式简介、限制交易的执行时间的新字段、OP_TXHASH 的规范等
欢迎阅读第二十六期 ChainFeeds PRO Newsletter。本次内容将包含 BitVM 技术原理解析、将区块拍卖分为两部分以鼓励更多参与者的 PEPC-Boost 机制，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
BitVM：任意计算都可以在比特币上验证
BitVM 是比特币中的一个潜在扩展方案，旨在在比特币区块链上实现复杂计算和条件控制，而无需进行比特币协议层的修改。Bitcoin Magazine 作者 Shinobi 介绍了 BitVM 背后的机制，即如何在比特币中构建逻辑门以来实现任意计算。核心思想是将复杂的计算过程放在链下执行，然后使用链上挑战和响应机制来验证和结算结果。
逻辑门的基本知识：逻辑门是计算机中的基本构建块，它们接受输入数据（比特或位），执行特定的逻辑运算，并生成输出。逻辑门的基本操作包括与门、非门、或门等。
在比特币中构建逻辑门：为了在比特币中构建逻辑门，可以使用哈希锁（Hash Lock）和特定的比特币脚本操作码来模拟逻辑门的行为。比特币脚本是一种用于定义交易条件的脚本语言，可以用于创建智能合约。
实现任意计算：将多个逻辑门相互连接，以模拟复杂计算的方法。这通过创建一个脚本树（Script Tree）来实现，该树包含了多个逻辑门和哈希锁，以及与之相关的比特币交易。用户可以预先编码这些逻辑门和交易，然后在链下执行计算，最终根据计算结果进行结算。
挑战和响应：实施这一方案所需的大量数据存储成本以及该方案仅支持两个参与者。在合作结算的情况下，所有参与者必须在线。为了确保计算的正确性，引入了一种惩罚机制，如果计算的一方停止合作或提供不正确的结果，另一方可以在区块链上发起挑战，并要求验证计算的正确性。如果不响应挑战会有资金惩罚。
PEPC-Boost V0
以太坊开发者 Bharath Vedartham 介绍了一种新的中继设计称为 PEPC-Boost，旨在鼓励更多的参与者，减少中心化现象。集成搜索者-构建者（Integrated searcher-builders）更有能力获得高价值区块顶部 MEV（如 CEX-DEX 套利）机会，目前 PBS 拍卖只拍卖整个区块，这意味着有能力获取更多 MEV 的构建者可以通过高价赢得整个区块，这使得小型构建者在竞标时很难与之竞争，从而导致市场的集中化。
PEPC-Boost 通过将区块分为「顶部区块」（ToB）和「其余区块」（RoB）两部分，分别拍卖它们。搜索者可以参与竞标将 CEX-DEX 套利交易包含在 ToB 中，而构建者则可以竞标将其区块包含在 RoB 中。这种分开的拍卖方式增加了提议者区块空间的竞争，减少了集成搜索者-构建者的竞争优势。
比特币协议进展
Bitcoin Optech Newsletter #272
OP_TXHASH 的规范被提出： Steven Roose 在 Bitcoin-Dev 邮件列表中发布了新 OP_TXHASH 操作码的 BIP 草案。OP_TXHASH 用于指定要对交易的哪些部分进行序列化和哈希处理，并将哈希摘要放置在评估堆栈中，以供后续操作码使用。它的主要目的是为了在 Tapscript 中提供更灵活的构建脚本方式。
闪电节点的备份形式简介
在闪电网络中，备份是指对节点通道状态的备份，包括通道余额、配置和承诺交易信息，用于遭遇宕机或数据丢失时的恢复。备份保护策略包括静态通道备份（静态数据保存在硬盘上）、动态通道备份（实时更新通道状态）和瞭望塔备份（监控通道，反制欺诈行为）。
静态通道备份需要导出通道状态，存储在安全位置，并可以加密。复原时需要获取备份，解密并导入通道状态。它是一种简单的备份方法。
动态通道备份在每次通道状态更新时同步创建备份，提供实时保护，但需要更多存储空间，实现更复杂。
瞭望塔备份是一种监控通道欺诈的机制，只在用户要求时更新备份，提供更安全和可靠的备份选项，但需要更多信任。
闪电网络上的暂缓支付发票
Hold Invoices（暂缓支付发票）是一种特殊的发票类型，它允许接收方推迟或取消揭晓原像的步骤，从而推迟支付的结算。利用了闪电网络的能力，提供了独特的付款方式，使新的应用在闪电网络上成为可能。Hold Invoices 可以用于各种应用，例如押金收取、原子化的外卖以及交易托管。暂缓支付发票的使用需要注意一些缺点，如流动性锁定和对接收者的信任。
以太坊
治理重点
This Week in Governance - October 5
Optimism 提议建立安全理事会：Optimism 提出在其 Optimism Superchain 网络中建立一个安全理事会，旨在推动去中心化。这个安全理事会将负责升级 L1 协议合同和修改系统内关键职务的指派，以防止任何单一实体对系统升级、Rollup 状态修改或交易审查产生过多影响。该提案提出了分阶段实施安全理事会的计划，从 Phase 0 开始，逐步推进到 Phase 1，最初影响 OP Mainnet，最终扩展到其他 OP 链。
MakerDAO 下架 RocketPool 的 RETH：RETH-A 抵押类型正从 Maker Protocol 下架，因为它没有维持「与 wstETH 质押类型相比至少按市值比例分享收入」的要求。第一步计划在 10 月 11 日进行执行投票。此下架过程包括将 RETH-A DC-IAM 行设置为 0 的第一步，并在随后的执行投票中进行其他参数更改，最早不会早于 10 月 25 日。
Arbitrum 短期激励计划：这项链上提案建议为 Arbitrum 协议实施一个短期激励计划，通过两轮投票分配高达 50,000,000 ARB 代币作为激励。该计划旨在支持网络增长，尝试激励分发，生成激励效果数据，并促进创新的激励策略。提供了资格标准、激励类别和申请、审查和投票的时间表，侧重于社区参与和问责制。
其他研究和进展
Time Restricted Transaction Execution
Sushi 前 CTO joseph.eth 提议在交易签名中添加一个新字段 minStartTime，用于限制交易的执行时间。minStartTime 是一个 uint256 类型的时间戳，表示交易将在何时变得有效。如果设置了minStartTime，那么交易会在该时间之前无法被区块生产者包括在区块中。minStartTime 为 0 表示交易签署者不想设置未来的 minStartTime，可以立即包括在一个区块中。
对于交易池的包含，交易的 nonce 低于账户当前 nonce 的将被从交易池中删除，这意味着用户可以提交多个交易，但第一个被包括在区块中的交易会使交易池中的其他交易无效。交易池只包括一个 msg.minStartTime 大于 0 的交易，以防止同时有多个交易在交易池中。如果有两个 msg.minStartTime 大于 0 的交易到达，节点应选择具有最低 msg.minStartTime 的交易。
The Application of ZK-SNARKs in Solidity - Privacy Transformation, Computational Optimization, and MEV Resistance
智能合约存在一些隐私和安全挑战包括竞争对手分析，交易可追溯性，数据安全和技术障碍，Salus Security 创始人 Mirror 提出了使用零知识证明技术（ZK-SNARKs）如 Groth16、Marlin、Plonk 和 Halo2 来增加隐私保护，实现私人转账、私人交易、私人订单和私人投票等功能，并优化计算性能，解决 MEV 挑战。
How (optional, non-KYC) validator metadata can improve staking decentralization
ComfyGummy 提议允许验证人自我认证其与质押池的关联，而无需进行 KYC 验证，以改善质押权益的去中心化，并解决大型质押实体假冒独立质押者的问题。该提案的目标通过共识规则来解决中心化问题，而不是依赖社会压力。自我认证指验证人可以在注册时提供其所属的相关信息，这些信息将按结构化方式呈现，通过密码学方法（涉及提供所属实体公钥的签名以被接受为验证人）或者削减的方法防止虚假关联。为了防止大型提供商冒充独立质押者，提案提出社会规范和潜在的经济激励，以确保委托者的资金流动透明。
MEV相关
The MEV Letter #11
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
论文《Order but Not Execute in Order》介绍了一种市场设计，通过使用订单公平原子广播（order-fair atomic broadcast ，of-ABC）和频繁批量拍卖（ frequent batch auction，FBA）来减少订单操纵。
论文《Measuring the Concentration of Control in Contemporary Ethereum》介绍了一种衡量区块链去中心化的模型。
论文《EIP-4844 Economics and Rollup Strategies》通过将 Rollup 成本建模为 blob 发布成本和延迟成本之和，研究了 EIP-4844 的经济学。
文章《Should Ethereum be okay with enshrining more things in the protocol?》深入探讨了以太坊协议是否应该包含账户抽象、zkEVMs、PBS 和流动性质押等功能
文章《Unleashing the Data Insights: Analyzing the Development of ERC4337》探讨了与 ERC-4337 的采用和进展相关的前六个月链上数据。
播客《Scraping Bits：The Journey Of A Successful Solo MEV Searcher》邀请了个人 MEV 搜索者 Shunshow ，深入探讨有关 MEV 提取的技术问题和道德问题。
📑论文
The Governance of Decentralized Autonomous Organizations: A Study of Contributors' Influence, Networks, and Shifts in Voting Power（去中心化自治组织的治理： 对贡献者的影响力、网络和投票权转移的研究）
作者来自：University of Mannheim
一项对多个 DAO 的研究发现，在至少 7.54% 的 DAO 中，贡献者拥有控制治理决策所需的多数票。而在 20.41% 的 DAO 中，贡献者至少单独决定了一项提案。这种对贡献者的权力集中表明存在内部权力圈。此外，研究发现，在 14.81% 的提案中，在治理投票前不久出现了治理代币所有权转移的趋势，暗示存在策略性操作。（本文最早发表于 2023 年 9 月 25 日，在 2023 年 9 月 28 日更新了 V2 版）
Can open decentralized ledgers be economically secure?（开放式去中心化账本在经济上安全吗？）
作者来自：University of Chicago
开放式去中心化账本（如比特币）不依赖于中央权威，从而避免了反垄断和垄断的担忧。然而，这些系统的开放性引发了安全性问题，作者提出一个将经济理论和分布式系统理论相结合的框架，并为一般的无许可分散分类账定义了经济安全性。对比特币的中本聪协议的分析表明，由于在具有众多匿名参与者的环境中激励机制的限制，区块奖励无法提供经济安全性。
How to Physically Hold Your Bitcoins ?（如何实际持有你的比特币？）
作者来自：École Normale Supérieure
虚拟货币的兴起彻底改变了我们进行金融交易的方式。挑战依然存在： 我们如何弥合虚拟与实体之间的鸿沟？本文提出了一种将虚拟货币实体化的方法，并以一些似是而非的信任假设为代价，使虚拟货币可以线下实际交换。
To Broadcast or Not to Broadcast: Decision-Making Strategies for Mining Empty Blocks（广播还是不广播？挖掘空区块的决策策略）
作者来自：University of Macau
作者深入研究了矿工产生空区块的诱因，发现挖掘空区块的直接回报往往会导致矿工放弃包含交易带来的潜在收益。此外，在以太坊合并之后，空区块明显减少，这凸显了 PoS 共识机制提高了区块链领域的区块空间效率。
Deep Reinforcement Learning-based Rebalancing Policies for Profit Maximization of Relay Nodes in Payment Channel Networks（基于深度强化学习的再平衡政策，使支付渠道网络中继节点的利润最大化）
作者来自：Yale University
支付通道网络（PCN）是一种 L2 扩展性解决方案，其主要实体是支付通道，可以在链下节点对之间进行交易，从而减轻 L1 的负担。本文研究了中继节点如何通过使用潜艇交换的重新平衡方法来最大化其费用收入。作者引入了一个随机模型，以捕捉中继节点观察到的随机交易到达和定期重新平衡操作的动态，并通过设计基于深度强化学习（DRL）的重新平衡策略来近似最优解。