是什么？如何工作？
是一种加密和验证链上信息的技术。通过为数据生成的证明来保证数据真实有效。
每个存储证明都可以保证特定状态在过去的特定区块中存在并且有效，比如在某时间节点上，用户 A 是否在 B 链上存储了一定数额的 C 代币。
有什么用？如何改变和替代预言机？ 但由于存储证明只能为链上数据生成存储证明，因此可以替代数据在链上的预言机，但不能替代数据在链下的预言机。 相比之下，预言机依赖信任第三方保证信息真实性，而存储证明不需要。 而且存储证明可以统一多个 rollup 的状态，甚至允许以太坊层之间的同步读取。
简单来讲就是说存储证明可以编程多个 L2 之间的跨链层。
这里不得不提到 Starknet 上的 Cairo IBC（，Gerage，它由团队 Amherst 开发，是一套 Cairo 和 Solidity合约，是以太坊 L2 和 Cosmos 的去中心跨链层。
其他相关项目包括 Starknet 上的 @PragmaOracle 和 @StorkOracle，以及 @HerodotusDev。
