來源:VaishPuri@TheTieLabs
“我只知道一件事,那就是我一無所知”——蘇格拉底?
最近圍繞L2擴容解決方案有很多明顯的熱情,這是理所當然的。隨著Optimism發布治理代幣、對ETH主網降低gas費用的需求,以及在背靠背的黑客馬拉松中產生的一連串新想法,可以肯定地說,L2在2022正如火如荼地進行。?
在今天文章中,我將剖析有史以來最強大但經常被誤解的加密工具之一:零知識證明。此外,我將重點介紹未來實施的用例和建議,并展示為什么零知識證明是加密未來的關鍵。?
為什么零知識證明很重要
簡單地說,零知識證明是證明者在不實際透露任何信息的情況下說服驗證者某事是真的一種方式。讓我們用一個類比來說明這一點:假設我們有兩個人,Alice和Bob。Alice有一副密封的52張撲克牌。Alice偷偷拿了一張紅牌,想向Bob證明她有一張紅牌,但實際上并沒有出示紅牌。為了做到這一點,Alice需要將所有的黑牌從牌堆中分離出來,然后將它們展示給Bob。Bob計算所有26張黑牌,驗證它們的存在,并確定Alice擁有的卡牌必然是紅色的。因此,Alice能夠向Bob證明她有紅牌,而無需實際出示。這個比喻非常簡化并沒有描繪全貌,但技術背后的核心理念保持不變。?
金色熱搜榜:NEXO居于榜首:根據金色財經排行榜數據顯示,過去24小時內,NEXO搜索量高居榜首。具體前五名單如下:NEXO、AE、OKB、BTT、XMR。[2020/12/18 15:41:32]
零知識證明對于這十年甚至幾千年來說并不新鮮。事實上,這個想法是在1980年代由抽象數學研究人員首次提出的。該解決方案旨在解決當時與證明者和驗證者之間的理論系統相關的問題——交互式證明。?
但是如果驗證者被證明是惡意的怎么辦?除了驗證陳述的真實性之外,Prover還透露了多少額外信息?讓我們看看中心化服務器上密碼的哈希是如何存儲的。傳統上,在與服務器交互時,服務器會得到明文密碼。這是進行“身份證明”的一種糟糕的方式,因此研究人員轉向了一種系統,該系統可以在不泄露任何無關信息的情況下證明聲明。?
更具體地說,假設我們有一些函數C,有兩個輸入C(x,y)。令x為公開輸入,y為秘密見證,讓函數的輸出為真或假。給定一個特定的公共輸入x,證明者必須證明他們知道一個秘密見證y使得C(x,y)?==true。從證明者的角度來看,實現零知識需要隨機性。在驗證者方面,需要隨機性來產生對證明者的查詢。?第一個被廣泛展示的應用是在NP中——完成一類復雜性稱為圖的三著色問題。這是一個巨大的突破,因為這個應用程序可以應用于NP類中的任何問題。這可以一舉多得。?
金色晨訊丨3月27日隔夜重要動態一覽:21:00-7:00關鍵字:區塊鏈炒作、比特幣騙局、USDT無效轉賬
1.人民日報:科技熱詞“區塊鏈”被不法分子借機炒作。
2.西城區區塊鏈應用平臺已正式上線。
3.道指創1931年10月以來最佳連續3日漲幅。
4.美國司法部指控委內瑞拉總統利用加密貨幣隱藏非法相關交易。
5.美國加州州長警告公眾防范比特幣騙局。
6.媒體:“N號房”主犯多以XMR交易,加密資產追回恐非易事。
7.Block.one為Voice投資1.5億美元以支持其獨立運營。
8.USDT鏈上出現28.2億枚無效轉賬。
9.比特幣管理資產自2016年以來增長了10倍。[2020/3/27]
在區塊鏈領域,由于零知識證明能夠提供可擴展性以及在隱私模型中的實用性,因此有許多實現。具體來說,與沒有零知識證明系統的情況相比,驗證者執行的計算工作呈指數級減少。另一方面,證明者需要相當多的計算開銷來執行證明。我稍后會詳細討論這個問題。
ZK協議
雖然目前存在大量的zk協議,但對于這篇文章,我將重點關注SNARK和STARK,并在后面的文章中深入探討其他協議。
簡潔非交互式知識論證是一種流行的證明機制,它結合了2011年首次引入的零知識證明。在底層,zk-SNARK使用橢圓曲線來保證安全并依賴于可信設置。最初,創建密鑰以開發交易所需的證明和驗證所述證明。這些秘鑰包含一個參考字符串鏈接驗證密鑰和發送私人信息的密鑰。為此,必須刪除創建密鑰的方法,并且密鑰的創建者是可信賴的。這種在創建階段對信任的依賴仍然是zk-SNARKs的一大批評點。此外,參考字符串是不可升級的,這意味著如果程序需要更新,則需要重新運行可信設置階段。
金色實力派 | 眾安科技:區塊鏈+供應鏈金融 “雙鏈合一”實現產融結合:12月10日15:00,金色財經重磅推出的“區塊鏈+產業新模式”系列訪談之金色實力派,將與眾安科技供應鏈金融解決方案總監褚維國、西南財經大學中國區塊鏈研究中心CCF區塊鏈專業委員會通訊委員嚴麗娟,一起聊聊眾安科技如何通過區塊鏈+供應鏈金融實現“雙鏈合一”的產融結合。觀看直播可掃碼或戳原文鏈接~[2019/12/10]
然而,在實際實踐中,zk-SNARK很難自行實現。在計算中需要檢查許多步驟,但是單獨檢查每個步驟的工作花費的時間是不可行的。解決方案以多項式的形式出現。將計算編碼為多項式可以節省大量信息和時間。我們可以用“代替“它們的多項式表達式代替它們,而不是在數字之間有無數個方程。
但是等等,還有更多!通常,通過檢查每個系數來使用多項式驗證方程,但這又需要太長時間。多項式承諾在這里發揮作用。多項式承諾可以被視為“哈希”多項式的獨特方法。這允許在更短的時間內進行驗證,無論多項式有多大。此外,多項式承諾本質上是隱私保護,因為證明比多項式本身小得多。盡管可以添加隨機性,但多項式承諾不會顯示多項式的少量信息。
多項式承諾使用三種主要協議之一:bulletproof、KZG和FRI。比較和對比它們超出了本篇文章的范圍,因為每個都值得自己深入研究。
行情 | 金色盤面:BTC權重過大導致走勢的一致性:金色盤面分析:BTC的權重過大,以至于市場完全被其左右,一旦BTC出現較大的波動,市場就會被他帶著走,XRP、TRX、XLM集體啞火,市場沒有龍頭的情況下,只能維持觀望。提醒投資者理性看待市場波動,做好風控。(登錄金色財經APPIOTA\\ADA—發現,查看更多幣種的獨家點評。)[2018/10/19]
2018年,一群研究人員試圖在zk系統中加入透明度。透明度意味著不必依賴受信任方進行初始設置,從而消除了開放后門的威脅。這導致創建了可擴展的透明知識論據,或STARKs。STARK使用哈希函數作為其安全來源,這與SNARK使用的雙線性實現不同。可擴展性方面指的是兩件事:?
1、與SNARK相比,證明者的運行時間在復雜性上要小得多。
2、驗證時間的大小是多對數。STARKs利用FRI,提升信息存儲量和效能。
當前應用
盡管像Zcash這樣的zk-SNARK先驅已經存在了一段時間,但zk-STARK的創建卻迎來了爆炸式增長。zk協議中的工作不僅限于Rollup。事實上,一些L1已經基于zkproof構建,以及萌芽中的游戲項目。?
行情 | 金色熱搜榜:EOS位居榜首 DASH再入前十:根據金色財經獨家數據顯示,在過去24小時內,EOS再次登上熱搜榜榜首,XRP、ONT以及PAI排名變化較大。
具體前十名單如下:EOS、BTC、ETH、ETC、XRP、DASH、ONT、USDT、BCH、PAI。[2018/8/10]
StarkWare是zk-STARK的先驅,開發了兩個核心產品:StarkNet,一個無需許可的去中心化zkrollup,以及StarkEx,一個獨立的zkrollupSaaS。此外,StarkWare開發了名為Cairo的生產級zk虛擬機(zkVM)。Cairo聲稱可以實現圖靈完備的馮諾依曼結構。每個程序與它處理的數據一起駐留在VM的內存中。今天任何人都可以訪問開羅,目前正被著名的StarkEx客戶使用,如dydx、Immutable和DeversiFi。其他使用他們自己版本的zkVM的新應用程序包括PolygonMiden和RiscZero,后者正在嘗試構建通用zkVM。
與zkVM意識形態相反的是zkEVM。zkVMs從頭開始作為針對zk優化的新區塊鏈VM,或者只是適應Solidity工具和兼容性。另一方面,zkEVM實現了完整的EVM操作碼集。使用EVM操作碼有幾個好處:
實現與EVM生態系統和工具的完全兼容
繼承以太坊安全模型
效率可能類似于基于編譯器的方法
不出所料,zkVM和zkEVM陣營之間似乎存在很大的分歧。
zkEVM相對于zkVM的最大優勢是EVM等效性。歷史證明,通過低gas費激勵和為開發人員提供輕松的開發體驗來瞄準龐大的現有dApp社區是卓有成效的,這正是zkEVM建設者所指望的。?
目前最流行的zkEVM項目是zkSync,它使用zk-SNARKs作為2層解決方案進行驗證和擴展。此外,zkSync選擇將數據可用性置于鏈下,并由zkSync代幣質押者使用權益證明(zkPorter)進行保護。此實現的設計基于StarkWare開發的名為Volition的解決方案。
最后,一個相當新的參與者,Scroll正在開發一個通用的L2zkEVM。Scroll采用了一種新方法來使用GPU能力在鏈下生成zk證明。最近在Poseidon哈希、Plookup和PLONK等zk證明方面的突破已經將成本降低到足以使zkEVM成為現實。此外,GPU和ASIC/FPGA加速器的進步正在改善硬件條件,進一步降低成本。Scroll仍處于開發階段,計劃在未來幾個月內推出他們的zkEVM測試網。
未來的應用
ZkProof最初是為了維護隱私而開發的。盡管大眾媒體可能會將當前的用例集中在“更大的TPS允許”上,但事實仍然是zkProof具有更廣泛的應用范圍。?
一個這樣的應用程序是工具zk-ID,它通過zk電路匿名檢查錢包中的資產或鏈上交易來驗證用戶的身份。
Zk身份具有極其強大的潛力,并且在現實世界中可以立即使用用例。例如,假設我是一名債務人,試圖證明自己的信譽,同時仍將銀行信息和活動保密。我會證明我已經從多家受信任的銀行償還了大筆貸款,但不會透露銀行或這些貸款的規格。
支持未來zk-identity的四個關鍵組件
zk領域的另一個重大發展是zk-SNARK證明者的高效私人委托。如前所述,證明的時間相當緩慢。使用SHA2哈希10kb需要140秒,而不是所需的幾毫秒。解決這個問題的方法是外包證明。不幸的是,這帶來了另一個困境:秘密總是泄露。需要的是:外包隱私證明。通過仔細實施,可以將證明委托給手機等設備,其速度比本地計算快26倍。這個新穎的框架由PratyushMishra在2022年4月的zkSummit上首次提出。?
結語
我們在開發基于應用程序的zkProof方面處于非常早期的階段。盡管如此,進展的步伐還是很快的。社區之間仍然存在很多沖突,因為陣營正在形成,意見正在被化。只有時間會證明哪一方是正確的。可以肯定的是,當歷史學家回顧過去時,他們會將這一時期的zk實施視為加密貨幣壯觀歷史中的開創性部分。?
Tags:ARKSTARKSTASTARHeroParkSTARK幣Eco Real Estatestarl幣有投資價值嗎
據CertiK安全團隊監測,,WienerDOGE項目于北京時間2022年4月24日下午4時33分被惡意利用,造成了3萬美元的損失.
1900/1/1 0:00:00Web3社交協議Linkkey計劃為ENS用戶進行空投,引爆了市場對于ENS交易和注冊的熱度。原文標題:《讓大家狂刷ENS的Linkkey是什么?》昨日下午推特和群里突然炒起了ENS,什么「3位.
1900/1/1 0:00:004月27日消息,AnimocaBrands董事長YatSiu以30ETH買入MOAR#24,為鑄造價的60倍。目前鏈上數據顯示ysiu.eth地址共持有該系列NFT13枚.
1900/1/1 0:00:00近幾年,時裝產業緊隨時代的潮流,踏入了數字時代。隨著人口結構的變化,主力消費人群也正慢慢過渡到Z世代。在涉獵NFT的時裝品牌中,有風靡全球的老牌時尚公司,也有只經營虛擬時裝的新興項目.
1900/1/1 0:00:0030年前,綠地還是一家注冊資本2000萬元的小型綠化公司,歷經三十載櫛風沐雨,在張玉良董事長的帶領下,綠地人把一家小公司打造成為萬億規模的世界500強企業.
1900/1/1 0:00:00我們的美好憧憬,真的能由「跨鏈NFT」實現嗎?最近,以Gh0stlyGh0sts、tinydinos為首的「跨鏈NFT」的上漲引人矚目。 作為FreeMint的項目,如此的漲幅可謂驚人.
1900/1/1 0:00:00