Starknet 上无需信任的跨链信息访问
存储证明是一种跟踪区块链信息的加密方式，可以跨链共享。与预言机类似，存储证明提供信息真实性的证明。然而与预言机的区别在于，存储证明不需要第三方来证明。相反，有了存储证明，信任就建立在存储中。
在某些情况下，存储证明可以替代预言机。而在另一些情况下，存储证明可以增强预言机，甚至开辟一些全新的区块链用例。
存储证明允许公开状态的加密承诺，还可以通过与 SNARK/STARK 技术结合来进行优化。有效性证明可以证实特定状态在历史某个特定区块中是存在且有效的。
本质上来说，区块链是包含使用 Merkle 树、Merkle Patricia 树和 Verkle 树等以加密方式提交数据的数据库。由于所有数据都已提交，可以证明某些信息已封装在给定的状态中。然而，对于简单的承诺方案，随着它囊括的数据规模越来越大，这个证明的规模也会愈加变大。在链上验证此类证明变得过于昂贵而不实用。
另一方面，当与 STARK 或 SNARK 技术结合使用时，存储证明可以变得相对较小，并可以在特定时间点和任意域上验证特定状态，且无需信任第三方。存储证明不依赖第三方，而是依赖底层链本身的安全性。
存储证明为何如此重要？如今的以太坊已不再是简单的单片链（L1）。随着 L2 解决方案的出现，数据现在分布在多条链上。
ZA Bank成为HashKey Exchange首家结算银行，为用户提供法币提存服务:8月31日消息，香港众安银行（ZA Bank）宣布成为香港持牌虚拟资产零售交易所HashKey Exchange的第一间结算银行（settlement bank ），开始为持有ZA Bank账户的投资者提供法币提存服务。即日起，ZA Bank用户可通过ZA Bank App转账港元及美元到HashKey Exchange并在该平台进行交易，之后亦可从HashKey Exchange转出港元及美元到ZA Bank个人银行账户。
目前ZA Bank尚未提供虚拟资产零售交易服务。银行持有由证监会颁发的第1类受规管活动（证券交易）牌照，向用户提供基金投资服务。（DeThings）[2023/8/31 13:09:24]
无法再对链的状态进行同步假设。许多共享数据的解决方案已经上线，例如 L1 → L2 消息系统、跨链桥和预言机。但这些解决方案的问题在于，需要信任中继器、多重签名器、委员会这些第三方。存储证明允许在无需信任第三方的情况下使用加密承诺在任何时间点验证区块链的状态。
由于存储证明可以有效地「压缩」区块链并传送数据到其它地方，所以出现了不少应用。负担得起的验证成本是存储证明的一个整体属性，让证明可以在目的链上得到验证，最大限度地减少了开发跨链信息传递系统的需要。
MakerDAO社区投票赞成将DAI持有者的收益率提高至8%:金色财经报道，在周四结束的治理投票中，MakerDAO协议的社区赞成引入增强型DAI储蓄率 (EDSR)，这可能会暂时将DAI持有者的利率提高到高达 8%，EDSR 利率将根据DSR设施中的存款金额和基本奖励率确定，并且会随着使用量的增加而降低。MakerDAO是最大的去中心化金融 ( DeFi ) 借贷协议之一，此举是为了通过提高代币持有者的收益率来刺激DAI稳定币的需求。
Dai Stats数据显示，这一行动发生之际，Maker 与美元挂钩的稳定币流通量已从一年内的69亿美元缩水了三分之一，而整体稳定币的市场规模由1600亿美元下降至1270亿美元。[2023/7/28 16:02:59]
潜在用例包括：
关于区块链上的状态和交易的通用信息访问。
简化的跨链投票系统。经常有用户在缓慢但更安全的 A 链上持有资产，但一些基于代币的投票会选择在交易成本更低的 B 链上进行。这就迫使用户要么跳过投票，要么支付巨额交易费用，将资产从 A 跨链到 B 上，投票后再将资产转回 A 链。在这种情况下，存储证明让用户可以证明他们在某个给定区块的 A 链上的代币余额，并在 B 链上无缝进行投票。
跨链桥的替代方案。目前，跨链桥因通常涉及中介，都假定对第三方有一定程度的信任，例如托管人或去中心化自治组织（DAO）。该中介负责确保中介在源链上收到一定数量的代币，并负责持有源链上的资产。之后，在目标链上铸造相应的代币。存储证明可以实现无需信任的跨链桥接，因为目的链上的智能合约应用可以验证资产转移到源链上的跨链智能合约交易，并铸造跨链资产。然而，在多数情况下，由于另一条链上的资产所有权可以简单地用存储证明来证实，所以在链之间转移资产的需求也可能不复存在。
Huobi公开部分资产储备，总资产约合35亿美元:11月13日消息，据官方公告，Huobi公开部分主要资产储备情况，包括超过3.2万枚BTC、27.4万枚ETH、8.2亿枚USDT、97亿枚TRX。本次公布总资产约合35亿美元左右。快照时间在11月13日0点前后。[2022/11/13 12:57:40]
增强帐户抽象（AA）用例的用户体验。帐户抽象已在不同的链上实施，公认为是将第一批十亿用户引入区块链的关键创新。有了存储证明，钱包可以新增其他功能。例如钱包长时间没有转账，可以恢复存取权限。还可以强制使用来自其它链的数据进行额外检查。
在 EVM 兼容链上生成存储证明非常简单。例如，Web3.js 库具有 getProof 函数，可以生成以太坊（以及其他 EVM 兼容链，如 Polygon 或 BSC）上合约状态的证明。必须将合约地址和合约的存储槽传递给函数。
在以太坊中，智能合约使用键值存储将数据存储在其存储器中。每条数据都存储在称为「存储槽」的特定位置。存储槽是合约存储中的内存位置，由唯一索引标识。来看下示例的智能合约 0xcc…da8b，其代码如下，部署在以太坊主网。
美股三大指数小幅收涨，标普500指数涨0.24%:金色财经报道，行情显示，美股三大指数小幅收涨，道指涨0.06%，标普500指数涨0.24%，纳指涨0.21%。[2022/8/19 12:34:55]
其中 owner 变量存储在 0 号槽。现在，要生成该合约的 owner 是地址 A 的证明，可以使用 getProof 函数，如下所示：
上面的代码输出：
返回的 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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。