什么是 Storage Proof ？如何改进传统预言机机制？

Starknet 背后的团队 @StarkWareLtd 介绍了一种可以替代预言机的、基于 ZK 的黑科技—— Storage Proof （存储证明）。接下来 Astro 将向大家介绍它是什么？如何工作？有什么用？如何改进甚至替代传统预言机

是什么？如何工作？

是一种加密和验证链上信息的技术。通过为数据生成的证明来保证数据真实有效。

每个存储证明都可以保证特定状态在过去的特定区块中存在并且有效，比如在某时间节点上，用户 A 是否在 B 链上存储了一定数额的 C 代币。

有什么用？如何改变和替代预言机？ 但由于存储证明只能为链上数据生成存储证明，因此可以替代数据在链上的预言机，但不能替代数据在链下的预言机。 相比之下，预言机依赖信任第三方保证信息真实性，而存储证明不需要。 而且存储证明可以统一多个 rollup 的状态，甚至允许以太坊层之间的同步读取。

简单来讲就是说存储证明可以编程多个 L2 之间的跨链层。

这里不得不提到 Starknet 上的 Cairo IBC（，Gerage，它由团队 Amherst 开发，是一套 Cairo 和 Solidity合约，是以太坊 L2 和 Cosmos 的去中心跨链层。

其他相关项目包括 Starknet 上的 @PragmaOracle 和 @StorkOracle，以及 @HerodotusDev。