撰文:0x5willows
電影《讓子彈飛》中有這樣一個情節,
為了讓人相信自己沒有多吃一碗涼粉,六子剖開肚子,以性命為代價證明了自己的清白。
在這里,六子是證明者,圍觀群眾是驗證者,六子證明的方式是看腹中究竟有沒有多一碗涼粉。然而,這種證明方式的代價是六子的生命。
上述例子就是一個典型的證明難題。
第一,若要保證驗證的有效性,證明者必須分享知識,
證明者若要通過驗證,需要將知識告知驗證者,而告知知識往往是有代價的。
第二,若驗證無效,驗證者將面臨欺詐風險。舉個例子,在法庭上,如果被告能在開庭前獲得控方律師所有的提問,那么他極有可能成功編造出一個完美的故事騙過對方。
最初的解決辦法是,引入第三方,將驗證過程公開化,以此調和知識所有權與使用權間的矛盾。然而,即便如此,對于具有排他性的知識,一旦出讓使用權,也即喪失了所有權。有沒有不需要動用知識的驗證方式呢?
零知識證明的誕生
時間來到1985年,S.Goldwasser博士畢業后來到MIT,與S.Micali,Rackoff合寫了一篇載入史冊的經典論文《交互式證明系統中的知識復雜性》,零知識證明問世。
此后,證明過程無需“知識”獲得了理論支撐,簡單來說,
通過零知識證明,既能保守秘密,又能讓別人相信你。
上海證券報:數字人民幣測試提速,硬件錢包或成下一個應用風口:記者從多家銀行了解到,數字人民幣錢包開設有望提速,而硬件錢包是未來最大亮點,其設計也更加凸顯個性化,未來多款式、多品類的錢包將融入到生活的方方面面。交行一位工作人員表示,交行正在加速推進數字人民幣硬件錢包的測試,種類十分豐富。目前硬件錢包是鏈接在數字人民幣“軟錢包”上的一個應用。可以通過“軟錢包”向硬件錢包進行充值。隨著“軟錢包”進一步推廣,硬件錢包即將加速登場,應用場景會更加豐富多樣。上周舉行的世界人工智能大會上,工商銀行也展示了更為豐富的硬件錢包樣式,包括異形卡、大屏幕語音錢包、可視卡等。在銀行開發的各式各樣的硬件錢包中,不僅有手表、手機配飾這些大家容易想到的產品形式,甚至耳機殼和拐杖這類日常使用的物件都可以成為數字人民幣的硬件錢包的載體。中國銀行在數字人民幣硬件錢包開發上,為存在數字鴻溝的老年人開發的硬件錢包,不僅可以實現支付功能,還可以擁有一鍵聯系家人功能。(上海證券報)[2021/7/16 0:55:47]
只是由于效率和適用性上的短板,很長一段時間內,零知識證明僅僅停留在學術理論層面,或者只能用于特定項目,直到邂逅區塊鏈。
零知識證明兩大關鍵詞:
保守秘密,即“不泄露信息”;讓別人相信你,即“證明論斷有效”。
這兩個特點恰好被區塊鏈所需要:
隱私:
區塊鏈網絡的共識要求一切公開透明,隱私保護成為問題。
聲音 | 星際資本賈明哲:分布式存儲將成為區塊鏈技術發展下一個風口:12月17日,“數字經濟產業高端峰會暨2019上海藍天經濟城企業年會|深圳”在深圳南山區舉行。星際資本創始合伙人賈明哲出席會議并發表《分布式存儲賽道的投資邏輯》主題演講。他表示,分布式存儲是區塊鏈技術發展大趨勢。而分布式存儲產業需要三要素:1. 政府支持;2. 資本助力;3. 技術驅動。[2019/12/18]
在隱私場景中,借助零知識證明“不泄露信息”的特性,可以在不泄漏交易的細節的情況下證明區塊鏈上的資產轉移是有效的。
擴容:
區塊鏈去中心化的特點,使驗證成為不可承受之重,輕量化的證明成為剛需。
在擴容場景中,主要利用“證明論斷有效”這個特性,鏈上資源是有限的,所以我們需要把大量的計算遷移到鏈下進行,零知識證明正好可以證明這些在鏈下發生的動作是可信的。
早在2016年,專注于鏈上隱私保護的ZCash就正式發布,通過零知識證明,ZCash完成交易驗證,而無需公開全部交易信息。不過,經過多年發展,ZCash仍是不溫不火。
原因也很簡單,盡管隱私很重要,但當前的區塊鏈用戶,還遠沒有建立廣泛而強烈的隱私意識,不敢露富,還不敢露窮么?
目前,隱私并不是剛需,擴容才是,特別是對于以太坊而言。
ZK與Rollup的結合
從底層協議來看,鏈上交易的成本必然高昂,因為要實現充分的去中心化和
中通集團發展研究中心主任金任群:區塊鏈對快遞行業來說只是工具,不是風口:中通集團發展研究中心主任金任群認為,區塊鏈是一種技術,更是一種組織模式,和互聯網一樣,可以應用在任何領域,只是應用深度和方式方法的問題。同時被強調的是,區塊鏈對快遞行業來說只是工具,不是風口。[2018/5/8]
安全
,必須有足夠多的節點進行重復驗證。
隨著區塊鏈應用的擴展,同步一個節點的時間越來越長,越來越龐大的鏈上數據量拉高了硬件的要求,大多數家用計算機甚至連節點的基本要求都達不到,像以太坊這樣用途廣泛的
公鏈
,其節點數量也只有一萬余個,且大多數被托管在亞馬遜AWS上,與去中心化的初衷背道而馳。
相較于隱私保護,區塊鏈的可擴展性,顯然更有意義。
只要實現了可擴展性,那么就既可以維護“去中心化”的正確,同時可以降低gas。
2017年8月,以太坊聯合
創始人
Vitalik
Buterin和JosephPoon,共同提出了初代擴容解決方案Plasma。
然而,Plasma無法提供和主鏈同等的數據可用性和安全性,很快遭遇全面潰敗,
開發者
又將眼光放在了Rollup技術上。
區塊鏈風口,BAT都做了什么?:\t鳳凰網網科技消息,在各種3點鐘群遍布世界各地,商業BP里充斥著發行代幣,作為巨頭,BAT卻在此番風口中顯得低調了許多。事實上,BAT早就已經開始布局區塊鏈,而且主要還是基于區塊鏈技術層面的布局,與現在大熱的虛擬貨幣、ICO無關。由于區塊鏈的技術和場景探索尚處于早期,還未迎來真正爆發時機。
無論是馬化騰、馬云還是李彥宏,都認可了區塊鏈技術革新,并在這個戰場開始投入精力。雖然戰火還未燃起,不過在這短兵交接的前夜,三大巨頭做了哪些軍備競賽?馬化騰近期在兩會上發表了自己對于區塊鏈的看法,“區塊鏈是一個好的技術,但還處在發展的早期,需要建立有效的應用模式,騰訊也在積極探索區塊鏈在各個場景中的應用。”相比騰訊和百度兩家集中在金融領域,阿里對于區塊鏈技術的應用場景要更廣泛,尤其是在商品供應鏈和物流方面。由于金融和電商領域的先天優勢,阿里在區塊鏈技術上相比百度和騰訊也更加突出。百度在AI上All in了資源,在區塊鏈的布局上,似乎比AT要慢了一些,目前主要集中在了金融領域。[2018/3/17]
Rollup的核心理念其實很簡單,
就是將原本散布在區塊中的大量交易數據,打包成“濃縮”的交易,發布到鏈上。
為確保其中每筆交易的有效性,各種Rollup方案設計了不同的機制以確保整個過程的安全性與Layer1保持一致。
在這個方向上,主要分為ZKRollup和OptimisticRollup兩種方案,前者以零知識證明的密碼學技術確保安全性,而后者則繼承了Plasma的懲罰機制,節點一旦作惡,將付出極大代價。
新京報:時間將檢驗區塊鏈是風口還是漩渦:新華網援引新京報消息,不同于此前人民日報對于區塊鏈的積極態度,報道認為很多區塊鏈從業人員對這個概念不甚了解,但不懂裝懂,甚至上升值哲學乃至信仰,而時間將檢驗流行的區塊鏈應用是“天才發明”還是“龐氏騙局”。[2018/2/28]
2021年9月1日,基于OptimisticRollup的以太坊擴容網絡
Arbitrum
宣布,主網公測版本正式上線,標志著OPR先ZKR一步,正式登上舞臺。
相較于依靠懲罰機制的OPR方案,憑借數學和密碼學的ZKR顯然更能夠做到去信任化,不過,
Rollup首先要克服的仍是技術難題,即EVM的兼容性問題。
如果將EVM視為一臺計算機,它在給定特定輸入的情況下,計算
智能合約
的操作的輸出結果。包括Arbiturm,
Optimism
在內的OptimsticRollup解決方案都有EVM兼容的虛擬機,允許其能夠處理在以太坊主鏈上發生的所有操作。
反觀ZKRollup,由于在EVM設計之初,開發者完全設想過之后可能用到ZK技術,于是ZK-EVM就成為ZKRollup第一個需要攻克的難關。
開發人員面臨兩種選擇,設計一種支持現有EVM的ZK指令集,或者重新設計一種對零知識證明友好的虛擬機,前一種路線的代表是
Hermez
和以太坊基金會的AppliedZKP,后者主要是zkSync和Sin7Y。
在L2的大戰場
之外,
ZK-EVM成為了各大技術團隊競相角逐的小戰場。
2021年8月,
Polygon
以2.5億美元的價格收購了致力于開發ZK-EVM的HermezNetwork。
今年4月,專注于zkEVM解決方案的zkRollupScroll宣布完成3000萬美元的A輪融資,Scroll團隊將與以太坊基金會的AppliedZKP團隊合作,推出字節碼層面的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、三箭資本、
AlamedaResearch
等參投。
2022年3月,StarkWare籌集新一輪融資時,一級市場報出的估值已達60億美元。
另一大ZK明星,zkSync背后的母公司MatterLab于去年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為例,包括以太坊基金會研究員JustineDrake在內的大多數人,都認為實現ZKSync2.0至少需要等到22年底。然而,今年2月份ZKSync2.0測試已正式上線,成為以太坊測試網上首個兼容EVM的ZKRollup。
但是,ZKRollup的頭頂,仍然飄蕩著流動性割裂、可組合性降低,以及中心化風險等烏云,ZK有巨大的潛力,但是還遠遠談不上廣泛應用,當前市場上所說的ZK,更多指代ZKRollup。
從本質上看,ZKRollup中的零知識證明,只是將可驗證的計算外包,也就是通過第三方輸出一個計算完整性的證明。
雖然ZKRollup緩解了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,雄起!
Tags:區塊鏈ROLROLL以太坊區塊鏈通俗易懂的講解TROLLBNBroll幣出獠牙肩幾率以太坊價格今日行情美元兌人民幣
5月那場因UST脫錨、LUNA歸零帶來的市場恐慌,終究伴隨著加密熊市的低氣壓蔓延到了6月,另一組有「錨定」關系的加密資產stETH和ETH出現異動。這兩種資產的常規兌換比例為1:1.
1900/1/1 0:00:00別無他法 通脹的陰霾,縈繞在世界上每個主流國家之上。俄烏戰爭、疫情,以及全球供應鏈的中斷…不可否認,在過去二十來年全球化的浪潮之下,每個國家都無法愉快地獨活.
1900/1/1 0:00:00NFTFi概覽 背景 NFT已成為加密世界不可或缺的重要篇章。自2021年出現NFTSummer熱潮至今,以太坊最大的NFT平臺Opensea周交易量已達十億美金量級,獨立錢包數維持在30萬以上.
1900/1/1 0:00:00NFT數據日報是由Odaily星球日報與NFT數據整合平臺NFTGO.io合作的一檔欄目,旨在向NFT愛好者與投資者展示近24小時的NFT市場整體規模、交易活躍度、子領域市占比.
1900/1/1 0:00:00雖然幣價大幅下跌,但加密貨幣的基礎技術——區塊鏈,將在未來十年繼續變革技術領域。Web3世界的許多愿景過于宏大,而貼近消費者的應用往往才是行業爆發的突破口.
1900/1/1 0:00:00Odaily星球日報譯者|Moni 從最近LUNA崩盤事件引發的一連串行業問題不難看出,加密市場正在觸底,而在這過程中,幾乎沒有哪個資產可以幸免.
1900/1/1 0:00:00