解讀「Web3 新聖杯」zkOmnichain

2023年03月12日01:30:04 財經 8733

註:原文來源於 thuba x way network 研報,作者為 fox tech 與 way network 創始人、丹陽投資董事長康水躍,白澤研究院作為內容合作夥伴轉載。

zkrollup屬於layer2賽道,旨在解決以太坊擁堵問題;zkomnichain則屬於layer0賽道,旨在建造整個web3網路。但由於ethereum體系的聲量巨大,大家的注意力都集中在zkrollup上,而忽視了zkomnichain。基於零知識證明的全鏈互操作性協議zkomnichain是區塊鏈與web3的聖杯,其重要性非同一般。

如果以太坊本身的市場佔有率能長年維持在70%以上,那麼omnichain本身就是一個偽概念。然而,以太坊不可能永遠維持在70%的市佔率。下圖是 2020年8月到2023年2月份以太坊tvl佔比走勢。以太坊最新的市場佔有率是59.24%。雖然web3的鏈層基礎設施會長時間保持「一超多強」的格局,且以太坊本身技術升級不斷,但是隨著zkrollup、oprollup這類以太坊layer2對layer1的流量吸收,隨著bnb chain、polygon等挑戰者的強勢增長,隨著atpos、sui等新公鏈的迅速崛起,隨著cosmos體系的星火燎原,我們將會在2025年之後看到以太坊本身的市場份額長時間低於50%。

解讀「Web3 新聖杯」zkOmnichain - 天天要聞

2020年defi夏天之後的幾乎所有應用都是通過最原始的各鏈逐一單獨部署實現多鏈狀態。這種簡單粗暴的方式不僅給開發者在部署與運營上帶來不小的麻煩,而且還會造成流動性在各條鏈上嚴重割裂、相同token的鏈間價格差異巨大兩大問題。

application實現全鏈覆蓋的路徑除了上述原始方式之外,有以下三條主要路徑:第一條路徑也是第一代跨鏈產品的常見路徑,即application經由一條居間共識協議與起始鏈、目標鏈進行互操作,appplicatio通常不部署在這條居間鏈上,典型的代表是自成體系的cosmos、polkadot,以及multichain、celer、wormhole、thorchain、axelar;第二條路徑是通過optimistic機制來完成與其餘各鏈的互操作。這類路徑細分下來的典型代表,有採用optimistic verification& fraud proofs的synapse、nomad、hyperlane,以及採用optimistic oracle & none proofs的layerzero、across;第三條路徑是,application通過基於零知識證明的全鏈互操作協議zkomnichain與其餘各鏈進行互操作,典型的代表是從cosmos體系走出來的electron、polymer、succinct,專註於nft跨鏈的overearlity,以及致力於提供通用解決方案的way network。

解讀「Web3 新聖杯」zkOmnichain - 天天要聞

最後還有一條路徑是,application部署到一條全新的智能合約公鏈之後,通過這條鏈與其餘各條鏈進行互操作,典型代表是zetachain和map protocol。這是一條開發與運營都很重的路徑。首先要解決與第一代產品一樣會面臨的evm公鏈跨異構鏈時的賬本對齊難題,其次因為與現有智能合約公鏈功能重疊,所以必然需要與它們直接競爭搶奪application資源。但不管是走哪條路徑,都在做同樣一件事,即將單鏈應用轉化為全鏈應用。

第一代中間鏈(共識協議)模式,驗證節點多了則慢,少了則不安全,且節點運營特別重,難以成為擔當web3 network fabric大任。這樣一來,我們就只能將注意力放在非中間鏈(共識協議)模式,重點考察第二代產品模式opomnichain與第三代產品模式zkomnichain。

解讀「Web3 新聖杯」zkOmnichain - 天天要聞

全鏈互操作性協議layer0賽道像以太坊擴容方案layer2賽道一樣,形成了op和zk兩大類解決方案。我們首先來看op方案裡頭的optimistic oracle子模式,該模式下的layerzero使用chainlink預言機,而chainlink項目方也有自己的跨鏈互操作性協議 (cross-chain interoperability protocol, ccip),兩個項目方既合作又競爭。across則使用uma作為預言機,而uma與across是屬於同一個團隊的兩個項目。

