淡马锡 Web3 基金 Superscrypt：存储证明将解锁大量跨链新用例

原文标题：Blockchain Interoperability Part III: Storage Proofs, Powering new cross-chain use cases

作者：Jacob，Superscrypt

编译： bayemon.eth, ChainCatcher

在关于互操作性第二部分中，我们探讨了共识证明作为一种新兴的信任最小化方式，如何促进区块链之间的桥接。

在本文中，我们将探讨存储证明（Storage Proofs），它采用了信任最小化验证概念，并将其扩展到区块历史交易记录中。通过这种存储证明验证历史交易和用户活动，能够解锁大量跨链用例。

在第二部分中，我们介绍了共识证明（Consensus Proofs），这是一种跨区块链桥接资金的信任最小化方法。由于桥接用户通常希望交易能在无延迟的情况下即时完成，因此共识证明非常有效。因为它可以在区块链持续同步的过程中不断检查区块链的最新状态。

这种“信任最小化桥接”的概念也可以反向应用，即追溯历史，使用零知识证明来验证旧区块中的交易和数据。这些 "历史存储证明 "可以实现一系列不同的跨链用例，在本文中，我们将介绍存储证明的定义，原理以及用例。

检索历史数据

区块链历史数据有多种用途。它可以证明资产所有权、记录用户行为和交易历史，然后将其输入链上智能合约或应用程序。截至目前，写入以太坊的区块已超过 1800 万个。然而，智能合约只能访问最新的 256 个区块（或最近约 30 分钟内的数据），因此 "历史数据 "指的是最后 256 个区块之外的其他信息。

如今，要访问历史数据，协议通常会查询存档节点提供商，即如 Infura、Alchemy 或其他索引器在内的其他第三方。这意味着要信任和依赖它们及其数据。

历史数据

不过，可以通过使用存储证明，以相对更低的信任水平完成数据检索。

存储证明是零知识证明，可以验证存储在区块链上的历史数据。更具体地说，"存储证明 "可用于证明过去某个区块存在特定状态。其特点是不需要信任第三方或甲骨文，而是将信任内置于存储证明中。

存储证明如何帮助验证某些数据存在于较早的历史区块中？这涉及到两步验证：

• 步骤1:检查特定区块是否确实存在于链上历史记录中，例如，区块是源链历史的有效组成部分
• 步骤2:检查特定数据是否是区块的一部分，即特定交易等信息是否是该区块的一部分（这部分验证可以通过Merkle 包含证明完成）

接收方（如目的链上的智能合约）并完成证明后，就会对数据有效性产生信任，从而执行相应的指令集。这个概念还可以进一步扩展：可以使用经过验证的数据运行额外的链外计算，然后生成另一个零知识证明，以证明数据和计算。

简而言之，存储证明允许以信任最小化的方式检索历史链上数据。这一点非常重要，因为正如我们在第一部分中所概述的，我们认为在未来几年中，Web3 将变得更加多链和多层。多种Layer1与rollup 和应用链的出现意味着用户的链上活动可能在多条链上同事进行。这就更加强调了对信任最小化互操作性解决方案的需求，这种解决方案可以在多个域中保持用户资产、身份和交易历史的可组合性。这正是存储证明可以帮助解决的问题。

存储证明用例

存储证明允许智能合约作为先决条件检查任何历史交易或数据。这为跨链应用设计提供了极大的灵活性。

首先，存储证明可以证明源区块链上的任何历史数据，例如：

• 账户余额和代币所有权
• 用户交易活动
• 指定时间内资产交易的历史价格
• 不同链上流动性池中的实时资产余额

其次，存储证明可以被发送至目标链上，从而解锁各种跨链用例：

• 使用户能够选择较低成本的 L2 对治理提案进行投票
• 允许 NFT 持有者在新链上获得铸造NFT与获取社区利益
• 根据用户与特定 dApp 的历史和互动情况奖励用户（如空投）。
• 根据用户的综合交易和信用记录提供利率贷款
• 对休眠账户进行恢复
• 针对未来交易计算历史 TWAP
• 根据多条链上的流动性池计算更准确的 AMM 交易价格

从本质上讲，存储证明允许应用程序在多个链上查询和移植用户的链上活动和历史记录，以便为另一个链上的智能合约或应用程序提供信息。