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

風口上的ZK 預期拉滿的資本游戲_區塊鏈

Author:

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

電影《讓子彈飛》中有這樣一個情節,為了讓人相信自己沒有多吃一碗涼粉,六子剖開肚子,以性命為代價證明了自己的清白。

在這里,六子是證明者,圍觀群眾是驗證者,六子證明的方式是看腹中究竟有沒有多一碗涼粉。然而,這種證明方式的代價是六子的生命。

上述例子就是一個典型的證明難題。

第一,若要保證驗證的有效性,證明者必須分享知識(上述例子中,與知識對應的就是六子肚子內的情形),證明者若要通過驗證,需要將知識告知驗證者,而告知知識往往是有代價的。

第二,若驗證無效,驗證者將面臨欺詐風險。舉個例子,在法庭上,如果被告能在開庭前獲得控方律師所有的提問,那么他極有可能成功編造出一個完美的故事騙過對方。

最初的解決辦法是,引入第三方,將驗證過程公開化,以此調和知識所有權與使用權間的矛盾。然而,即便如此,對于具有排他性的知識(比如密碼),一旦出讓使用權,也即喪失了所有權。有沒有不需要動用知識的驗證方式呢?

零知識證明的誕生

時間來到1985年,S. Goldwasser 博士畢業后來到 MIT,與 S. Micali,Rackoff 合寫了一篇載入史冊的經典論文《交互式證明系統中的知識復雜性》,零知識證明(zero-knowledge proof)問世。

英偉達 CEO:我們正處于區塊鏈和支持 NFT 的元宇宙的“風口浪尖”:英偉達 CEO Jensen Huang 在虛擬 Computex 會議上表示,他“相信我們正處于區塊鏈和支持 NFT”元宇宙的風口浪尖上,并熱情洋溢地談了它的潛力。(cointelegraph)[2021/6/13 23:33:09]

此后,證明過程無需“知識”獲得了理論支撐,簡單來說,通過零知識證明,既能保守秘密,又能讓別人相信你。

只是由于效率和適用性上的短板,很長一段時間內,零知識證明僅僅停留在學術理論層面,或者只能用于特定項目,直到邂逅區塊鏈。

零知識證明兩大關鍵詞:保守秘密,即“不泄露信息”;讓別人相信你,即“證明論斷有效”。

這兩個特點恰好被區塊鏈所需要:

隱私:區塊鏈網絡的共識要求一切公開透明,隱私保護成為問題。

在隱私場景中,借助零知識證明“不泄露信息”的特性,可以在不泄漏交易的細節(接收方,發送方,交易余額)的情況下證明區塊鏈上的資產轉移是有效的。

擴容:區塊鏈去中心化的特點,使驗證成為不可承受之重,輕量化的證明成為剛需。

在擴容場景中,主要利用“證明論斷有效”這個特性,鏈上資源是有限的,所以我們需要把大量的計算遷移到鏈下進行,零知識證明正好可以證明這些在鏈下發生的動作是可信的。

鏈上李杰:IPFS/Filecoin是加速去中心化和實體融合的新風口:IPFS100.com現場報道,8月5日22:00,由IPFS100.com主辦;麥客存儲聯合主辦;鏈上ChainUP、金色算力云戰略合作的IPFS100.com發布會在深圳蛇口·麥考利愛爾蘭酒吧拉開帷幕。鏈上ChainUP深圳負責人李杰指出,深圳是區塊鏈行業數字資產領域的風向標,截止2019年上半年,我國區塊鏈公司地域分布形成了環渤海、長三角、珠三角及湘黔渝四大區塊鏈產業聚集區,而深圳為珠三角重點發展區域。今年4月20日,國家發改委在線新聞發布會,區塊鏈作為新技術基礎設施被納入“新基建”范圍內。IPFS/Filecoin是加速去中心化和實體融合的數字貨幣市場新風口。[2020/8/6]

