PRO｜Timing Games 中故意/非故意延迟的影响、ERC-7208、Solana 的 MEV 基础设施 Jito Labs
以及使用 Liquid 上的智能合约部署金融产品、同态加密下的隐私集合交集协议等
欢迎阅读第三十五期 ChainFeeds PRO Newsletter。本次内容将包含衡量在时间博弈（Timing Games）中故意延迟和非故意延迟对主网网络的影响、ERC-7208 提供一个通用的链上数据管理接口、Solana 的 MEV 基础设施构建商 Jito Labs，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
Empirical analysis of the impact of block delays on the consensus layer
DeFi 协议 Kiln 开发者 Sébastien Rannou 衡量在时间博弈（Timing Games）中故意延迟和非故意延迟区块提议对主网网络的影响。
采用了两种方法：
在验证者级别，通过在 8 小时的时间段内故意延迟区块提案，测量不同延迟时间的影响。
在网络级别，通过观察被提议区块的中继的出价时间戳（称为非故意延迟），假设在分析时参与时间游戏的参与者数量很少。
主要结论：
故意延迟区块对下一个区块的证明奖励影响相对较小，尤其在控制了其他因素（如传播时间）的情况下。
非故意延迟（由网络问题引起的）对下一个区块的影响可能更大，因为它们通常是由网络故障或参与者遇到的问题引起的。
采用对出价时间/区块到达时间的限制可能会对一些诚实的验证者造成伤害，因为它们可能会不经意地延迟区块并错过提案。
建议在中继级别上对出价到达时间进行时间限制，以保持系统对所有参与者的公平。
ERC-7208: On-chain Data Container
galimba 介绍了一个名为 ERC-7208 的一组接口，被称为 On-Chain Data Container（ODC），它是一个可修改、可扩展、可与其他资产集成的链上数据容器，同时具有属性、限制和钩子等特性。ERC-7208 的目标是提供一个通用的链上数据管理接口，无论具体使用案例中实施的 ERC 如何，都能实现互操作性。
ODC 的组成部分：
Properties（属性）：ODC 功能的核心，用于存储各种类型的数据，如键值对、集合和映射。
Restrictions（限制）：规定了 Properties 如何被修改，包括转移和锁定限制。
Metadata（元数据）：从 Properties 中生成，使得链上元数据成为可执行的智能合约。
Property Managers （属性管理器）：用于管理 ODC 中的数据，承担着维护数据结构和完整性的责任，通过实施预定义的规则和协议来管理 Properties。
Jito Thesis
Jito Labs 正在 Solana 上构建高性能的 MEV 基础设施。研究员 Jermaine W 解释了Jito Labs 的商业模型，重点讲述了流动性质押协议和 MEV 市场这两个部分。
流动性质押协议 （代币 JitoSOL ）：
质押池连接质押者和验证器： Jito 的流动性质押协议是一个质押池，连接着希望进行质押的个人（质押者）和希望被委托更多 SOL 质押的验证器。相较于其他流动性质押协议，Jito 更注重最大化 MEV 奖励。
收费模式： Jito 从流动性质押池中获取收入，其中包括从质押奖励和 MEV 收入中抽取的 4％。这为 Jito 提供了可持续的商业模型。
竞争策略： 为吸引更多质押者，Jito 需要提供有竞争力的回报率。Jito 通过扩展 JitoSOL 在 Solana DeFi 生态系统中的实用性，尤其是在借贷协议中的应用，来增加其吸引力。
StakeNet 的未来发展： 为了确保质押池的长期自治性，Jito 引入了 StakeNet。这是一个去中心化、透明的协议，通过智能质押池的网络，确保池的合理委托和运营。
MEV 市场：
验证器和搜索者的互动： MEV 市场允许运行 Jito-Solana 客户端的验证器连接到 Jito 的区块引擎，从而优化它们在 Solana 区块链上的性能。搜索者可以利用 Jito 的区块引擎、捆绑数据、ShredStream 和 API 来改善其交易策略并最大化利润。
收费模式： MEV 市场的收入模型相对简单，Jito 的区块引擎从搜索者发送给验证器的小费中抽取 5％。这为 Jito 提供了从市场活动中获利的机会。
克服冷启动问题： 文章提到，MEV 市场面临「鸡生蛋还是蛋生鸡」的冷启动问题，即如果没有足够的验证器使用 Jito-Solana 客户端，搜索者不会参与，而如果没有足够的搜索者，验证器也不会使用Jito-Solana客户端。Jito 成功解决了这个问题。
比特币协议进展
Bitcoin Optech Newsletter #282: 2023 Year-in-Review Special
本期 Newsletter 特刊总结了 2023 年全年比特币的发展。
1月：Bitcoin Inquisition、Swap-in-potentiam
2月：Ordinals and inscriptions、LN quality of service
3月：Hierarchical channels
4月：Watchtower accountability proofs、RGB and Taproot Assets
5月：LSP specifications
6月：Silent payments
7月：Validating Lightning Signer、LN developer meeting
8月：Onion messages、Simple taproot channels
9月：Compressed Bitcoin transactions
10月：Payment switching and splitting
11月：Offers、Liquidity advertisements
12月：Cluster mempool
使用 Liquid 上的智能合约部署金融产品
在 2021 年 11 月，比特币侧链 Liquid 进行了一项升级，引入了 31 个新的操作码，旨在简化和提升对限制条款（covenants）的支持。这些操作码使得 Liquid 能够部署更高级的智能合约，为交易员提供金融产品，满足传统金融世界的信任需求，并帮助减少对信任的依赖。Blockstream 作者 Allen Piscitello 介绍了两个例子：非托管的、允许部分成交的限价订单以及完全担保的期权合约。这些产品利用了 Liquid 的新操作码，实现了更灵活、安全的交易方式。
治理重点
This Week in Governance - December 21: Accountability, Endowments, and Points
Metagov 宣布推出创新实验室：Metagov 推出了 Grant Innovation Lab 项目，旨在改善在 Web3 领域的赠款发放并最大化影响。项目目标是进行研究、制定技术标准，并建立一个社区，以推动赠款项目。重点领域包括研究赠款工具选项、受赠方评估和赠款最佳实践；技术开发，如实施元数据标准和创建可互操作的赠款工具；以及为赠款项目运营商和受赠方建立社区。
Decentraland：去中心化自治组织财务多元化：该提案建议战略性增加 DAO 财务中以 Decentraland 为主的以太币持有量。提案建议使用 DAO 赠款计划中未使用的资金的一部分购买以太币。未使用资金分配给以太币购买的百分比将由社区决定，选项包括 25％、50％ 或 75％。投票截止日期为 12 月 24 日。
以及关于 Nouns、Stargate Finance 提案的讨论。
以太坊
其他研究和进展
Private Set Intersection (PSI) protocol
隐私集合交集协议（Private Set Intersection Protocol）是一种允许两个不同的参与方在不相互透露集合信息的情况下找到它们集合的交集的协议。该协议使用同态加密技术，以确保在计算过程中保持数据的私密性。Banana HQ 创始人 Nitanshu 讲解了其基本原理以及潜在用例。
基本原理：两个参与方分别有自己的集合，参与方使用加密技术（通常是同态加密或者部分同态加密 FHE）对各自的集合进行加密，生成密文表示。通过协议的运算步骤（通常涉及到构建多项式和对多项式进行同态计算）以找到集合的交集。这个过程的关键是在不暴露原始数据的情况下，通过密文级别的操作得到所需的结果。为了确保隐私，协议可能还涉及使用伪随机函数等其他密码学技术，以避免在计算过程中泄露关于原始集合的任何额外信息。这种协议有多个潜在的用途，例如在社交网络中查找共同的朋友、在一组暴露的秘钥中检查秘钥的存在，甚至可能用于构建存储证明等。
Distributing Ethereum State over Portal Network
为了在 Portal Network（为以太坊轻节点提供数据的网络） 上分布以太坊状态，需要定义一个节点 ID 和树节点之间的距离函数。最直观的方法是使用 XOR 作为距离函数，但这样会导致在访问状态时需要手动遍历 Merkle 树，效率较低。以太坊协议开发者 Milos Stankovic 提出一个解决方案使用节点 ID 和树节点的路径以及节点哈希来计算距离。调整距离基于路径和节点 ID 的相似性，使得节点 ID 负责存储与其路径相近的树节点，创建状态树的垂直切片。通过这种方法，节点 ID 将负责存储从某一深度开始的整个路径上的树节点，并在更高层次上存储一定概率的树节点，从而提高了在树遍历过程中的网络查找效率。
Release Blockhash Opcode Restrictions with zk-SNARKs for Optimistic Bridges
以太坊存在「256 块问题」，即以太坊的 blockhash 操作码能引用的块数最多为 256 块，而无法引用较早的块。这导致在 optimistic bridges 中，通过 blockhash 进行交易验证的时间仅约为 51 分钟。由于 optimistic bridges 的工作机制只对可能存在欺诈的交易进行验证，争议的解决需要提供有争议交易块的哈希作为证据。由于操作码限制，仅有短暂的时间窗口可供争议的提出，这可能对系统安全性和用户体验构成潜在威胁，为了解决这个限制，tomo_tagami 建议使用zk-SNARKs，通过创建一个密码学电路来验证块哈希链，这个电路的设计目的是从最新的操作码可访问的块哈希开始，向后追溯到一个较旧的目标哈希，从而增加争议期限。
MEV 相关
The MEV Letter #20
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
论文《Cooperative AI via Decentralized Commitment Devices》利用 MEV 文献中的实例探讨了协作 AI 的局限性和潜在安全问题。
论文《Ratel: MPC-extensions for Smart Contracts》介绍了 Ratel，这是一个用于连接 MPC 和 Solidity 的框架，可实现保护隐私的 dapps。
文章《The cost of artificial latency in the PBS context》考察了提议者如何在 MEV-Boost 拍卖中通过时间博弈获得更高回报。
文章《When To Sell Your Blocks》评估了时隙拍卖和 MEV-Boost 等及时拍卖之间的差异，旨在为其他链考虑这一决策提供一个起点。
文章《M.O.S.S. - A SUAVE Block Building Proposal》介绍了一种用于 SUAVE 区块构建的合约模式，旨在开放创新，让订单流的发起者和处理者参与其中，同时不牺牲执行保证。
视频《MEV Boost Community Call #7》讨论了 Deneb、PBS 基金会和时间博弈的影响。
📑论文
Trade-off of Security, Latency, and Throughput of the Nakamoto Consensus（中本共识的安全性、延迟和吞吐量的权衡）
作者来自：Beijing University of Posts and Telecommunications
作者探讨了 Nakamoto 共识中安全性、延迟和吞吐量之间的基本权衡关系。论文推导出了作为诚实和对抗性挖矿速率、区块传播延迟上限以及交易确认延迟的函数的违反交易安全性概率的新上下界，包括一个适用于所有延迟和挖矿速率直至最终容错的首个有限延迟闭合形式界限。值得注意的是，对于大多数与比特币和工作量证明以太坊相关的参数，上下界之间的差距明显窄于先前文献中建立的最佳差距。
PARScoin: A Privacy-preserving, Auditable, and Regulation-friendly Stablecoin（PARScoin：一种保护隐私、可审计和监管友好的稳定币）
作者来自：University of Edinburgh
作者提出了一种新的设计，PARScoin，一种隐私保护、可审计和符合监管的稳定币，可以缓解隐私、潜在高费用以及缺乏可扩展性的问题，同时在结算速度和扩展到大量用户方面实现高性能。PARScoin 在通用构成（UC）框架中进行分析，为其在更广泛的区块链生态系统中的集成提供了安全和模块化的方法。
A Transaction-Level Model for Blockchain Privacy（区块链隐私的交易级模型）
作者来自：University of Bern
作者探讨了区块链隐私概念，并尝试通过使用Transaction Directed Acyclic Graph（TDAG）并将其扩展为捕捉区块链隐私概念的 PDAG（Privacy Directed Acyclic Graph）来简化对两个主要隐私保护区块链——Monero 和 Zcash 的比较。在研究中，作者提供了一致的对不可追踪性和不可链接性的定义，并明确了区块链系统需要满足的条件，以实现这两个隐私概念。
Ratel: MPC-extensions for Smart Contracts（Ratel：智能合约的 MPC 扩展）
作者来自：University of Illinois at Urbana-Champaign、UC Berkeley、Shanghai Jiao Tong University
作者提到零知识证明等传统方法在处理一种未被充分研究的 MEV 类型（即 Residual Bids Extractable Value）时存在问题。RBEV指的是未被充分研究的一种MEV类型，其中未完成的出价可能无意中泄露交易者未满足的需求和潜在的交易策略，零知识证明无法提供执行后的隐私，而 RBEV 需要在执行后保护交易者的隐私。为解决这一问题，他们引入了 Ratel 框架，该框架通过连接多方计算（MPC）原型和智能合约语言，实现了 MPC 的隐私与 Solidity 的链上可编程性的协调。研究通过两个去中心化金融应用程序展示了 Ratel 的有效性，同时强调了其轻量级崩溃重置机制和防范滥用的成本效用分析。