以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

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

Author:

Time:1900/1/1 0:00:00

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

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

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

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

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

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

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

OPNX宣布已支持FTX、Celsius破產索賠交易:金色財經報道,在FTX與Celsius Network上持有資產的用戶現可在加密索賠和交易平臺Open Exchange(OPNX)上交易其債權。當用戶出售其索賠時,他們將收到平臺的原生代幣reOX或oUSD,這些代幣可以用作在OPNX上進行交易的抵押品。[2023/7/14 10:55:44]

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

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

潛在用例包括:

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

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

阿迪達斯Web3負責人:涉足Web3是受到特斯拉啟發:金色財經報道,阿迪達斯Web3負責人Erika Wykes-Sneyd透露,如果不是特斯拉采用比特幣作為其車輛的一種支付方式,阿迪達斯可能無法涉足Web3并提出相關策略和項目,他指出:“Elon Musk幫助我們打開了那扇門,只是一點點,特斯拉的舉動讓阿迪達斯內部的 Web3 倡導者開始對話,探索可以用區塊鏈技術做什么。”之后阿迪達斯Web3團隊花了九個月的時間“制定戰略、建立基礎、建立大量關系”,并更進一步購買了自己的BAYC MFT,與gmoney合作等。(ibtimes)[2023/3/6 12:44:43]

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

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

FTX商業主管Amy Wu離職:金色財經報道,The Information援引高管的話報道,FTX Ventures負責人Amy Wu已經辭職。Amy Wu今年1月加入該公司,推出了一個預計規模為20億美元的基金。在辭職的消息傳出之前,與FTX加密交易所有關聯的100多家公司實體申請了第11章破產保護。

Amy Wu上周在里斯本的Breakpoint會議上說,在上一個加密貨幣牛市中,風險投資交易很匆忙,沒有進行適當的盡職調查就進行了。(the block)[2022/11/12 12:53:35]

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

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

美國銀行:幣安將從BUSD供應量的增加中受益:金色財經報道,Binance決定將三種穩定幣USDC、TUSD和USDP的所有現有余額和未來存款轉換為BUSD可能在短期內產生有限的額外收入,但美國銀行(BAC)周四在一份研究報告中表示,從長遠來看,這可能會產生更大的影響。報告稱,自動轉換可能會使BUSD的供應量增加多達9.08億美元,因為USDC供應量的2%(8.98億美元)和USDP供應量的1%(1000萬美元)在幣安上。美國銀行認為,隨著交易所用戶對比特幣越來越熟悉,以及跨應用程序增加對它的更多支持以試圖吸引用戶,BUSD供應量在長期內有可能大幅增加。Binance將從其供應量的增加中受益,因為它能夠將支持穩定幣的額外儲備投資于現金等價物,如美國國債和由國債擔保的隔夜貸款,以獲得利息收入。[2022/9/9 13:19:56]

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

上面的代碼輸出:

Grace Peters:美國通脹放緩意味著美聯儲可能將加息速度從75個基點降至50個基:8月11日消息,摩根大通私人銀行投資策略主管Grace Peters稱:(美國通脹放緩)這是很長時間以來我們首次聽到一點好消息,因此市場可能會延續這波漲勢。我們認可通脹的走向,但如果深入研究CPI數據,會發現通脹的范圍很廣,黏性很強,從現在開始只會緩慢下降。以上意味著美聯儲可能將加息速度從75個基點降至50個基點。(金十)[2022/8/11 12:19:04]

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

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

為解決這個問題,創建了名為預言機的特殊實體來檢索鏈下數據(或檢索一些繁重的鏈下計算結果)。目前,預言機需要第三方(例如機構或節點運營商的去中心化網絡)提交鏈上數據,這些數據對用戶和智能合約公開。這種信任假設目前是無法避免的,有幾個團隊正在努力最小化這種信任要求,如 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:區塊鏈ARKSTARSTA區塊鏈工程專業學什么及就業方向arkm幣行情StarFish OSpstake幣前景

比特幣價格今日行情
鏈上數據:回報率7500倍 PEPE中的神秘巨鯨或是內部人老鼠倉_比特幣:bcd比特幣鉆石減半最新消息

作者:An Ape’s Prologue,加密KOL;翻譯:金色財經xiaozouPEPE meme幣在短短4日內飆升了1000倍,讓一些用戶從一無所有到發家致富.

1900/1/1 0:00:00
DeFi爆發的下一個推手?一文梳理DeFi信用評級協議_FIL:EFI

隨著 DeFi 協議變得越來越復雜,人類已經不可能準確地追蹤所有風險。大數據和機器學習的應用勢在必行.

1900/1/1 0:00:00
AI 與區塊鏈的融合:邁向 Nature2.0_區塊鏈:比特幣

原文:Nature 2.0作者:Trent McConaghy 編譯:Sissi 封面:@iStock/agsandrew這里有一個90年代的老笑話:“在互聯網上,沒有人知道你是只狗.

1900/1/1 0:00:00
一文詳解Shardeum:基本概念、獨特功能及運作機制_HARD:Genesis Shards

原文標題:《What is Shardeum and How Does It Work?》原文作者:CJ,CoinGecko原文編譯:餅干.

1900/1/1 0:00:00
曾鳴、馮波、蔡文勝激辯Web1到Web3的進化_CRY:WEB

劃重點①曾鳴:如果AR、VR眼鏡需要兩三年的時間去醞釀,我覺得三年左右會迎來Web3的第一次大爆炸.

1900/1/1 0:00:00
穩定幣項目 HAI、Starknet 2023 路線圖_EPE:AIPEPE價格

本周 #Megascope 涵蓋以下內容:1)穩定幣項目 HAI 解析2)Starknet 發布 2023 路線圖3)Data Check:PEPE 和 AIDOGE 數據表現 DeFi 穩定幣.

1900/1/1 0:00:00
ads