早在2016年,專注于鏈上隱私保護的ZCash就正式發布,通過零知識證明,ZCash完成交易驗證,而無需公開全部交易信息(發送人、接收人、交易量)。不過,經過多年發展,ZCash仍是不溫不火。

原因也很簡單,盡管隱私很重要,但當前的區塊鏈用戶,還遠沒有建立廣泛而強烈的隱私意識,不敢露富,還不敢露窮么?

目前,隱私并不是剛需,擴容才是,特別是對于以太坊而言。

ZK與Rollup的結合

從底層協議來看,鏈上交易的成本必然高昂,因為要實現充分的去中心化和安全,必須有足夠多的節點進行重復驗證。

聲音 | 中泓源雷靜:區塊鏈仍是熱門投資風口:據中證網消息,中泓源集團雷靜在接受北京理工大學采訪時表示,當下,生態旅游、能源產業、文化產業、區塊鏈等仍然是最熱門的投資風口,想要深耕市場,必須有深厚的專業知識才能更準確地判斷投資項目的價值,同時也能更好地發揮我們的所學所知。[2018/10/25]

隨著區塊鏈應用的擴展,同步一個節點的時間越來越長,越來越龐大的鏈上數據量拉高了硬件的要求,大多數家用計算機甚至連節點的基本要求都達不到,像以太坊這樣用途廣泛的公鏈,其節點數量也只有一萬余個,且大多數被托管在亞馬遜 AWS 上,與去中心化的初衷背道而馳。

相較于隱私保護,區塊鏈的可擴展性,顯然更有意義。

只要實現了可擴展性,那么就既可以維護“去中心化”的正確,同時可以降低gas。

2017年8月,以太坊聯合創始人Vitalik Buterin和Joseph Poon,共同提出了初代擴容解決方案Plasma。

然而,Plasma無法提供和主鏈同等的數據可用性和安全性,很快遭遇全面潰敗,開發者又將眼光放在了 Rollup 技術上。

Rollup 的核心理念其實很簡單,就是將原本散布在區塊中的大量交易數據,打包成“濃縮”的交易,發布到鏈上。為確保其中每筆交易的有效性,各種Rollup方案設計了不同的機制以確保整個過程的安全性與Layer 1保持一致。

USDT頻遭質疑 挑戰者TUSD站上風口:據早先報道報道,美國交易所Bittrex3月6日上線了錨定美元的穩定貨幣Trueusd(TUSD),試圖挑戰USDT。TUSD是第一個獨立驗證的,資產支持的穩定加密貨幣。USDT作為錨定貨幣的先驅,占得所有先機,哪怕丑聞不斷,也仍是市值第一的錨定貨幣。而TUSD盡管在資金監管,運作機制上更加公開透明,但以其目前的熱度和市值規模,很難對USDT造成大的沖擊。但如果USDT仍重復過去的故事,丑聞纏身,徹底失去信任,那TUSD或者DAI等此類更透明的錨定幣取代USDT終究只是時間問題。[2018/3/13]

在這個方向上,主要分為ZK Rollup和Optimistic Rollup兩種方案,前者以零知識證明(ZK-SNARKs)的密碼學技術確保安全性,而后者則繼承了Plasma的懲罰機制 ,節點一旦作惡,將付出極大代價。

2021年9月1日,基于Optimistic Rollup的以太坊擴容網絡Arbitrum宣布,主網公測版本正式上線,標志著OPR先ZKR一步,正式登上舞臺。

相較于依靠懲罰機制的OPR方案,憑借數學和密碼學的ZKR顯然更能夠做到去信任化,不過,Rollup首先要克服的仍是技術難題,即EVM 的兼容性問題。

如果將 EVM 視為一臺計算機,它在給定特定輸入的情況下,計算智能合約的操作的輸出結果。包括 Arbiturm,Optimism 在內的 Optimstic Rollup 解決方案都有 EVM 兼容的虛擬機,允許其能夠處理在以太坊主鏈上發生的所有操作。