這類方案無法實現真正意義上的去中心化,且不具備共享安全性shared security。shared securit是指在給定基礎設施上運行的特定token或application不能自由選擇其安全模型,而必須遵守基礎設施提供的任何安全需求。所有的layer1、layer2都具備shared security,layer0也應當具備shared security,而不能是isolated security,因為只有這樣,才能為終端用戶提供統一的底層安全保障,而無論他們使用的是哪個應用程序,無論應用程序的內部安全策略是什麼。基礎設施里「基礎」二字即是這個意思。

此外,上述optimistic oracle有著嚴格的信任假設,終端用戶必須相信oracle不會胡亂驗證。此時,oracle即是該模式下的a third trusted party。用戶必須相信oracle與relayer不會合謀做惡盜取用戶資產。而且,這類方案並不會產生任何欺詐證明fraud proofs或者有效性證明validity proofs也沒有鏈上驗證proofs之說。種種弊端與問題,l2beat、nomad、way network等團隊均曾撰文指出,這裡不再討論。

我們接下來看op方案裡頭的optimistic verification子模式,這種模式比上述optimistic oracle更加嚴謹審慎,會產生fraud proofs。消息在源鏈上樂觀地簽名,由鏈下validator組成的網路負責在強制執的樂觀窗口期optimistic window (timeout period)內向目標鏈提交欺詐證明。在這個窗口期內,欺詐消息可能會受到挑戰。如果注意到任何錯誤,validator可以檢查和否決消息並禁止任何欺詐交易。相比於第一代產品的外部驗證網路依賴於誠實多數假設而言,optimistic verification依賴於單一誠實驗證者假設。樂觀驗證只需要有一個發起change的誠實validator就能守衛系統的安全。但tradeoff正是這個窗口期帶來的延遲。好在這個latency不像oprollup那麼長,不用等7天,而是等幾十分鐘,比如nomad就設置了30分鐘的timeout period。

我們最後再來看最重要的zkomnichain,該模式屬於zero-knowledge verification,具備更好的魯棒性robustness。zkomnichain就像zkrollup一樣,也會產生有效性證明validity proofs。其中很重要的環節是調用sum-check protocol模塊,在鏈下做證明(sum),在鏈上做驗證(check)。經過這種非常嚴謹的數學與密碼學驗證,來實現完備性completeness與公正性soundness。至於簡潔性succinctness,則可以採用groth16來進一步壓縮proof size。例如,way network的zkspark所產生的原始proof size大約是100kb,但經過groth16壓縮之後可以降至130b。

解讀「Web3 新聖杯」zkOmnichain - 天天要聞

正是有了zkomnichain這種「強密碼學」的全鏈互操作性協議,我們終於能夠實現基礎設施產品的最高標準,即去掉任何第三方受信主體的去信任化trustless,去掉任何中心特權主體的去中心化decentralized。隨著zkomnichain的出現,我們終於看到了從「鏈」變為「網」的可能性,看到了建造一個能支持大規模全鏈應用部署到各條智能合約公鏈的基礎設施layer0的可行性。

基於zkomnichain的全鏈應用會帶來哪些變化?首先是去掉了第一代跨鏈產品裡頭的居間鏈intermediate chain,消減了昂貴驗證節點運營成本;其次是去掉了intermediate token居間代幣以及wrapped/pegged token衍生代幣,用戶無需信這些代幣就可以完成native token跨鏈交易。最後是去掉了第三方受信主體oracle預言機,這一舉措的意義有助於提高全鏈網路的韌性。基於zkomnichain的全鏈應用,既不依賴於居間鏈,又不依賴於預言機,同時也沒有居間代幣與衍生代幣。它以嚴密的數學、密碼學進行有效性證明,並在鏈上做驗證的方式來實現去中心化decentralized和去信任化trustless的目標,實現像比特幣網路一樣的peer-to-peer全鏈通訊。

從singlechain到multichain再到omnichain,這是web3大浪潮的基本走向,屆時全鏈應用將不再像現在一樣稀稀疏疏,而是將普遍存在。基於zkomnichain的應用有著更高的跨鏈安全性,更低的通訊成本,以及更快的通訊速度,因此也就更容易獲得成功。

