解讀「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等等如雨後春筍不斷冒出。

財經分類資訊推薦

資金湧進香港市場!港元貨幣基金近一月收益率跌破0.2%,還能買嗎? - 天天要聞

資金湧進香港市場!港元貨幣基金近一月收益率跌破0.2%,還能買嗎?

界面新聞記者 | 杜萌5月以來,港元貨幣基金收益率持續大跌,離岸人民幣香港銀行同業拆借利率(HIBOR)從4月末的4.5%狂跌至6月16日的0.0185%。這讓不少跨境投資者的「天塌了」。去年以來,隨著國內貨幣基金的收益率持續下行,港匯貨幣基金由於較高的收益率一度廣受投資機構青睞。港元貨幣基金主要投資於短期優質貨幣市場工具...
全球市場的「未解之謎」:以色列股市為何還能連創新高? - 天天要聞

全球市場的「未解之謎」:以色列股市為何還能連創新高?

財聯社6月23日訊(編輯 瀟湘)伊朗的彈道導彈如雨點般落在特拉維夫和海法、以色列的主要機場被迫關閉、大部分勞動力在防空洞里進進出出……對大多數國家而言,這樣的戰時情景都會讓投資者逃離,市場崩盤!然而,令許多人「百思不得其解」的是,眼下相反的情況卻正在上演——以色列市場欣欣向榮,表現優於全球市場:以色列股...
「賭王」之子何猷君收購王思聰旗下企業,接盤後前往山東參加活動 - 天天要聞

「賭王」之子何猷君收購王思聰旗下企業,接盤後前往山東參加活動

據泰山財經報道,6月20日,寰聚產品發布會在山東泰安舉行。何猷君以北京寰聚及星競威武集團董事長身份參加活動。此前不久,何猷君剛剛完成對北京寰聚商業管理有限公司的收購,交易對手是王思聰。何猷君現身泰安寰聚商業2023年7月成立,是一家專註沉浸式體驗的潮流娛樂與場景運營公司,屬於王思聰的個人業務,與萬達集團關聯...
蘭州市創新驅動引領區域協同發展新格局 - 天天要聞

蘭州市創新驅動引領區域協同發展新格局

蘭石集團大型煤化工設備製造現場預包裝蘭州牛肉拉麵生產線鄭海學團隊實驗室場景作為國家向西開放的科創樞紐和黃河上游的中心城市,蘭州市依託獨特的科教資源稟賦與戰略區位優勢,正以科技創新為關鍵引擎,全力推進強省會行動。將科技創新深度融入城市基因,蘭州市聚焦縱深推進1139工作部署,圍繞重大產業、重大項目、重大平...
「推動亞洲國家『共創未來』」 - 天天要聞

「推動亞洲國家『共創未來』」

來源:人民日報「唯有緊密合作、深化交流和融合,不斷加強經濟連通,推動多邊貿易和投資,才能更好推動亞洲國家『共創未來』。」亞洲開發銀行首席經濟學家朴之水近日在接受本報記者專訪時表示,「中國經濟已深度融入亞洲經濟體系,與亞洲國家的價值鏈關聯性也
關於6月份城鄉居民基本養老保險新增待遇領取人員的公示 - 天天要聞

關於6月份城鄉居民基本養老保險新增待遇領取人員的公示

為落實城鄉居民基本養老保險公示制度,確保養老金準確發放,根據《甘肅省城鄉居民基本養老保險實施辦法》和《城鄉居民基本養老保險經辦規程》等相關文件規定,通過個人申報,各鄉鎮、城市社區管委會初審,縣人社局複審,初步認定田偉等304人符合城鄉居民基