Starknet 上无需信任的跨链信息访问
存储证明是一种跟踪区块链信息的加密方式，可以跨链共享。与预言机类似，存储证明提供信息真实性的证明。然而与预言机的区别在于，存储证明不需要第三方来证明。相反，有了存储证明，信任就建立在存储中。
在某些情况下，存储证明可以替代预言机。而在另一些情况下，存储证明可以增强预言机，甚至开辟一些全新的区块链用例。
存储证明允许公开状态的加密承诺，还可以通过与 SNARK/STARK 技术结合来进行优化。有效性证明可以证实特定状态在历史某个特定区块中是存在且有效的。
本质上来说，区块链是包含使用 Merkle 树、Merkle Patricia 树和 Verkle 树等以加密方式提交数据的数据库。由于所有数据都已提交，可以证明某些信息已封装在给定的状态中。然而，对于简单的承诺方案，随着它囊括的数据规模越来越大，这个证明的规模也会愈加变大。在链上验证此类证明变得过于昂贵而不实用。
另一方面，当与 STARK 或 SNARK 技术结合使用时，存储证明可以变得相对较小，并可以在特定时间点和任意域上验证特定状态，且无需信任第三方。存储证明不依赖第三方，而是依赖底层链本身的安全性。
存储证明为何如此重要？如今的以太坊已不再是简单的单片链（L1）。随着 L2 解决方案的出现，数据现在分布在多条链上。
Jimbos协议与美国国土安全部合作以帮助从闪电贷漏洞中收回资金:金色财经报道，基于Arbitrum的应用程序Jimbos Protocol的开发人员周三表示，他们已与美国国土安全部纽约分部立案，以逮捕上周末利用该协议获利数百万美元的攻击者。除了与美国的执法部门合作外，该团队目前还在其他司法管辖区立案，并向公众提供价值约80万美元的10%赏金，奖励任何提供信息以抓获剥削者和资金的人。[2023/6/1 11:51:30]
无法再对链的状态进行同步假设。许多共享数据的解决方案已经上线，例如 L1 → L2 消息系统、跨链桥和预言机。但这些解决方案的问题在于，需要信任中继器、多重签名器、委员会这些第三方。存储证明允许在无需信任第三方的情况下使用加密承诺在任何时间点验证区块链的状态。
由于存储证明可以有效地「压缩」区块链并传送数据到其它地方，所以出现了不少应用。负担得起的验证成本是存储证明的一个整体属性，让证明可以在目的链上得到验证，最大限度地减少了开发跨链信息传递系统的需要。
潜在用例包括：
关于区块链上的状态和交易的通用信息访问。
简化的跨链投票系统。经常有用户在缓慢但更安全的 A 链上持有资产，但一些基于代币的投票会选择在交易成本更低的 B 链上进行。这就迫使用户要么跳过投票，要么支付巨额交易费用，将资产从 A 跨链到 B 上，投票后再将资产转回 A 链。在这种情况下，存储证明让用户可以证明他们在某个给定区块的 A 链上的代币余额，并在 B 链上无缝进行投票。
Arbitrum发起AIP-1提案，拟引入Arbitrum DAO并申请10亿美元拨款:金色财经报道，Arbitrum就一项为新成立的去中心化自治组织 (DAO) 引入管理机构的提案进行了投票。该提案名为 Arbitrum 改进提案 1 (AIP-1)，概述了创建所谓的 Arbitrum 基金会的步骤，该基金会将负责发展 Arbitrum 生态系统。提案背后的实体Lemma表示，根据 ArbitrumDAO 章程中规定的 AIP 流程，ArbitrumDAO 将对 DAO 财政部拥有直接的链上治理权，Lemma 还要求额外提供 7.5 亿美元的 ARB 代币（大约超过 10 亿美元），用于 Arbitrum 基金会控制的二级行政预算钱包。?
到目前为止，该提案已为未来的基金会任命了三位初始董事：Campbell Law、Edward Noyons 和 Ani Banerjee。还将有一个由 12 名成员组成的安全理事会委员会。
尽管该提案尚未获得批准，但创建了一个地址名为“Arbitrum DAO Treasury2”的多重签名钱包，此后已收到近 7 亿美元的 ARB代币。如果提案通过，Arbitrum 基金会将获得 10 亿美元。[2023/4/1 13:38:56]
跨链桥的替代方案。目前，跨链桥因通常涉及中介，都假定对第三方有一定程度的信任，例如托管人或去中心化自治组织（DAO）。该中介负责确保中介在源链上收到一定数量的代币，并负责持有源链上的资产。之后，在目标链上铸造相应的代币。存储证明可以实现无需信任的跨链桥接，因为目的链上的智能合约应用可以验证资产转移到源链上的跨链智能合约交易，并铸造跨链资产。然而，在多数情况下，由于另一条链上的资产所有权可以简单地用存储证明来证实，所以在链之间转移资产的需求也可能不复存在。
Maker Vaults将于2月27日对扩大对ETH流动性质押衍生品的可用敞口:金色财经报道，MakerDAO发推称，Maker Vaults正在扩大用户对ETH流动性质押衍生品的可用敞口，目前正在为以下抵押资产进行参数更改，包括将含有Curves tETH-ETH LP抵押品的CRV V1ETHSTETH-A金库类型的最大债务上限从2000万DAI增加到1亿DAI；
将RETH-A金库（Rocket Pool质押ETHrETH）的年费从1.5%降低到0.5%，并RETH-A金库最大债务上限从500万DAI增加到1000万DAI；将含有LidostETH抵押品的WSTETH-B金库类型的年费从0.25%提高到0.5%。上述参数更改已通过最新的执行投票生效，并将于2023年2月27日22:00部署。[2023/2/24 12:26:37]
增强帐户抽象（AA）用例的用户体验。帐户抽象已在不同的链上实施，公认为是将第一批十亿用户引入区块链的关键创新。有了存储证明，钱包可以新增其他功能。例如钱包长时间没有转账，可以恢复存取权限。还可以强制使用来自其它链的数据进行额外检查。
在 EVM 兼容链上生成存储证明非常简单。例如，Web3.js 库具有 getProof 函数，可以生成以太坊（以及其他 EVM 兼容链，如 Polygon 或 BSC）上合约状态的证明。必须将合约地址和合约的存储槽传递给函数。
数据：目前稳定币总市值约为1385亿美元:2月14日消息，据The TIE和CoinGecko数据显示，目前稳定币总市值约为1385亿美元，Tether市场份额为49.39%，USDC为29.76%，BUSD为11.63%。
Tether稳定币市场份额接近50%，创14个月新高，目前流通供应量为684亿美元，增长约3%。
USDC今年迄今已减少超过33亿美元的供应。目前流通供应量为412亿美元，下降了7.5%。
BUSD以161亿的流通供应量排名第三。[2023/2/14 12:05:34]
在以太坊中，智能合约使用键值存储将数据存储在其存储器中。每条数据都存储在称为「存储槽」的特定位置。存储槽是合约存储中的内存位置，由唯一索引标识。来看下示例的智能合约 0xcc…da8b，其代码如下，部署在以太坊主网。
其中 owner 变量存储在 0 号槽。现在，要生成该合约的 owner 是地址 A 的证明，可以使用 getProof 函数，如下所示：
币安上的ETH期货合约24小时交易量达到1个月高点:金色财经报道，Glassnode数据显示，ETH期货合约24小时交易量达到1个月高点在币安上达到1个月高点的28,007,236,288.18美元。[2022/8/31 13:00:17]
上面的代码输出：
返回的 stotageProof 包含 owener 变量的存储证明。由于以太坊使用 Merkle Patricia 树将帐户状态及其存储提交给以太坊状态，因此生成的存储可以用于证明存储槽（或帐户状态）。然而，如前所述，这些证明的可扩展性不足以讨论跨链消息传输。在此之上使用复杂的零知识数学可以减少验证证明所需的计算。
按照设计，区块链无法检索链下数据。这让区块链有无需信任的优势，但也限制了智能合约根据现实世界事件做出决策的能力。因直接获取历史区块链信息非常具有挑战性，且很容易出错，预言机常用于获取这些信息。
为解决这个问题，创建了名为预言机的特殊实体来检索链下数据（或检索一些繁重的链下计算结果）。目前，预言机需要第三方（例如机构或节点运营商的去中心化网络）提交链上数据，这些数据对用户和智能合约公开。这种信任假设目前是无法避免的，有几个团队正在努力最小化这种信任要求，如 Pragma，但并不理想。
Chainlink 就是区块链预言机的一个例子，它提供各种现实世界的数据（股票价格、天气数据等）和链下计算服务来降低链上繁重计算的成本，以及读写不同链上信息的跨链服务。
由于智能合约除了使用预言机之外，没有其他方式可以了解现实世界中发生的事情，因此预言机成为了区块链生态系统中不可或缺的一部分。
在 Starknet 测试网上，前面提到的 Chainlink 目前为七对加密货币提供价格数据，并与 StarkWare 团队合作来「进一步加速 Starknet 生态系统的应用程序开发和总体增长」。Chainlink 通过去中心化的节点网络最大限度地减少信任假设，这些节点网络提供来自链下的数据，数据汇总也在链下进行。
Pragma 和 Stork Network 是 Starknet 上最大的两家预言机提供商，在主网和测试网上均有运营。除了多个加密货币交易对价格外，Pragma 在主网上实现可验证的随机性喂价，允许协议请求链上的安全随机性。Pragma 上的价格源基于大型机构和做市商提供的价格，价格聚合利用高效的零知识技术在链上进行。
在某些情况下，存储证明可以替代预言机。
实际上并非预言机提供的所有数据都需要第三方来提供。在某些情况下，预言机提供的数据已经在链上可用（以链上存储或交易的形式），并且可用通过查看区块链的历史状态来检索。在这些情况下，存储证明可以取代第三方和预言机的信任，并允许智能合约完全依赖加密承诺的安全性。
在其它情况下，存储证明并不能完全取代预言机，但仍然可以通过额外的功能来增强预言机，例如：
预言机将信息从数据提供商传输到数据消费者。然而并不是所有的数据消费者都在同一条链上。借助存储证明，可以在一条链上完成来自不同来源的数据计算，并将结果导出到其他链。
这类数据的首选计算成本较低的源链，而验证证明可以在其它目的链上以低成本完成。
Herodotus 是该领域的研究领军者，使用存储证明和零知识数学提供跨不同以太坊链的跨域数据访问。Pragma 还与 Herodotus 合作，不久将启用跨链预言机支持。
存储证明可以统一多个 Rollup 链的状态，甚至可以在以太坊层之间同步读取。
另一个增强功能是对发布在链上的历史数据进行无需信任的检索。以太坊、Starknet 等有状态区块链通过 Merkle/Verkle 树和 Merkle Patricia 树专门的数据结构，来记录和加密保存其状态。证明包含存储在这些结构中的任何数据也就有了可行性。因此，任何在链上发布的历史数据也可以被信任、检索并用于其他应用程序（甚至不一定在同一条链上）。这些存储证明允许智能合约访问，甚至可以追溯到创世区块的信息。
Pragma 正在研究在 Starknet 上开发一个作为 L3 预言机的可行性，可以将数据「拉」到其他链上并使用存储证明进行验证。在像 Starknet 这样计算成本低廉的网络上的不同域中使用预言机的好处包括：
由于 L3 是一条高度可定制的链，可以调整各种参数以更快地在区块上达成共识，从而大大降低预言机的数据延迟。
结合存储证明，在源链上达成共识后，低延迟数据可以异步传递到其他链上。
通过在 L3 中开发内置系统来加强对数据的信任，惩罚不诚实的数据提供商。如果给予适当激励，L3 上的数据提供商可以抵押他们的资产作为发布正确数据的保障。由于在其他链可以使用数据之前，需要整个网络在 L3 上达成共识，因此预言机提供的数据可以被认为是由验证器在 L3 上的质押来保证的。
过去的几个月，以太坊上 L2 实现飞速增长，也让我们对行业的未来有了更清晰的认识。Starknet、Optimism 和 Arbitrum 等网络的 L2 叙事越来越受关注。实施去中心化的跨链消息传递系统是其发展的主要支持。尽管现在还处于初期阶段，但存储证明有望对这一问题做出显著的改进。
特别鸣谢 Marcello Bardus 和 Kacper Koziol 审阅本文。
原文：《What are Storage Proofs and how can they improve Oracles?》
翻译及校对：「Starknet 中文社区」
StarkNet
企业专栏
阅读更多
金色荐读
金色财经 善欧巴
Chainlink预言机
白话区块链
金色早8点
Odaily星球日报
欧科云链
深潮TechFlow
MarsBit
Arcane Labs
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。