圖片來源:由 Maze AI 生成
2022 年,由于 ZK-Rollups 在以太坊領域取得進展,零知識證明(Zero—Knowledge Proof)成為 Web3 年度關熱詞。甚至有人預測下一輪牛市的發動機就將會是零知識證明,并宣稱零知識證明之于 Web3 的重要性,能和 Bitcoin 引入了區塊鏈概念、以太坊引入了智能合約相媲美。
零知識證明何以擁有如此強大發展潛力?這或許要從 Web3 的發展談起。Web3 旨在通過去中心化網絡將網絡所有權移交給其用戶,然而當下 Web3 似乎只是帶來了以用戶為中心的價值觀,距離其愿景落地還有很多問題需要解決,隱私安全即是其面臨的關鍵問題。
Web3 網絡在設計中宣稱用戶與去中心化的網絡進行交互,以避免如 Web2 中心化網絡數據泄露、私有數據化、集權等弊端。即如果您正在運行一個完整的節點,您將獲得完整的、數學上保證的加密安全性。然而,運行一個完整的節點需要昂貴的硬件以及保持連接到 100GB 的大型區塊鏈。
報告:Polygon為以太坊帶來可擴展性方面的成功表明開發者必須接觸到主流消費者:金色財經報道,Bernstein在周三的一份研究報告中稱,Polygon區塊鏈在為以太坊帶來可擴展性方面的成功表明,開發者必須接觸到主流消費者,而不是僅僅在 \"加密貨幣崇拜 \"中運作。Polygon 擁有約 1.7 億個地址的龐大用戶群,其中約 30 萬個被歸類為活躍地址。它以每天 80,000 個新用戶的速度增長。Polygon的費用也較低,使交易平臺Uniswap和OpenSea等應用程序更容易滿足零售需求。[2022/9/29 6:01:31]
顯然目前的加密客戶端無法處理這類需求。因此,當下 Web3 仍在很大程度上依賴于受信任的中心化中介,由這些中介連接起 Web3 去中心化網絡,這似乎與 Web3 愿景背道而馳。如何在去中心化網絡環境中,以去中心化的方式保障隱私安全呢?零知識證明技術巧妙地解決了這個問題。而網絡安全之外,零知識證明的用例還有很多,下文將為大家介紹該技術在加密領域中的用例。
在介紹零知識證明在 Web3 的用例之前,讓我們快速了解零知識證明的原理。零知識證明是一種密碼學,允許一個人(證明者)向另一方(驗證者)證明某些細節是真實的,而無需提供任何額外信息。
V神:Eth 2.0將在2022年末擁有企業級應用程序所期望的可擴展性:以太坊創始人V神表示,我們原本認為進行PoS需要一年時間,但實際上需要六年時間。如果你正在做一件你認為需要一段時間的復雜事情,實際上很可能需要更多的時間。以太坊走到今天的過程中中,發生了許多內部團隊沖突。在項目中發現的最大問題之一不是技術問題,而是與人有關的問題。Eth 2.0或許將在2022年末才能夠擁有大型企業應用程序所期望的那種可擴展性。(Cointelegraph)[2021/6/2 23:04:23]
零知識證明需要以下三個關鍵要求:
完整性:如果陳述真的是真的,并且兩個用戶都正確地遵守規則,那么驗證者將不需要任何其他條件,就可以完成驗證。
可靠性:如果陳述為假,驗證者在任何情況下都不會被說服。該方法利用概率檢查理論,以確保不會發生錯誤。
零知識:意味著驗證信息的人無法知道除斷言是否正確之外的任何信息。
零知識證明有兩種主要類型:
交互式零知識證明要求證明者執行一組任務或操作,以向驗證者證明他們擁有特定信息。為了通過交互式零知識證明而必須完成的大部分任務通常涉及數學概率之類內容。
聲音 | V神:包括以太坊在內的區塊鏈在未來需要解決的最大問題是可擴展性:V神在浙江大學發表演講稱,隨著比特幣價格的提升,挖礦會更傾向于集中化,效率也會降低。以太坊還有幾個月就要切換到PoS。以太坊應用中最常見的是加密貨幣支付、ENS(以太坊域名系統)、資產的數字化。包括以太坊在內的區塊鏈在未來需要解決的最大問題是可擴展性。以太坊2.0在解決可擴展性方面的方案有:sharding(分片)——以太坊2.0最推崇的方案;Plasma(layer2方案);Rollup(鏈下計算,鏈上存儲數據)。另外,以太坊2.0的 phase 0 將從明年年初開始。(巴比特)[2019/9/21]
證明者和驗證者無需相互通信即可使非交互式零知識證明有效,而驗證將在之后進行。這類特殊、的零知識證明需要使用額外的計算或程序。
盡管零知識證明技術早在 1980 年已經產生,但受困于技術難度,其并未得以廣泛應用。零知識證明到底能夠為 Web3 的發展帶來哪些幫助?讓我們從技術用例中窺探一二。
隨著越來越多應用在以太坊上部署,在以太坊上的交易處理速度較慢,網絡擴展性不足成為阻礙其發展的重要難題。而構建一個 Layer2 網絡,將計算處理轉移至鏈下成為解決當下問題的重要方案。ZK-Rollups 即是頗受以太坊社區認可的解決方案之一。ZK-Rollups 系 Starkware,Zk-sync 是擴容類項目。
聲音 | BM:我們正在努力使 EOS 更快 更具可擴展性和可用性:據 IMEOS 報道,BM 昨晚在電報群互動,以下為對話內容總結
1.有成員說到 block.one 正在為另一個項目放棄 EOS。BM 回復到,我們不會放棄 EOS,我們正在努力使其比以往更快,更具可擴展性和可用性。
2.EOS 在技術上一直創新,沒有停滯不前。
3.由于我們計劃中有細節變化,因此我撤銷了之前給出的表情符號串提示,這也是為什么我之前不完全表達。(BM 上周提到因為從宣布活動到活動舉辦之間的幾個月,有很多事情發生并且改變了計劃,因此他撤銷之前給社區的表情符號串提示)[2019/5/21]
擴展性是零知識證明在 Web3 中最普遍的用例。目前也有將擴展和隱私兩種性能結合的方案,如 Aztec、StarkNet 之類的隱私 Layer2 公鏈的發展,感興趣的開發者可在《淺談隱私在 Layer2 現狀和未來》一文中了解更多。
隨著公鏈生態的擴張,以太坊一統天下的局面很難達成,跨鏈互操的需求越來越大,而利用橋來跨鏈的安全性難以得到保障,因此很多項目將開始使用零知識證明以實現互操作,其中包括 Wormhole,Polymer 和 ZKBridge 正在布局基于零知識證明技術構建無信任假設的跨鏈協議,將一改因 IBC 輕客戶端不能在 ETH 運行所導致的無法互通的現象。零知識證明也將大大提高加密橋的安全性,以提高跨鏈互操的安全性。
聲音 | 風投機構Pantera capital 合伙人:看好以太坊將把更多的擴展性項目推向市場:據theblockbeats消息,區塊鏈風投機構Pantera capital 合伙人Paul Veradittakit在接受采訪時表示:以太坊將繼續擁有最強的社區和項目吸引力。此外。最近 ICO 方面有了一些流動性,像 Thunder、Ankr 和 Celer 這樣的項目已經上市。在不久的將來,我想我們將開始把更多的擴展性項目推向市場: Blocksuite、Oasis、Filecoin 和 Polkadot。我預計未來一兩個季度就會出現這種情況。[2019/5/8]
以「黑暗森林」(Dark Forest)為例,這是一款靈感來自于劉慈欣的《三體》的基于零知識證明的游戲。作為策略游戲,游戲中的許多陰謀都來自于隱藏信息或信息不對稱的概念,整個黑暗森林宇宙是無限的,它充滿了成千上萬的對抗玩家、機器人、腳本、智能合約玩家等等。然而,單個玩家在加入宇宙后只能訪問整個宇宙地圖的一小部分,這正是賦予《黑暗森林》靈魂的地方。如何在信息都是公開透明的區塊鏈上實現「隱藏」部分信息,這正是基于零知識證明所實現的「隱藏」部分不想透露或需要觸發條件的信息。
區塊鏈技術不僅保證了我們的資產只由我們自己處理(非托管),而且分布存儲在多個節點中,降低了資產風險。而零知識還有助于進一步提高 Web3 安全級別。在安全設計中使用數學驗證而不是概率論,零知識通過采用有效性證明來降低潛在風險,有效性證明保證信息的準確性,具體而言:
唯一能夠破譯加密信息的人是用戶;如果證明者是偽造的,得到的最終根將不同,驗證者將拒絕接受;
即使所有驗證者與證明者串通,由于區塊鏈數據的可用性,賬戶狀態也可以回滾和更正;
使用零知識證明時,通常會采用額外的檢查和強化機制。
可以通過零知識證明來確認個人的加密身份。零知識證明允許用戶向系統驗證他們的身份,而無需透露他們完整的個人信息。例如,當您登錄一個帳戶時,需要輸入用戶名和密碼,但如果使用零知識證明技術,你只需要出一個 ZK Proof,平臺就永遠無法算出你的真實密碼,在無需泄露個人敏感數據的前提下完成個人身份驗證。
我們在網絡上常會面臨某些數據共享需求,而共享過程中會面臨信息丟失、攔截等問題。當零知識證明與區塊鏈技術相結合,可以分片加密數據,不僅保障傳輸安全性,還能使用戶擁有管理某些塊以及其中包含的信息的權利,從而授予某些用戶訪問權限,而未經授權的用戶則無法訪問您的共享文檔。
去中心化存儲作為 Web3 三大支柱之一,對于行業發展十分重要。而零知識證明能夠為存儲安全提供更好的保護,其能夠利用算法設置相應的協議,使存儲單元和其中的協議被加密,甚至在訪問通道也會設置加密保護,讓 Web3 云存儲的安全性更上一層樓。
在可擴展性和隱私用例之外,零知識證明的用例十分廣泛,其在 Web3 中發揮的作用也更加清晰。目前已有不少項開始將該技術用于項目實踐,據 Messari 統計顯示,零知識證明最廣泛應用的擴展領域的一眾項目將在 2023 年迎來發展的關鍵期,如 Scroll、Polygon zkEVM 等項目主網將陸續上線。在《擴容賽道開年即沖刺,盤點近期上線測試網的 L2 項目》一文中,也介紹了近期上線測試網的零知識證明項目。
但是我們還需要認識到,盡管零知識證明在 Web3 中的應用前景廣闊、領域眾多,但其證明的性能問題還未得到妥善解決。目前有不少團隊都在搞硬件加速,但這種硬件加速僅部分負責有效證明。而在算法級別、軟件級別和其他方面仍需要進行優化。
鑒于此,今年零知識證明的有效的利用將出現在小規模應用之中,很難得到大規模廣泛應用。而 DeFi 之后,零知識證明要想成為下一輪牛市的發動機還有很長的路要走,希望能夠有更多 Web3 開發者在前瞻零知識證明的前景基礎上,敢于挑戰、攻克其技術難題,以技術進展推動應用實踐。
參考文獻:
2023 Crypto Thesis
https://thesis.neworder.network/#in-the-belly-of-the-bear
撰文:TinTinLand
來源:DeFi之道
DeFi之道
個人專欄
閱讀更多
金色早8點
金色財經
Odaily星球日報
歐科云鏈
澎湃新聞
Arcane Labs
深潮TechFlow
MarsBit
BTCStudy
鏈得得
Tags:以太坊WEBWEB3區塊鏈比特幣以太坊再現斷崖式暴跌原因web3游戲項目價值排名Web3Gold區塊鏈害了多少人
撰文:foobar 編譯:aididiaojp.eth,Foresight News當我們通過錢包地址參與加密活動時,需要簽署委托授權書.
1900/1/1 0:00:00金色財經記者 Jessy今天,Twitter 前首席執行官 Jack Dorsey 發推稱,基于去中心化社交協議 Nostr 的社交產品 Damus 和 Amethyst 已分別在蘋果 App.
1900/1/1 0:00:00作者:Esha Bora探索區塊鏈技術和社區代幣化的潛力,將學術研究提高到新的水準。Covid-19 時代讓我們對人類處理巨大危機的能力產生了懷疑和恐懼,因為每分每秒都有大量的人走向死亡.
1900/1/1 0:00:00如果你覺得本文有價值,歡迎轉發。關注作者推特:團長(https://twitter.com/quentangle_)比特幣是區塊鏈技術第一個成功的實踐項目,也讓去中心化的概念深入人心.
1900/1/1 0:00:00頭條 ▌英國政府公布了監管加密貨幣交易和借貸的計劃金色財經報道,英國政府通過財政部周三發布的咨詢文件引入了新的加密貨幣監管框架,其中包含更嚴格的投資和交易規則.
1900/1/1 0:00:00作者:Dragonfly Capital 研究員 Celia Wan 來源:Medium 編譯:DeFi之道 對于幾乎任何非同質化的資產類別,賣家都是價格的制定者.
1900/1/1 0:00:00