PRO｜COMIS 增强以太坊的审查抗性、意图市场的分析
以及 Scroll 团队发表关于并行零知识虚拟机论文、Optimistic Rollups 中的动态挑战窗口方案等
欢迎阅读第四十四期 ChainFeeds PRO Newsletter。本次内容将包含委员会强制包含集（COMIS）增强以太坊的审查抗性、 IMO 机制解决开源 AI 模型面临的资金和激励问题，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
The more, the less censored: Introducing committee-enforced inclusion sets (COMIS) on Ethereum
以太坊研究员 soispoke 介绍了委员会强制包含集（COMIS），COMIS 的目的是增强以太坊网络的审查抗性。通过将包含列表构建的责任分配给由多个参与者组成的委员会，而不是单个提议者，从而减轻网络依赖于少数几个实体的风险。
COMIS 的设计包括：
每个时隙，随机选择一个由 256 名成员组成的委员会来构建全局包含集，其中一名成员被指定为委员会聚合器。
其余委员会成员负责根据其对内存池的本地视图构建交易的本地集，并通过专用的包含集子网向委员会成员共享这些交易。
如果采用包含阈值（IT）为 4/5，则委员会聚合器的职责在于构建一个包含至少 4/5 本地集的单一、去重的包含集。这个设计假定了一定程度的验证器诚实和多样性。
An Analysis of Intent-Based Markets
在意图市场（intent markets）中，被称为「solver」的代理相互竞争满足用户的订单。solver 进入市场的决策取决于他们面临的成本，以及他们能够获得的价格和流动性。如果 solver 面临高的进入成本或者市场拥挤，用户可能会得到更差的价格和执行质量。而且这种情况下即使有更多的解决者参与，也可能会导致垄断或寡头市场形成，从而对用户利益产生负面影响。
Gauntlet 成员 Tarun Chitra 提出了一种优化方法，其框架类似于荷兰式拍卖（Dutch auction），旨在平衡用户和解决者之间的激励。在这种框架下，用户可以根据自己的需求和偏好提出订单，而 solver 则可以根据订单的具体要求来参与拍卖。这种框架可以通过设定合适的规则和参数来最大化用户利益，并且具有灵活性，可以应用于不同类型的意图市场，包括交易型和更复杂的意图市场。
比特币协议进展
Bitcoin Optech Newsletter #292
更新 BIP21 bitcoin
：Josie Baker 在 Delving Bitcoin 上发布了有关更新 BIP21 URI 的讨论。她指出，目前的使用方式与规范要求存在显著差异。规范要求在冒号后立即添加传统的 P2PKH 比特币地址，例如 bitcoin:1BoB...，而后可使用 HTTP 查询编码传递其他参数，包括非传统地址格式的地址。然而，实际使用中常常将非 P2PKH 地址作为主体，有时甚至将主体留空以接收替代支付协议的软件。用于多个并发 MuSig2 签署会话的 PSBT：Salvatore Ingala 在 Delving Bitcoin 上发布了有关在多个并发 MuSig2 签名会话中使用 PSBT 的帖子。他提出了一种减少执行多个 MuSig2 签名会话所需的状态量的方法。提议为整个 PSBT 生成单个状态对象，然后以确定性的方式从中派生每个输入的状态，使结果仍然无法与随机区分。这样，签名者需要存储的状态量就是常数，无论交易有多少个输入。
讨论增加 BIP 编辑的问题：Ava Chow 在 Bitcoin-Dev 邮件列表上提议增加 BIP 编辑人员来帮助当前的编辑人员 Luke Dashjr。Dashjr 表示自己积压工作，请求帮助。Chow 建议两位知名的专家贡献者成为编辑人员，这个建议似乎得到了支持。此外，讨论还涉及额外的编辑人员是否应该有分配 BIP 编号的能力。
比特币核心 GitHub 项目的 GitLab 备份：Fabian Jahr 在 Delving Bitcoin 上发布了有关为比特币核心 GitHub 项目备份的帖子。为了在项目突然离开 GitHub 的情况下，可以在短时间内在自托管的 GitLab 实例上备份所有现有的问题和拉取请求，从而使工作可以在只有短暂中断的情况下继续进行。Jahr 提供了 GitLab 上项目的预览，并计划继续进行备份，以便在必要时可以迅速切换到 GitLab。
闪电网络：技术与用户体验（五）：流动性获取
本系列文章旨在填补关于闪电网络的文献资料的一些空白。本文介绍闪电网络中节点获得入账流动性的方案。
双向注资：双向注资是在创建闪电网络通道时，双方都向通道注入资金的方案。这使得通道在初始状态下更加平衡，避免了单向注资导致的问题。两个节点在通道中都拥有支付能力和收款能力，使得节点获得入账流动性更为方便。
潜水艇互换：潜水艇互换是一种向外支付的方案，通过将闪电网络中的资金通过HTLC（Hashed Timelock Contract）置换成链上资金，从而获取入账流动性。
通道租赁：通道租赁是一种请求他人开设不平衡通道的方案，通过支付费用，请求他人用自己的资金与自己开设通道，从而获取收款额度。
Lightning Pool：Lightning Pool 是一种通道租赁拍卖市场，用户可以通过在拍卖行上叫价，以区块为时间间隔清算市场，并在同一区块中成交的订单中收取租赁费用。
流动性广告：流动性广告是一种技术，通过让流动性的供方在闪电节点的 gossip 消息中广告自己的要价以及通道的持续时间，从而促进流动性的供需匹配。
零确认通道：零确认通道是一种引入有限信任的方案，用户将资金发送给服务商，服务商负责对用户开启通道，并在通道内将扣除服务费之后的剩余资金转移给用户，从而使用户能够立即开始使用闪电支付。
JIT 通道和闪电网络服务商（LSP）：JIT 通道是一种按需开设的通道，仅在用户要接收支付且现有收款额度不足时由服务商向用户开设新的通道。用户在新的通道中领取支付，并支付给服务商服务费。
治理
This Week in Governance - March 7: Votes, Visions, & Velocity
Sushi 国库资金和业务的透明度：提案要求透明化资金及运营，以解决社区对运营团队缺乏透明度的担忧，特别是关于 Sushi 2.0 路线图的问题。提案要求立即暂停补偿委员会的职责，全面披露薪酬和奖金方案，暂停奖金支付和出售资产以资助未经批准的支付，以及明确运营团队成立的法律实体。
Safe 代币的实用性：提案旨在增强 SAFE 代币的实用性，讨论了 SAFE 代币的战略目标，强调了一个充满活力的生态系统、去中心化和代币化价值，同时概述了开发潜力领域，如账户、网络、用户名和支付抽象。此外，提案引入了 Safe Activity 计划，以激励用户积极参与 Safe 生态系统，并为用户提供福利。
Nouns 支持新一代链上艺术：提案旨在支持下一代链上艺术家，通过加强和重新品牌化链上艺术部署器 Efficax，专注于 CC0 许可和智能合约创新。提议开发一个新版本的 Efficax，包括 HTML 和 JS 在 SVG 支持、Nouns 主题前端和重新设计的智能合约，以 CC0 认证为目标，旨在使链上 CC0 艺术可组合化，并显著降低艺术家的成本。该项目请求 10 ETH的资金，分配到几个开发阶段，以实现这些目标。
Uniswap 考虑 DAO 对费用的控制权：在成功进行「激活 Uniswap 协议治理」的温度检查之后，Michigan Blockchain、404 DAO 和 GFX Labs 寻求修改 Uniswap V3 Factory 所有者安排，以授予 DAO 未来修改费用机制的权力。这一变化旨在通过避免单一、不可变的费用结构的限制，促进 DAO 内的创新和适应性。
ApeCoin DAO 投票领域的公平竞争：ApeCoin 论坛中的一篇帖子概述了 DAO 内的一个关注点：一些社区成员认为自己被低估，认为他们的贡献和投票被更大的实体所掩盖，导致他们在决策过程中缺乏影响力。提出的解决方案涉及 Ape 基金会将 630 万 APE 委托给一个社区钱包，以重新平衡投票权，并确保更公平地代表社区声音，而不会惩罚或削弱大型利益相关者。
以太坊
研究和进展
IMO: Initial Model Offering
ORA 成员 msfew / Suning 介绍了一个名为 IMO（Initial Model Offering）的新机制，旨在解决开源 AI 模型面临的资金和激励问题。IMO 通过引入一种 ERC-20 代币，即 ERC-7641 内在收益分享代币，来捕捉 AI 模型的长期价值，并允许购买代币的任何人成为该 AI 模型的所有者。代币持有人将分享 IMO AI 模型的收入。
IMO 机制的两个核心组成部分：
链上 AI 模型与可验证性：两种主流方法：zkML（通过生成模型的加密证明）和 opML（通过使用加密经济学确保模型正确性）。作者选择采用 opML，并将其作为 Onchain AI Oracle（OAO）的核心，以确保 AI 模型的正确性和可验证性。
通过 ERC-7641 内在收益分享代币实现收入分享：持有 IMO 代币的人将分享模型使用的收入以及 AI 生成内容的收入。模型使用收入将通过 ERC-7641 代币分配，而 AI 生成内容的收入将通过其他机制分配。
Considering Client Diversity through the lens of Network Performance
Chorus One 研究员 Umberto Natale 讨论以太坊生态系统中客户端多样性的重要性以及两种主要客户端（CL）——Lighthouse 和 Teku 的性能比较：
验证者效果：通过对 Chorus One 验证者的效果进行分析，发现使用 Teku 客户端的验证者表现优于使用 Lighthouse 客户端的验证者。这表明 Teku 在验证者效果方面具有优势。
证明正确性：Teku 客户端和 Lighthouse 客户端在证明正确性方面存在显著差异。Teku 客户端的验证者在平均正确性方面表现更好，这可能意味着 Teku 客户端在执行这一关键任务时更为可靠。
包含延迟：尽管在包含延迟方面两种客户端的差异不那么明显，但 Teku 客户端仍然表现得更好。文章指出，Teku 验证者在平均包含延迟方面表现更佳。
Blockchain Sharded Storage: Web2 Costs and Web3 Security with Shamir Secret Sharing
ZeroPool 开发者 Igor Gulamov 介绍了一种用于区块链的横向可扩展的容错存储解决方案。该方案能够处理大量数据（超过 PB 级别），并同时具备 Web2 级别的存储效率和 Web3 级别的安全性。通过该方案，Rollups 不再需要将其区块存储在链上，有效降低了数据存储成本。
Why wait a week? Fast Finality Optimistic Rollups
Mikerah 提出了一种动态挑战窗口方案，旨在解决 Optimistic Rollups 较长的窗口期（通常为 7 天）问题。该方案通过定期进行检查，并根据检查结果动态调整挑战窗口的长度，以应对潜在的审查攻击和网络中断。该方案要求验证者定期进行检查，并根据检查结果动态调整挑战窗口的长度。验证者可以提交三种类型的检查：真实（True）、虚假（False）、无回报（No-report）。在方案的正常情况下，所有验证者都会提交真实的检查，从而保证系统能够在较短的时间内最终化。但如果有验证者提交虚假的检查，或者有验证者无法提交检查，则系统会自动延长挑战窗口，以便进行进一步的审查和确认。
Contract Deployment Approaches in Layer-2 Solutions
开发者 irnb 总结了不同 Rollup 技术之间合约部署方法的差异，主要涉及两个方面：事务处理和智能合约代码发布。
事务处理：
Transaction Compression：某些 Rollup 技术采用事务压缩的方式将 Layer 2 的更改发布到数据可用性（DA）层。这意味着他们将多个Layer 2事务的信息捕获并压缩成更少的数据，然后将这些压缩的数据提交到 Layer 1。当需要恢复 Layer 2 的状态时，可以使用相同的数据来还原 Layer 2 的状态。
State Difference Publishing：其他 Rollup 技术使用状态差异发布的方法。这意味着他们将 Layer 2 状态的变化直接发布到 Layer 1，而不是压缩成单个事务。在 Layer 1 上记录的状态变化允许在 Layer 2 和 Layer 1 之间更直接地进行状态同步。
智能合约代码发布：
Traditional Deployment：大多数 EVM 兼容的 Layer 2 解决方案采用传统的合约部署方式。即他们在一个单独的事务中将合约的初始化字节码发送到零地址，这个方法在以太坊主链上广泛使用。
Messaging System：StarkNet 和 zkSync Era 则采用了不同的方法。它们首先使用消息传递系统在 Layer 1 上发布智能合约的字节码。一旦字节码被确认和持久化，就可以使用另一个事务在 Layer 2 上创建合约实例，并引用已发布的字节码。这样的方法允许一次发布的字节码被多个合约实例引用，从而提高了效率。
MEV 相关
The MEV Letter #30
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
论文《On the Redistribution of Maximal Extractable Value: A Dynamic Mechanism》提出了一种通过最大可提取价值平衡用户和提议者福利的动态机制。
论文《The Cost of Permissionless Liquidity Provision in Automated Market Makers》提出了一个被动 LP 同时提供流动性的博弈论模型，表明 LP 之间的竞争会导致 LP 总福利的损失，这种损失与被动 LP 的数量呈线性增长。
文章《The more, the less censored: Introducing committee-enforced inclusion sets (COMIS) on Ethereum》介绍了一种包含列表设计，它将包含责任从单个提议者转移到了委员会。
文章《Integrating SUAVE with Astria Rollups》提出了一种将 SUAVE 捆绑构建集成到 Astria 共享排序器中的方法，以减少基于 Celestia 的 Rollups 的 MEV。
ETH Denver 相关视频：
📑论文
Characterizing Ethereum Upgradable Smart Contracts and Their Security Implications（描述以太坊可升级智能合约及其安全影响）
作者来自：University of Delaware
文章探讨了可升级智能合约（USCs）的广泛采用，以实现修改已部署的智能合约。作者通过大规模的测量研究来表征 USCs 及其安全影响。论文总结了六种常用的 USC 模式，并开发了一种工具，USCDetector，用于识别 USCs 而无需源代码。特别地，USCDetector 收集各种信息，如字节码和交易信息，以构建 USCs 的升级链，并揭示可能存在漏洞的 USCs。
Blockchain Metrics and Indicators in Cryptocurrency Trading（加密货币交易中的区块链指标）
作者来自：Universidad Miguel Hernández
本文目标是构建一些新的指标，这些指标对于在加密货币市场中进行操作可能是有用的。这些指标基于从区块链网络获得的公共数据，具体来说是从组成比特币挖矿的节点获得的。通过算法交易和统计模型以及机器学习的数值模拟，得到的结果证明了诸如哈希率、挖矿难度或交易成本等变量在交易比特币资产或预测价格走势时的重要性。根据研究结果，这些区块链指标允许在高度波动的加密货币市场中获得具有统计优势的信息。
Evault for legal records（法律记录的评估）
作者来自：Kumaraguru College of Technology
作者介绍了针对法律记录管理系统中的挑战提出的创新解决方案，即基于区块链的 eVault 平台。该解决方案的目标是创建一个安全、透明且可访问的生态系统，满足律师、法官、客户和登记员等所有利益相关者的需求。该解决方案建立在像以太坊这样强大的区块链平台上，利用智能合约的功能有效地管理访问、权限和交易。确保了系统内每一次交互都具有最高级别的安全性和透明度。
Parallel Zero-knowledge Virtual Machine（并行零知识虚拟机）
作者来自：Missouri University of Science and Technology、Scroll Foundation
作者提出了一种新的范例来构建 zkVM，通过数据并行电路实现。在操作码和基本块级别进行了并行化。这样的设计能够消除几乎所有操作码的电路开销，包括控制流和数据流。作者还介绍了一种针对他们 zkVM 设计中的数据并行性定制的不对称 GKR 证明器，并附带各种优化的约束工具。使用 GKR 证明器还可以显著减少需要提交的见证数量：GKR 只需提交电路的输入和输出，而在先前的 Plonkish 解决方案中，证明者需要提交所有见证。