PRO｜跨链中继激励框架 GARP、Flashbots：极简 TEE 协处理器 Sirrah
PRO｜跨链中继激励框架 GARP、Flashbots：极简 TEE 协处理器 Sirrah
以及闪电网络基本概念、PBS 中引入包含列表等
欢迎阅读第四十期 ChainFeeds PRO Newsletter。本次内容将包含跨链中的中继激励框架、极简 TEE 协处理器 Sirrah，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
GARP: Standardizing AMB Relayer Incentives
模块化跨链协议 Catalyst 提出 General Automatic Relayer Payment（GARP）中继（跨链中起到桥接作用）激励框架，旨在标准化中继激励以解决跨链系统中存在的以下问题：
中继奖励不足： 中继在连接不同区块链的通信桥梁（Arbitrary Messaging Bridges，AMB）中发挥着关键作用，但目前的奖励机制存在不一致性、低效性和中继者无法盈利的问题。
无应答支持： 应答（acks）指的是对跨链通信的确认，对于应用逻辑和用户体验至关重要，但许多 AMB 不支持应答。
非标准化： 不同 AMB 之间存在接口、支付过程、支付格式和地址格式的差异，使得对多个 AMB 进行中继变得困难。
GARP 的关键特点：
标准化中继激励： GARP 引入了一个标准化的中继激励系统，通过一个智能合约作为应用和 AMB 之间的中介，为中继者提供一种公认的奖励机制。
智能合约中介： GARP 将智能合约作为中介，使其成为应用和 AMB 之间的「事实来源」，定义了中继者如何基于观察（并经过验证）的消息交付而获得报酬。
支持附加逻辑： 该合约可以测量应用程序使用的 Gas、可靠地将消息发送回源链，并用标准代币支付中继者。
强调应答激励： 通过引入强应答激励（Strong Ack Incentives）的概念，来鼓励及时传递应答。这通过定义一个理想的执行到应答之间的时间（targetDelta），并相应地调整激励，以确保应答在合理的时间内返回。
Sirrah: Speedrunning a TEE Coprocessor
Flashbots 研究员 Andrew Miller 介绍 Sirrah，一个极简的 TEE 协处理器（Coprocessor），该协处理器与普通区块链相邻，通过 TEE 实现智能合约环境的安全计算。Sirrah TEE Coprocessor 是一种在普通区块链旁边运行的系统，通过 TEE 实现安全计算。这个 Coprocessor 被设计用于扩展智能合约环境，使其能够在 TEE 中执行，从而保护涉及机密数据的计算过程。具体来说，Sirrah TEE Coprocessor 的功能包括在 SGX enclave 中运行 EVM，加入轻量级客户端以确保在有效的上下文中执行 EVM，并在 Solidity 中引入远程认证等。Sirrah 的目标是为智能合约提供安全计算功能，使用户能够在保密环境中执行智能合约，确保涉及机密数据的计算过程得到保护。
比特币协议进展
Bitcoin Optech Newsletter #287
Kindred RBF（replace by fee）: Gloria Zhao 提出了对比特币的 RBF 规则的修改建议，主张即使两个交易之间没有冲突，仍应允许替代内存池中的相关交易。目前的 RBF 主要关注于内存池中的交易冲突，即两笔交易尝试花费相同的 UTXO。而 Zhao 的提议将这一概念扩展到相关交易，即与已存在的交易有某种关联性的交易。他主张在内存池中，如果一个节点有两笔相关的交易，它不应仅仅选择最先到达的那笔交易，而是应该根据节点操作者的目标选择对节点最有利的那笔。关于 v3 交易的规则，他建议允许未确认的 v3 父交易在内存池中有一个子交易，以便更灵活地应用 RBF 规则。
反对 CheckTemplateVerify (CTV) 基于外部费用的观点: Peter Todd 反对 OP_CHECKTEMPLATEVERIFY 提案，认为其依赖外部费用难以覆盖各种费率。他指出，在许多 CTV 用例中，允许多个方共享单个 UTXO，很难覆盖所有可能的费率。CTV 通常与锚定输出一起使用以支付费用，但 Todd 认为这要求用户为费用拥有一个 UTXO，破坏了 UTXO 共享方案的效率。John Law 提议使用依赖于费用的时间锁使 CTV 在有截止日期的交易中更为安全，尽管这可能导致一些合同结算时间的延迟。
闪电网络：技术与用户体验（一）：用户体验的基本元素
本系列文章旨在填补关于闪电网络的文献资料的一些空白。
Annoy 介绍闪电网络的基本思想和用户体验中的关键元素。通过阐述闪电网络的基本概念，如通道、支付，以及其使用中的一些特殊性质，展示了在闪电网络中进行支付和收款的一些独特之处。
闪电网络的基本思想： 闪电网络的核心思想是通过一对一的通道实现即时的支付确认，通过将多个通道连接在一起形成网络，最大化单个节点的支付能力。
通道： 闪电网络通过一对一的通道实现即时的支付确认。通道可以看作是由两方共同支配的资金，只有双方一致同意，才能花费。支付是通过更改通道中资金的状态来实现的，而通道的存在使得支付者和接收者之间无需直接连接。
在线收款：在闪电网络中，收款需要在线进行，因为收款涉及更改通道中的资金状态。与比特币地址和传统支付系统不同，用户在收款时必须在线，并且可能需要处理来自服务端的通知。
支付成功率：在闪电网络中，成功的支付要求在支付途径的每一条通道中，转发支付的一方都有足够多的余额（支付额度）。支付成功率成为一个重要的概念，而成功的支付需要找到一条路径，其中每个通道上的支付额度都足够。
离线支付的过去、现在与未来
闪电网络钱包解决方案 Breez 联合创始人 Roy Sheinfeld 讨论了闪电网络中离线支付的问题以及当前的解决方案和未来可能的发展方向。
问题：由于闪电网络要求发送者和接收者同时在线，这对于移动端和网页端用户来说是一个挑战，因为他们可能不时处于离线状态。传统支付方式，如法币和托管式钱包，通过完全控制用户的资金来解决离线支付问题，但这与闪电网络的去中心化和自主保管理念相悖。
当前解决方案：
LNURL-Withdraw：接收者可以通过 LNURL-Withdraw 生成一个 QR 码或 URL，请求来自发送者的资金。缺点是发送者需要持续在线，不适用于非托管的移动客户端和网页客户端。
手机通知：利用移动端通知，触发通知可以给客户端足够多的 CPU 时间来接收支付。Breez SDK 引入了推送通知特性，通过 webhook 和 Notification Delivery Service（NDS）实现。
未来发展方向：
异步支付：通过利用永远在线的 Lightning Service Provider（LSP）来处理离线支付。LSP 可以通过拦截 HTLC，在发送者或接收者离线时同步支付，并在接收者回到线上时完成支付。这需要技术上的进一步投入，涉及静态发票、洋葱消息、盲化路由、PTLC 等。
治理
This Week in Governance - Feb 1: Community, Collaboration, and Financial Frontiers
dYdX 基金筹款提案：请求从 dYdX Chain 社区储备中获得 3000 万美元的 DYDX 代币，以资助其未来 36 个月的运营。该提案旨在加强 dYdX 生态系统内的治理、DAO 启用、技术集成、采用、营销和团队发展。提案已经提交到链上，调整了之前的筹款计划，以维护当前法定人数门槛，同时降低提案门槛以促进更广泛的治理参与。
早期由 Nouns DAO支持的 Builder DAO 建议调整提案门槛：将提交提案所需的代币数量从 3 降低到 2，提案门槛从总代币供应的 0.5% 调整到 0.35%。此调整旨在适应活跃持有人数量有限的情况，从而促进更多的投票参与。这一变化旨在降低提交提案的障碍，鼓励代币持有社区更积极地参与投票。
Rocket Pool 提出 RPIP-37 提案：旨在为 Rocket Pool 的核心协议开发和资金分配提供结构化的方法，将 RPL 通胀的 5% 用于此目的。如果获得批准，将正式规范协议开发涉及的流程、角色和责任，并从 2023 年 10 月 26 日到 2024 年 10 月 24 日为开发支出分配 49,420.55 RPL 的预算。该提案旨在根据社区反馈调整和演进，以确保 Rocket Pool 的长期可持续性和创新。投票截止日期为 2 月 12 日。
Aave Chan 提议修改 Retroactive Bug Bounties 提案（Pre-Immunefi）：该提案未在先前的投票中达到法定门槛，以授权在建立 Aave 和 Immunefi 漏洞赏金计划之前发生的赏金支付。提案包括三项未解决的赏金，并提出三个投票选项，以反映社区在论坛上对此的偏好。如果获得批准，此 ARFC 将导致链上治理提案，将指定的资金分配给确定的地址。该提案主要由白帽黑客引发的辩论推动，后者要求对先前发现的漏洞提高赏金。
以太坊
其他研究和进展
Unconditional inclusion lists
以太坊研究员 mike 提出在 PBS 系统中引入一种称为包含列表（inclusion lists）的机制，这个机制的设计核心包括两个步骤的过程：第 n 槽的提议者构建一个包含列表，与其区块同时发布。包含列表中的交易可以包含在第 n 或第 n+1 槽的执行负载中，也可以附加到第 n+1 槽负载的末尾。目的是为了在 PBS 中引入更灵活的交易选择机制，从而将代理权交还给提议者。这样，尽管提议者将区块的生成外包给专业的构建者市场，但他们仍然能够通过包含列表表达对区块中交易的偏好。
Micro oracles: a simple commitment-augmented funding mechanism
Ajesiroo 提出了一种简化的区块链融资机制，旨在解决链上资金分配机制存在的问题。传统的链上资金分配机制中，通常需要相互信任，容易导致资源管理不善或奖励兑现时支持者（backer）食言的问题。为了解决这些问题，作者提出了一种简单的 Oracle 系统，支持者的资金被锁定在一个智能合约中，其中的一部分被保留，这部分资金代表了支持者的最低承诺水平，有助于降低支持者滥用资金的风险。当链下事件发生时，支持者可以选择释放全部资金给接收者（recipient），或者返还大部分资金并在过程中烧掉保留部分。这个过程可以通过链外的事件触发，确保真实世界的情况影响了资金的分配。
What Is a ZK Audit?
ZK 审计是对 ZK 应用程序进行全面审核和评估的过程，目标是确保 ZK 应用程序在设计和实现层面都是安全的，并且其零知识性质得以保持。安全审查项目 Zellic 讨论了 ZK 应用程序的安全审计的流程，以及在审计 ZK 应用程序时需要关注的一些重要方面。
协议设计阶段：审查电路的设计问题，确保其与整个协议的良好集成。
检查设计规范的加密学是否合理。
确保证明不会泄露过多数据。
分析证明在整个协议中的角色和关联。
电路实现阶段：检查实现问题，以防止电路与规范不符或允许未定义的行为。
检查电路是否能够证明所有有效输入，确保功能完整性。
确保电路中的逻辑关系以约束形式表示，防止未声明的关系导致证明问题。
检查电路的实现是否与设计规范一致，避免偏差导致未定义的行为。
确保协议中所有公共输出都能被验证，防止证明在公共输出方面存在缺陷。
MEV 相关
The MEV Letter #25
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
论文《Centralization in Block Building and Proposer-Builder Separation》通过研究建设者市场的竞争和提议者之间的去中心化，探讨了 PBS 中的去中心化问题。
文章《Sirrah: Speedrunning a TEE Coprocessor》展示了使用 TEE 扩展区块链保密计算的简约演示，并详细介绍了 MEV 感知拍卖的开发过程。
文章《Announcing Oval: Earn Protocol Revenue by Capturing Oracle MEV》介绍了 Oval 作为一种 MEV 捕获机制，可使协议在消费 Chainlink 数据时产生的价值货币化。
文章《FRP-34: Do backrun auctions protect traders?》介绍了他们的研究成果，该研究以 MEV-Share 和 MEV-Blocker 等产品为例，研究了区块链的博弈论。
文章《FRP Unconference》详细介绍了 Flashbots 上周为庆祝 Flashbots 研究提案 (FRP) 而举办的活动，包括闪电讲座和全体会议。
文章《Properties of issuance level: consensus incentives and variability across potential reward curves》分析了以太坊质押经济学，以及减少发行量如何影响提案者的共识激励和奖励可变性。
视频《Bell Curve：The Solution to Oracle Extractable Value》邀请 Hart Lambur 和 Quintus Kilbourn 深入探讨 OEV 以及 Oval 如何使协议获取这种价值。
视频《Into the Bytecode: UMA, Across, Oval, and MEV capture for protocols》邀请 Hart Lambur 就 UMA、Across 以及协议如何使用 Oval 捕获 OEV 进行对话。
📑论文
Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stake（揭开区块链共识的秘密：PoW 和 PoS 形式安全性的系统比较）
作者来自：University of Luxembourg
以太坊从 PoW 过渡到 PoS 的共识机制加剧了对于哪种机制更有利的争论。目前相关工作尚未全面总结关于 PoW 和 PoS 的安全属性的知识。相反，更侧重于深入分析特定协议或进行高水平的比较评论。为了填补这一空白，揭示 PoW 和 PoS 的形式安全属性之间的共同点和差异，作者通过对 26 篇研究文章进行系统性文献综述。研究发现表明，具有最长链规则的 PoW 共识提供了最强的形式安全保证。然而，PoS 在通过混合方法解决安全性和活跃性之间权衡时可以实现类似的保证。
A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance（利用安全性和活性来增强性能的两层区块链分片协议）
作者来自：University of Copenhagen
作者介绍了一种名为 Reticulum 的开创性分片协议，旨在解决现有协议在提高区块链可扩展性方面忽视了多样化的对抗性攻击，从而限制了交易吞吐量的问题。Reticulum采用了一个两阶段的方法，根据运行时的对抗性攻击调整交易吞吐量。它由两层组成，分别是「控制」和「处理」分片。处理分片包含至少一个可信节点，而控制分片则具有大多数受信任的节点。在第一阶段，交易被写入块并由处理分片中的节点进行投票。被一致接受的块得到确认。在第二阶段，没有一致接受的块将由控制分片中的节点进行投票。如果大多数投票支持，块将被接受，从而消除了第一阶段的反对者和沉默选民。
A Novel Blockchain Based Information Management Framework for Web 3.0（基于区块链的新型 Web 3.0 信息管理框架）
作者来自：University of Technology Sydney
作者提出了一种新颖的基于区块链的信息管理框架，即智能区块链 Web（Smart Blockchain-based Web），以有效地管理 Web 3 中的信息，增强用户数据的安全性和隐私，提供额外的利润，并激励用户向网站贡献信息。特别地，SBW 利用区块链技术和智能合约，有效地管理 Web 3 的去中心化数据收集过程。此外，在这个框架中，还开发了一种基于权益证明的有效共识机制，以奖励用户的信息贡献，并进行博弈理论分析，分析了在考虑的系统中用户的行为。此外，进行了模拟以评估 SBW 的性能，并研究关键参数对信息贡献的影响。研究结果证实了理论分析，并展示了提出的共识机制能够激励节点和用户向系统贡献更多信息。
SPRITE: Secure and Private Routing in Payment Channel Networks（SPRITE：支付通道网络中的安全和私有路由）
作者来自：New Mexico State University
由于支付通道网络本质上是去中心化的点对点网络，因此路由交易是一个基本性的挑战。支付通道网络具有一些独特的安全性和隐私要求，使得路径查找具有挑战性，例如，网络拓扑不是公开可知的，发送者/接收者的隐私应该得到保护，同时还要提供支付的原子性保证。在这篇论文中，提出了一种高效的隐私保护路由协议，即SPRITE，用于支付通道网络，支持并发交易。通过离线查找路径并在线处理交易，SPRITE可以在仅两轮内处理交易，相较于先前的工作更加高效。使用闪电网络数据评估了SPRITE的性能，并利用通用可组合性框架证明了其安全性。与当前的前沿方法相比，这种方法显著减少了系统的消息复杂性，同时保持了类似的延迟。