站在數字貨幣的“風口” 歐洲央行要招一位區塊鏈專家:圣誕節馬上就要到了,對歐洲央行行長德拉吉來說,一個區塊鏈專家可以說是最好的圣誕節禮物了。周四,歐洲央行官網放出了這樣一個職位:市場基礎設施建設及支付方面的專門人才。[2017/12/22]

反觀ZK Rollup,由于在 EVM 設計之初,開發者完全設想過之后可能用到 ZK 技術,于是 ZK-EVM 就成為ZK Rollup第一個需要攻克的難關。

開發人員面臨兩種選擇,設計一種支持現有 EVM 的 ZK 指令集,或者重新設計一種對零知識證明友好的虛擬機,前一種路線的代表是 Hermez 和以太坊基金會的Applied ZKP,后者主要是 zkSync和Sin7Y。

在L2的大戰場之外,ZK-EVM成為了各大技術團隊競相角逐的小戰場。

2021年8月,Polygon(Matic)以 2.5 億美元的價格收購了致力于開發ZK-EVM的 Hermez Network。

今年 4 月,專注于zkEVM解決方案的 zkRollup Scroll 宣布完成3000萬美元的A 輪融資,Scroll團隊將與以太坊基金會的Applied ZKP 團隊合作,推出字節碼層面的 zkEVM,并探索加速ZK證明生成的硬件,構建去中心化證明系統。

預期拉滿

在頭部資本中存在一種共識,ZK是一種具有終局性的技術,未來可能會成為區塊鏈世界中普適性的存在。

隨著Paradigm、a16z和紅杉等大機構加緊布局ZK,市場上對ZK的FOMO情緒被引爆,一級市場上ZK項目的估值也逐漸向市夢率前進。

2018年1月,ZK-Rollup開發團隊StarkWare在種子輪獲得600萬美金融資,投資人包括以太坊創始人V神、Paradigm、Pantera 、PolyChain等一眾明星機構。

2021年11月,StarkWare在C輪融資中籌集了5000萬美元,估值達20億美元,紅杉資本領投,Paradigm、三箭資本、Alameda Research等參投。

2022年3月,StarkWare籌集新一輪融資時,一級市場報出的估值已達60億美元。

另一大 ZK明星, zkSync背后的母公司Matter Lab于去年11月完成B輪5000萬美元融資,a16z領投,Placeholder、Dragonfly、1kx等跟投。

由于ZK領域尚有大量理論未得到實踐,缺少成功的案例和優質代碼庫作為參考,學習曲線非常陡峭,項目的開發難度極高,高門檻無疑增加了ZK項目的含金量,然而,當前ZK賽道的仍然有過熱的風險。

長期關注ZK市場的投資人Evans告訴深潮 TechFlow ,這是一種把預期打滿的一個情況,當前許多公鏈都尚未突破StarkWare的FDV(完全稀釋估值),在ZK還沒有具體生態的時候,達到這樣的估值,實際上是短期內預期打進去的結果,后續想要繼續維持這樣的估值,或許有一定的難度。

另一位投資人發現某ZK項目在一年不到的時間內從最初4000萬美元估值漲到了4億美元,直呼“市夢率,投不起”,哪怕只是ZK生態系統中的DEX,一級市場估值有的也在2億美元以上。

不過,一級市場上對ZK的追逐,也不一定是壞事,在資本加持下,大量優秀的開發人員投入到相關研究中,加速EVM兼容落地。

以 ZKSync1.0 為例,包括以太坊基金會研究員 Justine Drake在內的大多數人,都認為實現 ZKSync 2.0 至少需要等到22年底。然而,今年2月份 ZKSync 2.0 測試已正式上線,成為以太坊測試網上首個兼容 EVM 的 ZK Rollup。

