詳解儲存證明：如何提升預言機性能？_區塊鏈:STARK

Starknet 上無需信任的跨鏈信息訪問

存儲證明是一種跟蹤區塊鏈信息的加密方式，可以跨鏈共享。與預言機類似，存儲證明提供信息真實性的證明。然而與預言機的區別在于，存儲證明不需要第三方來證明。相反，有了存儲證明，信任就建立在存儲中。

在某些情況下，存儲證明可以替代預言機。而在另一些情況下，存儲證明可以增強預言機，甚至開辟一些全新的區塊鏈用例。

存儲證明允許公開狀態的加密承諾，還可以通過與 SNARK/STARK 技術結合來進行優化。有效性證明可以證實特定狀態在歷史某個特定區塊中是存在且有效的。

本質上來說，區塊鏈是包含使用 Merkle 樹、Merkle Patricia 樹和 Verkle 樹等以加密方式提交數據的數據庫。由于所有數據都已提交，可以證明某些信息已封裝在給定的狀態中。然而，對于簡單的承諾方案，隨著它囊括的數據規模越來越大，這個證明的規模也會愈加變大。在鏈上驗證此類證明變得過于昂貴而不實用。

另一方面，當與 STARK 或 SNARK 技術結合使用時，存儲證明可以變得相對較小，并可以在特定時間點和任意域上驗證特定狀態，且無需信任第三方。存儲證明不依賴第三方，而是依賴底層鏈本身的安全性。

存儲證明為何如此重要？如今的以太坊已不再是簡單的單片鏈（L1）。隨著 L2 解決方案的出現，數據現在分布在多條鏈上。

NFT抵押品流動性和擴展解決方案MetaStreet上線NFT借貸產品ATM:6月20日消息，NFT抵押品流動性和擴展解決方案MetaStreet上線NFT借貸產品ATM，該產品無需許可，允許貸方設定自己的條款，借款人可在提供不同貸款條款的貸方中獲得最佳執行。[2023/6/20 21:48:17]

無法再對鏈的狀態進行同步假設。許多共享數據的解決方案已經上線，例如 L1 → L2 消息系統、跨鏈橋和預言機。但這些解決方案的問題在于，需要信任中繼器、多重簽名器、委員會這些第三方。存儲證明允許在無需信任第三方的情況下使用加密承諾在任何時間點驗證區塊鏈的狀態。

由于存儲證明可以有效地「壓縮」區塊鏈并傳送數據到其它地方，所以出現了不少應用。負擔得起的驗證成本是存儲證明的一個整體屬性，讓證明可以在目的鏈上得到驗證，最大限度地減少了開發跨鏈信息傳遞系統的需要。

潛在用例包括：

關于區塊鏈上的狀態和交易的通用信息訪問。

簡化的跨鏈投票系統。經常有用戶在緩慢但更安全的 A 鏈上持有資產，但一些基于代幣的投票會選擇在交易成本更低的 B 鏈上進行。這就迫使用戶要么跳過投票，要么支付巨額交易費用，將資產從 A 跨鏈到 B 上，投票后再將資產轉回 A 鏈。在這種情況下，存儲證明讓用戶可以證明他們在某個給定區塊的 A 鏈上的代幣余額，并在 B 鏈上無縫進行投票。

區塊鏈金融&廣告互動交易所NYIAX擬于3月1日通過IPO融資1000萬美元:2月25日消息，區塊鏈金融&廣告互動交易所NYIAX宣布擬于3月1日通過IPO融資1000萬美元，據悉將發行1,900,000股股票。

NYIAX平臺使用納斯達克金融框架并采用納斯達克支持的智能合約和區塊鏈技術作為核心分類賬，用于在廣告行業提供金融科技服務，包括跟蹤訂單條款、合同管理和合同對賬等。（Defenseworld）[2023/2/26 12:29:46]

