PRO｜OP_CAT 操作码的潜在影响、Web Proofs：加密货币的 AirTag
zkTLS、如何确保 L2 排序器的及时性，以及四篇论文等
欢迎阅读 ChainFeeds PRO #68 。本次内容将包含 OP_CAT 操作码带来的可能性和潜在影响、Web Proofs 在不依赖第三方 API 的情况下，验证从某个网站获取的数据的真实性，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
On Script Upgrades & OP_CAT
bedlam research 研究员 Jesse 分析重新引入 OP_CAT 操作码带来的可能性和潜在影响。OP_CAT 是 Script 语言中的一个用于数据串联的操作码，它在早期版本的比特币中存在，后因安全问题被移除。通过软分叉引入的 OP_CAT 更新可以使 Script 语言的功能得到增强，使开发者能够构建更复杂的交易类型和智能合约，从而扩展比特币的应用场景。
可能性：
增强的脚本功能性： OP_CAT 操作码使得脚本能够进行数据串联操作，这是许多高级脚本功能所必需的。比如，它可以用于构建更复杂的交易类型，使比特币能够执行更多自定义的金融操作和智能合约。
Merkle 树验证： OP_CAT 可以在比特币脚本中直接验证 Merkle 路径，这对于确保数据完整性和支持复杂的交易验证非常重要。例如，用户可以验证某个特定的交易确实包含在某个区块中，而无需下载整个区块链。
支持契约（Covenants）： 使用 OP_CAT，开发者可以创建契约 UTXO，这些 UTXO 能够指定比特币如何被未来的交易所花费。这可以用于实现高级的资金控制策略，如限制资金的流向，或为资金的使用设定特定条件。
潜在影响：
复杂性和安全风险： 引入任何新的操作码都可能带来安全风险，特别是涉及数据操作的操作码如 OP_CAT。历史上，OP_CAT 因为可能导致值溢出而被移除。尽管现在的提议包括安全措施（如限制输出堆栈元素的大小），这类改动仍需经过严格的测试来防止潜在的安全问题。
对比特币网络的影响： 添加新操作码可能会影响比特币网络的性能，因为节点需要处理更复杂的验证。此外，更复杂的脚本可能导致交易大小增加，影响区块的空间利用率。
软分叉的实施难度： 任何对比特币协议的修改都需要社区的广泛支持，并且通过软分叉实施，这是一个复杂且需要高度协调的过程。社区成员对于是否引入新功能的意见可能会有分歧，这需要广泛的讨论和共识建设。
Crypto’s AirTag Moment: Unlocking Mass Adoption with Web Proofs
Nascent 团队 Dan Elitzer 介绍了一种新的技术 Web Proofs。Web Proofs 结合了 TLS Notary 和 ZKPs，能够在不依赖第三方 API 的情况下，验证从某个网站获取的数据的真实性。这项技术的核心优势在于它能够绕过 API 限制，只要用户能够访问其数据（通过 HTTPS 连接），数据就可以被验证并上链，而不受数据提供方的控制。即使某个公司不愿意分享其数据或希望控制数据的使用，用户仍然可以通过 Web Proofs 来证明他们从该公司的网站上获取了这些数据。
TLS Notary：TLS Notary 是一种能够记录通过 TLS（传输层安全协议）连接所传输的数据的机制。TLS 通常用于确保互联网通信的安全性，而 TLS Notary 可以在不破坏数据机密性的前提下，证明特定数据是在受保护的 TLS 连接中从服务器传输的。这意味着，你可以证明你从某个网站获得了某些信息，而不需要该网站的合作或许可。
零知识证明（ZKPs）：零知识证明是一种密码学方法，它允许一方（证明者）向另一方（验证者）证明其拥有某种信息或数据，而不泄露具体的内容。
通过 Web Proofs，项目方可以根据用户在 Web2 平台上的活动（如 Spotify 的收听记录、Robinhood 的股票持有情况等）来分发代币，而不仅仅是基于用户的链上活动。这大大扩展了加密货币项目的潜在用户群体。
比特币协议进展
Bitcoin Optech Newsletter #319
Stratum v2 扩展用于手续费收益共享：Filippo Merli 提出了 Stratum v2 的一项扩展，能够跟踪矿工选择的交易中包含的手续费，并根据这些交易的费率来调整矿工从矿池获得的支付。在传统的矿池挖矿中，矿工们通常根据他们的计算贡献获得奖励，而与区块中包含的具体交易无关。Stratum v2 的这个扩展引入了一种机制，可以追踪每个矿工在其「贡献的份额」中所包含的交易手续费，并根据这些手续费调整矿工的收益。包含更高手续费交易的矿工将获得更多报酬。
OP_CAT 研究基金：Victor Kolobov 宣布设立 100 万美元的研究基金，用于研究 OP_CAT 操作码软分叉的提案。该操作码可能会增强比特币网络上的计算和脚本锁定逻辑。研究领域包括安全影响、潜在应用及其对比特币网络的总体影响。
减轻默克尔树漏洞：Eric Voskuil 讨论了一种与比特币网络中默克尔树相关的安全漏洞，主要影响使用简化支付验证（SPV）技术的轻量级钱包。SPV 是一种验证比特币交易的方法，允许钱包不下载整个区块链，而是通过验证交易的默克尔树证明来确认交易是否有效。具体的漏洞是，攻击者可能通过构造特定的默克尔树交易证明，欺骗 SPV 钱包，使其接受无效的交易。为了应对这一问题，有人提议禁止 64 字节的交易，认为这可以防止某些类型的攻击。然而，Voskuil 认为这种方案对比特币全节点的性能提升作用不大。
以太坊
研究和进展
zkTLS
EigenLayer 开发者 nader dabit 介绍了 zkTLS。 zkTLS（Zero-Knowledge Transport Layer Security，零知识传输层安全协议）是一种技术，允许用户在不暴露敏感信息的情况下证明来自网站的数据。它将 web2 数据与 web3 应用程序连接起来。zkTLS 是在现有的 TLS 协议基础上构建的。使用零知识证明技术，验证数据的真实性而不暴露数据本身。用户可以通过 zkTLS 创建在网页浏览器中显示的数据证明，比如证明银行余额或购买历史，而不需要暴露实际数据。
目前的挑战在于规模化扩展：每个网站都需要定义一个「提供者」（即 URL 和数据位置）。zkTLS 需要明确从哪个 URL 获取数据，以及如何找到和验证这些数据。由于每个网站的结构和数据存储方式各不相同，zkTLS 需要为每个网站进行单独配置，这可能会增加复杂性和耗时。
Timestamp Ordering in MCP for Timing Games
saguillo2000 提出 POD（部分有序数据集）模型以应对多并发提案者机制（MCP）中的时间游戏问题。在 MCP 中如果运用现有的排序方法（如基于优先费用的排序和竞拍机制）会导致部分提案者利用时间延迟游戏或竞拍机制来操纵交易顺序，从而通过抢跑交易获利。POD （部分有序数据集）模型核心是按照每笔交易的时间戳来排序，而不是依赖于提案者的主观决定。由于交易是根据时间戳进行排序，而非通过费用或其他竞拍机制，提案者无法通过延迟提交区块或观察其他提案者的交易来进行前置交易或夹层交易。POD 依赖于多方验证的机制，客户端在发送交易后会从多个验证者获取签名，通过这些签名确认交易的时间戳。这个机制有助于防止交易顺序的操控，因为签名的中位数会被用作最终确认的时间戳。
Exploring Verifiable Continuous Sequencing with Delay Functions
Chainbound 成员 thedevbirb 提出通过延迟函数（VDF）进行的可验证连续排序，确保 L2 排序器的及时性、安全性，避免依赖额外的共识或诚实假设。由于排序器可能会为了增加收益进行时间操控，例如通过延迟交易包含以提取更多的 MEV，因此需要引入新的约束机制。文章提出通过在交易中添加「截止时间」字段来限制排序器的行为，确保交易在指定的 L2 区块时间范围内被包含。此外，利用以太坊的 12 秒区块时间作为全球时钟，引入排序窗口，确保排序器在规定的时间内提交区块，否则将面临惩罚。VDF 作为一种不可加速的时间证明机制，能够防止排序器延迟区块的生产或重新排序区块，从而减少操控和提升排序的公平性。
MEV 相关
The MEV Letter #54
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
文章《The Hand-off Problem》研究了在 L2 上通过强制包含交易来防止审查的局限性。
文章《Embedded fee markets and ERC-4337 (part 2) 》讨论了 ERC-4337 的捆绑者费率结构、对 L2 的影响，以及通过签名聚合提高效率的方法。
文章《Understanding “An Analysis of Intent-Based Markets” 》研究了意图驱动市场以及求解器寡头垄断的出现。
视频《Bankless: The MEV Trilemma》讨论随着 TEE（可信执行环境）的发展，MEV 领域如何通过去中心化拍卖演进，从而在没有可信第三方的情况下保持隐私和完整性。
视频《Flashwares VII: Reusable Enclaves》 展示关于用于保密无服务器计算的可重用安全区（Reusable Enclaves）的研究。
视频《Bankless: Is the Ethereum Roadmap Off Track? 》邀请 Max Resnick 讨论以汇总为中心的以太坊路线图现状，以及为何应该优先考虑扩展 L1。
视频《Expansion: Are L1s and L2s Converging? Eclipse & Astria on Crypto’s Scaling Future 》邀请 taetaehoho 和 Josh Bowen 讨论 L2 扩展、共享排序器、数据可用性（DA）、MEV、Eclipse 和 Astria。
视频《0xResearch: Intents Trading: Why AMMs Are Going Out of Style》邀请 Joshua 和 Roee 讨论 DEX 设计、意图驱动交易、求解器和 Aori。
视频《CBER Forum: Ethereum Mechanism Design: MEV, MEV Burn, Execution Auctions etc… 》概述了验证者奖励以及研究如何将发行与 MEV 分离。