但是,ZK Rollup的頭頂,仍然飄蕩著流動性割裂、可組合性降低,以及中心化風險等烏云,ZK有巨大的潛力,但是還遠遠談不上廣泛應用,當前市場上所說的ZK,更多指代ZK Rollup。

從本質上看,ZK Rollup中的零知識證明,只是將可驗證的計算外包,也就是通過第三方輸出一個計算完整性的證明。雖然ZK Rollup緩解了L1可擴展性的不足,但是它同樣面臨著計算成本的壓力。

當前,市場上還沒有專門用作零知識證明的硬件,在以太坊路線圖中,未來將集成 ZKEVM,礦工需要生成證明,就必須需要一枚可以快速生成零知識證明的芯片。

據Paradigm預測,未來“ZK 礦工”的市場規模有望媲美 PoW 挖礦市場,其中對 ZK 硬件加速最重要的技術是 FPGA, GPU成本過高,并且能耗太大,ASIC 從設計、制造到部署,通常需要 12 到 18 個月或更長的時間,相比之下,FPGA 供應鏈更輕便靈活。

嗅到“投資或投機預期”的弄潮兒已經開始下場布局,比如某“加密老人”永遠站在風口,開始下場去做ZK硬件的項目;也有VC開始試圖攛掇有硬件創業經驗的人來做ZK硬件項目,親自孵化……

就這個角度而言,即便只是作為Rollup存在的ZK,它的想象力也遠談不上被窮盡。其次,ZK要突破Rollup的敘事框架,擴展在隱私和信任方面的用例,或許還需要等待Web3世界個人主權意識的崛起。

總體而言,ZK是具有終局性的技術,其意義甚至超越了區塊鏈,對ZK寄予厚望的加密行業已經砸下上百億美金,期待ZK幫助區塊鏈完成蛻變。

假如,ZK發展受阻或者被證偽,那么區塊鏈的發展又將經歷“敘事破滅”的寒冬,這是一場“只許成功,不許失敗”的資本豪賭。

ZK,雄起!

撰文:0x5willows

Tags:區塊鏈ROLROLLUSD哪個是區塊鏈最核心的內容AgrolifeCoinroll幣是什么USDJ價格

以太坊價格今日行情
觀點:我們對區塊鏈游戲的期望太高了_區塊鏈

實話實說,我們對區塊鏈游戲的要求太高了。我是作為一個開發者、投資者、社區成員和一個終生游戲玩家說這句話的.

1900/1/1 0:00:00
金色觀察 | UST崩盤觸發監管 多國強調加強對DeFi及加密監管措施_穩定幣

自5月10日第一大算法穩定幣UST嚴重脫錨,LUNA?出現崩盤陷入死亡螺旋后,整個加密市場被帶動下行,整體行情不穩,連鎖反應也吸引了各國的監管目光.

1900/1/1 0:00:00
因堡壘之夜而出名 Epic的元宇宙布局_EPIC

元宇宙在近一年得到許多關注,包括企業、政府甚至是大眾層面。例如韓國出臺了政策希望打造元宇宙城市.

1900/1/1 0:00:00
教科書般的做空 “加密索羅斯”如何狙擊UST?_BTC

注:這是對“加密索羅斯”狙擊 UST 的一個推演,根據推演,如果幕后主使在 3.2 萬美金左右平倉,那么其將獲利超過 8 億美元.

1900/1/1 0:00:00
金色觀察丨以太坊2.0智能合約TVL創歷史新高意味著什么?_以太坊

金色財經  區塊鏈5月11日訊  2022 年對于以太坊來說意義非凡,隨著全球 DeFi 項目和 NFT 的蓬勃發展.

1900/1/1 0:00:00
以太坊合并:或將是今年加密領域最大事件 大家都準備好了嗎?_以太坊

以太坊2.0質押量超1260萬枚,創歷史新高:據5月16日報道,分析平臺Nansen數據顯示,以太坊2.0質押量已超1260萬枚,占流通總量的10.4%,創歷史新高.

1900/1/1 0:00:00
ads