跨鏈橋的替代方案。目前，跨鏈橋因通常涉及中介，都假定對第三方有一定程度的信任，例如托管人或去中心化自治組織（DAO）。該中介負責確保中介在源鏈上收到一定數量的代幣，并負責持有源鏈上的資產。之后，在目標鏈上鑄造相應的代幣。存儲證明可以實現無需信任的跨鏈橋接，因為目的鏈上的智能合約應用可以驗證資產轉移到源鏈上的跨鏈智能合約交易，并鑄造跨鏈資產。然而，在多數情況下，由于另一條鏈上的資產所有權可以簡單地用存儲證明來證實，所以在鏈之間轉移資產的需求也可能不復存在。

增強帳戶抽象（AA）用例的用戶體驗。帳戶抽象已在不同的鏈上實施，公認為是將第一批十億用戶引入區塊鏈的關鍵創新。有了存儲證明，錢包可以新增其他功能。例如錢包長時間沒有轉賬，可以恢復存取權限。還可以強制使用來自其它鏈的數據進行額外檢查。

Web3安全基礎設施GoPlus Security正進行第二輪私募融資:12月8日消息，據幣安官方博客，Binance Labs宣布其正在領投Web3安全基礎設施GoPlus Security的第二輪私募融資，但未披露具體融資金額。通過新資金，GoPlus Security將能夠進一步開發安全數據，構建安全服務市場，并吸引能夠為團隊做出貢獻的頂尖人才，以構建去中心化的安全平臺。[2022/12/8 21:31:37]

在 EVM 兼容鏈上生成存儲證明非常簡單。例如，Web3.js 庫具有 getProof 函數，可以生成以太坊（以及其他 EVM 兼容鏈，如 Polygon 或 BSC）上合約狀態的證明。必須將合約地址和合約的存儲槽傳遞給函數。

在以太坊中，智能合約使用鍵值存儲將數據存儲在其存儲器中。每條數據都存儲在稱為「存儲槽」的特定位置。存儲槽是合約存儲中的內存位置，由唯一索引標識。來看下示例的智能合約 0xcc…da8b，其代碼如下，部署在以太坊主網。

其中 owner 變量存儲在 0 號槽。現在，要生成該合約的 owner 是地址 A 的證明，可以使用 getProof 函數，如下所示：

Aztec Network宣布集成借貸協議Aave:11月17日消息，基于ZK Rollup的隱私和擴容解決方案Aztec Network宣布集成借貸協議Aave。用戶可以使用Aztec Connect在Aave存入隱私（shielded）ETH或USDC，以在加強隱私和降低Gas費的同時賺取收益。[2022/11/17 13:17:00]

上面的代碼輸出：

返回的 stotageProof 包含 owener 變量的存儲證明。由于以太坊使用 Merkle Patricia 樹將帳戶狀態及其存儲提交給以太坊狀態，因此生成的存儲可以用于證明存儲槽（或帳戶狀態）。然而，如前所述，這些證明的可擴展性不足以討論跨鏈消息傳輸。在此之上使用復雜的零知識數學可以減少驗證證明所需的計算。

按照設計，區塊鏈無法檢索鏈下數據。這讓區塊鏈有無需信任的優勢，但也限制了智能合約根據現實世界事件做出決策的能力。因直接獲取歷史區塊鏈信息非常具有挑戰性，且很容易出錯，預言機常用于獲取這些信息。

借貸協議Morpho完成1800萬美元融資，a16z和Variant領投:7月12日消息，DeFi借貸協議Morpho通過原生代幣銷售籌集了1800萬美元的融資，由Andreessen Horowitz和Variant領投。本輪融資的其他投資者包括Nascent、Semantic Ventures、Cherry Crypto、Mechanism Capital、Spark Capital、Standard Crypto和Coinbase Ventures。[2022/7/13 2:08:44]

為解決這個問題，創建了名為預言機的特殊實體來檢索鏈下數據（或檢索一些繁重的鏈下計算結果）。目前，預言機需要第三方（例如機構或節點運營商的去中心化網絡）提交鏈上數據，這些數據對用戶和智能合約公開。這種信任假設目前是無法避免的，有幾個團隊正在努力最小化這種信任要求，如 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

Tags：區塊鏈ARKSTASTARK區塊鏈中的代幣是什么Fimi Market Inc.Marinade staked SOLStarkNet

SHIB