Starknet 上无需信任的跨链信息访问
存储证明是一种跟踪区块链信息的加密方式，可以跨链共享。与预言机类似，存储证明提供信息真实性的证明。然而与预言机的区别在于，存储证明不需要第三方来证明。相反，有了存储证明，信任就建立在存储中。
在某些情况下，存储证明可以替代预言机。而在另一些情况下，存储证明可以增强预言机，甚至开辟一些全新的区块链用例。
存储证明允许公开状态的加密承诺，还可以通过与 SNARK/STARK 技术结合来进行优化。有效性证明可以证实特定状态在历史某个特定区块中是存在且有效的。
本质上来说，区块链是包含使用 Merkle 树、Merkle Patricia 树和 Verkle 树等以加密方式提交数据的数据库。由于所有数据都已提交，可以证明某些信息已封装在给定的状态中。然而，对于简单的承诺方案，随着它囊括的数据规模越来越大，这个证明的规模也会愈加变大。在链上验证此类证明变得过于昂贵而不实用。
另一方面，当与 STARK 或 SNARK 技术结合使用时，存储证明可以变得相对较小，并可以在特定时间点和任意域上验证特定状态，且无需信任第三方。存储证明不依赖第三方，而是依赖底层链本身的安全性。
存储证明为何如此重要？如今的以太坊已不再是简单的单片链（L1）。随着 L2 解决方案的出现，数据现在分布在多条链上。
金色财经合约行情播报 | BTC放量震荡上测，7800美元多空博弈加剧:据火币BTC永续合约行情显示，截至今日16:00（GMT+8），BTC价格暂报7703美元（+2.01%），20:00（GMT+8）结算资金费率为-0.014470%。
昨日至今，BTC走出震荡上升的走势，低点逐渐抬高，向上测试7800美元阻力位，目前在7800下方盘整。根据火币交割合约数据，BTC季度合约成交量大幅上升，持仓量也出现一定幅度上升，季度合约保持小幅贴水。在比特币面临关键压力位时期，多空博弈激烈程度加剧，成交活跃，市场情绪出现躁动，投资者需注意控制风险。
USDT于火币全球站OTC的报价为7.13元，溢价率为0.65%。USDT溢价继续保持在低水平。[2020/4/27]
无法再对链的状态进行同步假设。许多共享数据的解决方案已经上线，例如 L1 → L2 消息系统、跨链桥和预言机。但这些解决方案的问题在于，需要信任中继器、多重签名器、委员会这些第三方。存储证明允许在无需信任第三方的情况下使用加密承诺在任何时间点验证区块链的状态。
由于存储证明可以有效地「压缩」区块链并传送数据到其它地方，所以出现了不少应用。负担得起的验证成本是存储证明的一个整体属性，让证明可以在目的链上得到验证，最大限度地减少了开发跨链信息传递系统的需要。
潜在用例包括：
金色相对论 |?Blockstream缪永权：闪电网络的出现将使得许多山寨币过时:在本期金色相对论之“闪电网络：Hello，TPS”上，金色财经合伙人佟扬对话Blockstream首席战略官缪永权，针对目前闪电网络实际的发展与应用情况如何？ 2019年可预见的进展有哪些？当前发展遇到的瓶颈有哪些？缪永权表示，闪电网络正以飞快的速度发展，因为这是一项前所未有的科技，将为比特币成为全球货币铺平道路。2019年，我们将推出更好的闪电网络版本，目前唯一遇到的瓶颈是由于不同的开发团队进度不同，因而不同版本中可能会出现一些小的兼容问题，但都能很快解决。此外也有很多关于闪电网络的谣言在外传播，因为闪电网络的出现将使得许多山寨币过时。[2019/3/7]
关于区块链上的状态和交易的通用信息访问。
简化的跨链投票系统。经常有用户在缓慢但更安全的 A 链上持有资产，但一些基于代币的投票会选择在交易成本更低的 B 链上进行。这就迫使用户要么跳过投票，要么支付巨额交易费用，将资产从 A 跨链到 B 上，投票后再将资产转回 A 链。在这种情况下，存储证明让用户可以证明他们在某个给定区块的 A 链上的代币余额，并在 B 链上无缝进行投票。
跨链桥的替代方案。目前，跨链桥因通常涉及中介，都假定对第三方有一定程度的信任，例如托管人或去中心化自治组织（DAO）。该中介负责确保中介在源链上收到一定数量的代币，并负责持有源链上的资产。之后，在目标链上铸造相应的代币。存储证明可以实现无需信任的跨链桥接，因为目的链上的智能合约应用可以验证资产转移到源链上的跨链智能合约交易，并铸造跨链资产。然而，在多数情况下，由于另一条链上的资产所有权可以简单地用存储证明来证实，所以在链之间转移资产的需求也可能不复存在。
金色财经现场报道 CSDN创始人蒋涛：产品经理需懂得修改智能合约的技术:金色财经现场报道，在2018区块链产品技术峰会上，CSDN创始人蒋涛发表了《从产品经理到Token设计师》的主题演讲，他表示我们建立了共识算法就能够实现信息的不可篡改，智能合约可以不可阻挡地被执行。但这也很恐怖，因为它的错误是很难被修改的。实际上，虽然智能合约一旦被确定就必须保证它被顺利实行，但它还是可以被修改的。所以，产品经理在设计时必须把这考虑进去，得懂技术，这巨大的挑战。如果现在你不懂这些技术，你就完蛋了。[2018/4/28]
增强帐户抽象（AA）用例的用户体验。帐户抽象已在不同的链上实施，公认为是将第一批十亿用户引入区块链的关键创新。有了存储证明，钱包可以新增其他功能。例如钱包长时间没有转账，可以恢复存取权限。还可以强制使用来自其它链的数据进行额外检查。
在 EVM 兼容链上生成存储证明非常简单。例如，Web3.js 库具有 getProof 函数，可以生成以太坊（以及其他 EVM 兼容链，如 Polygon 或 BSC）上合约状态的证明。必须将合约地址和合约的存储槽传递给函数。
在以太坊中，智能合约使用键值存储将数据存储在其存储器中。每条数据都存储在称为「存储槽」的特定位置。存储槽是合约存储中的内存位置，由唯一索引标识。来看下示例的智能合约 0xcc…da8b，其代码如下，部署在以太坊主网。
金色财经现场报道 文交联合董事长银普：投资人应有买古董的心态:金色财经现场报道，在2018全球区块链精英峰会上，进行以《数字资产交易所的生态架构与发展趋势》为题的圆桌谈论，文交联合董事长银普指出：社会的进步是由支付推动的，我们可以在各个领域推出支付相关的应用。很多应用都是以公司作为标的；期货交易的核心价值在于对冲；实物交易也属于大型交易的范畴。现在的数字货币行业也会产生新价值，我们要思考如何将其在国家可以接受的层面进行发展。作为一个交易平台，管理层必须有社会责任，投资人最好有买古董的心态。[2018/4/28]
其中 owner 变量存储在 0 号槽。现在，要生成该合约的 owner 是地址 A 的证明，可以使用 getProof 函数，如下所示：
上面的代码输出：
返回的 stotageProof 包含 owener 变量的存储证明。由于以太坊使用 Merkle Patricia 树将帐户状态及其存储提交给以太坊状态，因此生成的存储可以用于证明存储槽（或帐户状态）。然而，如前所述，这些证明的可扩展性不足以讨论跨链消息传输。在此之上使用复杂的零知识数学可以减少验证证明所需的计算。
金色财经现场报道 原壹比特创始人虫哥：手中有资金可以在熊市到来时投资:金色财经现场报道，在世界区块链大会·三点钟峰会中的“蛮子十问”环节中，薛蛮子将话题引向了牛市和熊市。原壹比特创始人虫哥表示：现在比特币的挖矿成本，已经在2万-4万之间，我认为，币价在4万左右，就差不多了。如果你的手中有资金，那么在熊市到来的时候就可以投资，但不要一次投资，可以分阶段进行，应该进行分仓管理。[2018/4/25]
按照设计，区块链无法检索链下数据。这让区块链有无需信任的优势，但也限制了智能合约根据现实世界事件做出决策的能力。因直接获取历史区块链信息非常具有挑战性，且很容易出错，预言机常用于获取这些信息。
为解决这个问题，创建了名为预言机的特殊实体来检索链下数据（或检索一些繁重的链下计算结果）。目前，预言机需要第三方（例如机构或节点运营商的去中心化网络）提交链上数据，这些数据对用户和智能合约公开。这种信任假设目前是无法避免的，有几个团队正在努力最小化这种信任要求，如 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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。