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

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

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

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

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

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

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

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

前Huobi Global CEO Livio Weng加入HashKey Group擔任集團首席運營官:4月13日消息，亞洲數字資產金融服務集團HashKey Group官方推特正式宣布Livio Weng（行業花名七爺）加入HashKey Group擔任集團首席運營官（Group Chief Operating Officer）。

HashKey Group是亞洲最早的全球區塊鏈布道者之一，現旗下擁有目前香港僅有的兩家持香港證監會運營虛擬資產交易平臺牌照的公司之一。公司近期引入Livio Weng等一系列高管團隊的舉動，標志著其正加速引領布局香港Web3賽道的全新階段。[2023/4/13 14:01:37]

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

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

潛在用例包括：

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

美國證交會發布投資者警報，敦促在加密資產證券方面保持謹慎:金色財經報道，美國證券交易委員會發布投資者警報，敦促在加密資產證券方面保持謹慎。美國證交會表示，提供儲備證明的加密公司可能無法保證實體持有足夠的資產，那些提供加密資產投資和服務的公司可能會不遵守美國法律。加密資產證券的未注冊發行可能不提供關鍵信息，包括經過審計的財務報表，使人無法做出明智的決策。[2023/3/24 13:22:52]

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

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

馬斯克確認Twitter出現大量帶有“藍標”認證符號的虛假馬斯克賬戶:金色財經報道，就在馬斯克發布特斯拉新軟件升級消息后不久，Twitter 上出現大量帶有“藍標”認證符號的虛假馬斯克賬戶，并且正在不斷發生垃圾和欺詐信息，目前伊隆·馬斯克本人已經確認此事屬實，并回復“嘆氣”表示無奈。[2022/9/12 13:24:00]

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

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

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

1inch將向在Optimism網絡上的1inch錢包用戶發放30萬枚OP代幣回溯性空投:金色財經消息，DEX聚合器1inch將向Optimism網絡上的1inch錢包用戶發放30萬枚OP代幣的回溯性空投，將向在Optimism網絡上通過1inch錢包交易過的所有錢包之間平均分配這些代幣（預計在9月1日）。（TheBlock）[2022/9/2 13:03:17]

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

上面的代碼輸出：

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

機構級加密會計平臺 Cryptio 完成 1000 萬美元 A 輪融資:金色財經消息，機構級加密會計平臺 Cryptio 完成 1000 萬美元 A 輪融資，Point Nine 領投，參投方包括 BlueYard Capital、Alven、CoinShares、Avantgarde Finance、Protocol Labs 和 Draper Associates 等。本輪融資將用于招聘、產品開發等。

Cryptio 會計和報告平臺的建立旨在幫助金融機構、公司和加密原生企業從 DeFi、托管和交易數據中創建可審計記錄，以用于會計和稅務申報等。其收集的數據可以連接到客戶的傳統會計軟件，如 Xero 或 QuickBooks。（CoinDesk）[2022/6/7 4:06:51]

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

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

芝麻開門交易所下載