解讀「Web3 新聖杯」zkOmnichain - 天天要聞

過去一段時間,旨在將各條區塊鏈連接成名副其實的web3的全鏈互操作性協議層出不窮。對照web2的語境, cosmos 相當於構建了一個local area network (lan) ,way network則致力於構建wide area network (wan) 乃至internet。判斷該類產品好壞的標準,不在於該協議能接入的鏈的多少或者其他東西,而在於接入方式是否具備中本聰共識,即decentralized和trustless,因為這是「1」,其他是「0」,沒有1,再多的0都沒有用。

​結語

可以預見,全鏈應用將在未來三年里逐步取代單鏈/多鏈應用成為web3應用的主流部署模式,而zkomnichain interoperability protocol是實現這一進程的關鍵技術手段和基礎設施。很快,我們將看到基於zkomnichain的全鏈amm應用、全鏈lending應用、全鏈socialfi,全鏈nft等等如雨後春筍不斷冒出。

財經分類資訊推薦

「十萬到十億」,《創業有得聊》解碼創業者逆襲方程式 - 天天要聞

「十萬到十億」,《創業有得聊》解碼創業者逆襲方程式

「十萬到十億」有怎樣的商業秘籍?5月4日,創業主題訪談節目《創業有得聊》最新一期在湖南衛視、芒果TV播出。本期節目聚焦「小成本創業」與「殘障群體創業」兩大主題,由汪涵、鄭方一聯合主持,邀請果繽紛聯合創始人王紅偉擔任創業導師,與四位年輕創業者
智慧採信管理模式助磨憨口岸水泥進口提速 - 天天要聞

智慧採信管理模式助磨憨口岸水泥進口提速

勐臘海關關員在磨憨國際物流中心對進口寮國水泥進行查驗。 供圖近日,18輛滿載著580.85噸寮國水泥的貨車從磨憨公路口岸通關,這是全國首批公路口岸採用智慧採信管理模式進口的水泥。針對磨憨國際口岸城市建設基建物資進口需求量大的實際,昆明海關創新監管模式,積極推動磨憨口岸成為進口寮國水泥智慧採信試點。昆明海關所...
成大器者,必須經歷的三項修鍊 - 天天要聞

成大器者,必須經歷的三項修鍊

導語:一名優秀的管理者,必須要經歷三項的修鍊。是哪三項修鍊呢?本文與大家探討。最近,和企業家朋友聊天,我有一個明顯的感受:大家都不怎麼談增長目標了,都在說要向內看,做好管理。這是好事。外部環境越困難,就越要向內看,練好基本功。
暴跌712億!康方生物美國合作方,跌慘了 - 天天要聞

暴跌712億!康方生物美國合作方,跌慘了

陰霾散去,中國的創新葯企又往前走了一大截。 4月25日,港股上市公司康方生物(HK9926)宣布, 派安普利(商品名:安尼可)獲美國食品藥品監督管理局(FDA)批准兩項適應症,用於治療晚期....
特朗普的「服軟」背後:中美貿易戰的最新變局與中國經濟的韌性 - 天天要聞

特朗普的「服軟」背後:中美貿易戰的最新變局與中國經濟的韌性

在全球貿易格局的風雲變幻中,中美貿易戰一直是國際經濟舞台上的焦點。5月4日,美國總統特朗普在接受全國廣播公司(NBC)節目採訪時的一番表態,引發了廣泛關注。他表示「願在某個時候」降低對中國商品加征的關稅,因為當前的高關稅已經讓這兩個世界上最大的經濟體的貿易往來陷入僵局。這究竟是特朗普的權宜之計,還是中美...
最新,歸屬凈利潤最高的103強個股! - 天天要聞

最新,歸屬凈利潤最高的103強個股!

序股票名稱最新價(元)成交量成交額換手率%歸屬凈利潤1工商銀行7.01645萬45.47億0.24842億2建設銀行9.06224萬20.38億2.34834億3農業銀行5.42656萬35.56億0.21719億4中國銀行5.53311萬