買比特幣 買比特幣
Ctrl+D 買比特幣
ads

STA:零知識前沿:關于SNARKs,STARKs和未來的應用_STARK

Author:

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

「我只知道一件事,那就是我一無所知」——蘇格拉底在今天的文章中,我將剖析有史以來最強大但經常被誤解的密碼學工具之一:零知識證明。此外,我將重點介紹未來實現的用例和建議,并展示為什么零知識證明是crypto未來的關鍵。為什么零知識證明很重要

簡單地說,零知識證明是證明者在不實際透露任何信息的情況下說服驗證者某事是真實的一種方式。讓我們用一個類比來說明這一點:假設我們有兩個人,Alice和Bob。Alice有一副密封的52張撲克牌。Alice偷偷拿了一張紅牌想向Bob證明她有一張紅牌,但不想出示該紅牌本身。為了做到這一點,Alice需要將所有的黑牌從牌堆中拿出來,然后將它們展示給Bob。Bob檢查所有26張黑牌,驗證其不重復不遺漏。由是確定Alice擁有的牌必是紅牌。因此,Alice能夠向Bob證明她有紅牌,而無需實際出示。這個類比是「極度」簡化的而且并沒有描繪出全貌,但技術背后的核心理念是一樣的。零知識證明并非這十年來甚至這個新千年來的新鮮事物。事實上,該想法是在1980年代由抽象數學的研究者首次提出的。該方案旨在解決當時的與證明者和驗證者之間的理論系統–交互式證明–相關的問題。但是如果驗證者是惡意的怎么辦?除了驗證聲明的真實性之外,證明者還泄漏了多少額外信息?讓我們看看中心化服務器上口令的哈希是如何存儲的。傳統上,在與服務器交互時,服務器會知道明文口令。這是進行「身份證明」的一種糟糕方式,因此研究者轉向了一種可以在不泄露任何無關信息的情況下證明聲明的新系統。更具體地說,假設我們有函數C,有兩個輸入C(x,y)。令x為公開輸入,y為秘密證據,函數的輸出為真或假。給定一個特定的公共輸入x,證明者必須證明他知道一個秘密證據y使得C(x,y)==true。從證明者的角度來看,實現零知識需要隨機性。驗證者方面,也需要隨機性來產生對證明者的查詢。被廣泛展示的第一個應用是一個NP完全的稱為圖三著色問題。這是一個巨大的突破,因為這個可以應用于NP類中的「任何問題」。簡直就是「一石N鳥」。在區塊鏈領域,由于零知識證明能夠提供可擴展性以及在隱私模型中的實用性,因此有了許多實現。具體來說,與不用零知識證明系統的情況相比,驗證者執行的計算工作呈指數級減少。另一方面,證明者需要相當多的計算開銷來執行證明。我稍后會詳細討論這個問題。零知識協議

零知識身份驗證方案Outdid完成250萬美元種子輪融資,Jump Crypto領投:6月30日消息,總部位于英國的零知識證明隱私身份驗證方案提供商Outdid宣布完成250萬美元種子輪融資,Jump Crypto領投,Superscrypt以及Matias Woloski、Martin Varsavski、Gaston Frydlewski等15名天使投資人參投。

Outdid提供了一個隱私身份驗證工具,通過利用零知識證明來驗證政府頒發的原始文件,而無需中介機構進行驗證并出具證明。2023年5月份,隱私區塊鏈Dusk Network宣布向Outdid投資5萬美元。[2023/6/30 22:09:37]

目前存在大量的零知識協議,但這篇文章中我將重點關注SNARK和STARK,并在后續文章中深入探討其他協議。簡潔非交互知識論證,SNARK,是一種流行的證明機制,其納入了于2011年首次提出的零知識證明。在底層,zk-SNARK使用橢圓曲線來保證安全性并依賴于可信設置。一開始,創建導出交易所需證明和驗證所述證明的密鑰。這些密鑰包含一個參考字符串,將驗證密鑰和發送私有消息的密鑰聯系起來。為此,必須有刪除所創建的密鑰的方法,且密鑰的創建者必須是可信的。這種在創建階段對信任的依賴仍然是對zk-SNARKs的一大批評點。此外,參考字符串是不可更新的,這意味著如果程序需要更新,則需要重新運行可信設置階段。然而實際實踐中,zk-SNARK很少會獨自出現。在計算中往往需要檢查許多步驟,但是單獨檢查每個步驟的工作將花費大量時間。解決方案以多項式的形式出現。將計算編碼為多項式可以節省大量信息和時間。相比于數字之間的無數個方程,我們可以代替為「代表」它們的多項式表達式。還有,通常會通過檢查每個系數來使用多項式驗證方程,但這又需要太長時間。多項式承諾在這里開始發揮作用。多項式承諾可以被視為用來「哈希」一個多項式的獨特方法,允許在更短的時間內進行驗證,無論多項式有多大。此外,多項式承諾「本質上」是保護隱私的,因為證明比多項式本身小得多。盡管可以添加隨機性,多項式承諾只會泄漏多項式的少量信息。如需更深入地了解多項式承諾和驗證,請查看此內容。多項式承諾使用三種主要協議之一:bulletproof、KZG和FRI。比較和對比每一個都會使本文變得有點難懂,且超出了本文的范圍,因為每個都值得去深入研究。2018年,因為厭倦了現狀,一群研究者試圖在零知識系統中加入透明性。透明性意味著不必依賴受可信方進行初始設置,從而消除了開放后門的威脅。這導致了可擴展透明知識論證,或STARKs,的發明。STARK使用哈希函數作為其安全性來源,這與SNARK使用的雙線性配對不同。名字里的可擴展指的是如下兩件事:與SNARK相比,證明者運行時間在復雜性上要低得多。驗證時間是多項式對數。STARKs使用了FRI,提升了信息存儲量和性能。

a16z:零知識證明保護去中心化和隱私,將取得一系列進展:4月15日消息,a16z發文《去中心化的速度:零知識證明的進步》表示,隨著區塊鏈吸引了數以百萬計的用戶,并且它們所承載的應用程序的復雜性不斷提高,圍繞隱私和可擴展性的兩個關鍵需求已經出現。需要識別的一個關鍵趨勢是,雖然正在為其中許多應用開發專用硬件,但也有一項運動正在優化消費者級硬件的算法,以保護去中心化和隱私。這一趨勢的一個特別好的例子是零知識證明。

我們目前正處于一個非常早期的時刻,零知識證明計劃將取得一系列進展。我們已經從零知識領域中極少數面向消費者的應用程序,發展到在很短的時間內為隱私和可擴展性提供應用程序和區塊鏈的整個生態系統。像這樣的新技術最令人興奮的一點是,很難預測另一面到底是什么樣子。[2022/4/15 14:27:35]

當前應用

雖然像Zcash這樣的zk-SNARK先驅已經存在了一段時間,是zk-STARK的發明使得開發空間迎來了爆炸式的增長。零知識協議方面的工作不僅限于rollups。事實上,一些L1已經是基于零知識證明來構建的了,以及剛萌芽的游戲項目。StarkWare是zk-STARK的先驅,開發了兩個核心產品:StarkNet,一個無需許可的去中心化zk-rollup,以及StarkEx,一個獨立的zk-rollupSaaS。此外,StarkWare是名為Cairo的生產級零知識虛擬機(zkVM)的第一家生產商。Cairo聲稱通過實現圖靈完備的馮諾依曼架構以達到這一點。每個程序與它處理的數據一起駐留在VM的內存中。今天任何人都可以訪問Cairo,目前正被一些有名的StarkEx客戶所使用,如dydx、Immutable和DeversiFi。其他使用他們自己版本的zkVM的新應用包括PolygonMiden和RiscZero,后者正在嘗試構建通用zkVM。

a16z宣布推出使用零知識證明技術的空投領取工具:金色財經報道,加密風投機構a16z在官網宣布推出使用零知識證明技術的空投領取工具,使得加密項目方向活躍貢獻者發放空投時保護貢獻者的地址隱私,特別是根據用戶鏈下活動空投代幣的情況下。

具體而言,潛在的空投接收者可以通過公共渠道(如 Telegram、Discord、Twitter 或 Signal)提供消息(稱為“承諾”);然后,空投者通過將這些承諾散列在一起,構建一個Merkle樹。隨后,潛在的接受者可以通過提供零知識Merkle證明,證明他們是樹內承諾的作者,而無需透露是哪一個,從而聲稱自己的空投份額。

a16z稱,以這種方式申領代幣將收件人的公共地址與所有其他有權空投的用戶的公共地址混合在一起,從而保護他們的匿名性。[2022/3/28 14:21:12]

與自啟動的zkVM思想相反的是zkEVM。zkVMs是從頭開始做針對零知識優化的新的區塊鏈虛擬機,或者只是適配Solidity工具和兼容性。另一方面,zkEVM實現了完整的EVM操作碼集。使用EVM操作碼有幾個好處:實現與EVM生態系統和工具的完全兼容繼承以太坊安全模型效率可能類似于基于編譯器的方法不出所料,zkVM和zkEVM陣營之間似乎存在很大的分歧。

波卡聯合創始人:財政部很快將為零知識擴展和網絡基礎設施發展提供巨額資金:1月23日消息,波卡聯合創始人Robert Habermeier發推表示,Polkadot財政部可能很快就會為進一步發展零知識擴展和網絡基礎設施提供巨額資金。Exit-to-DAO作為一種商業模式將是2022年及以后的決定性變化。[2022/1/23 9:08:17]

zkEVM相對于zkVM的最大優勢是EVM等效性。歷史證明,通過低gas費激勵和為開發人員提供簡單的起始體驗來瞄準龐大的現有dApp社區是卓有成效的,這正是zkEVM建設者所期望的。目前最流行的zkEVM項目是zkSync,它使用zk-SNARKs作為2層解決方案進行驗證和擴展。此外,zkSync選擇將數據可用性置于鏈下,并由zkSync代幣質押者使用權益證明進行保護。此實現的設計屬于StarkWare開發的名為Volition的解決方案。

孫宇晨:波場將于周日推出實現零知識證明的DApp“justwrapper”:孫宇晨昨日在微信群透露,波場將于周日下午兩點推出實現零知識證明技術的智能合約DApp“justwrapper”。第一版僅支持USDT,第二版開始支持TRX、BTT、USDJ、 JST、WIN等所有波場系token,未來還會支持BTC。孫宇晨稱,justwrapper轉賬享有零知識證明級別的隱私,只有轉賬的人和收到的人知道這筆轉賬的發生。[2020/9/26]

最后,一個新玩家Scroll正在開發一個通用的L2zkEVM。Scroll采用了一種新方法來使用GPU的能力來在鏈下生成零知識證明。最近在零知識證明方面的突破,如Poseidonhash、Plookup和PLONK,已經將成本降低到足以使zkEVM成為現實。此外,GPU和ASIC/FPGA加速器的進步正在改善硬件條件,進一步降低成本。Scroll仍處于開發階段,計劃在未來幾個月內推出他們的zkEVM測試網。未來的應用

零知識證明最初是為了保護隱私而開發的。盡管主流媒體可能將當前的用例集中在「允許更大的TPS」上,但事實仍然是零知識證明具有更廣闊的應用范圍。一個這樣的應用是這個工具,它通過零知識電路來匿名檢查錢包中的資產或鏈上交易以驗證用戶的身份。

零知識身份具有極其強大的潛力,并且在現實世界中可以立即找到用例。例如,假設我是一名債務人,試圖證明自己的信譽,同時仍將銀行信息和活動保密。我會證明我已經從多家受信任的銀行償還了大筆貸款,但不會透露這些銀行的名字或這些貸款的規格。

零知識領域的另一個重大進展是zk-SNARK證明者的高效隱私代理。如前所述,證明時間相當緩慢。使用SHA2來哈希10kb數據需要140秒,而不是所需的幾毫秒。解決這個問題的方法是將證明過程外包。不幸的是,這帶來了另一個困境:秘密總是會泄露給外包的機器。于是需要的是外包隱私證明。通過仔細的實現,目前已經可以將證明代理給手機等設備,其速度比本地計算快26倍。這個新穎的框架由PratyushMishra在2022年4月的zkSummit上首次提出。

結語

我們在開發基于零知識證明的應用方面還處于非常早期的階段。盡管如此,進展的步伐還是很快的。原先專家認為在5年內無法達到的階段目前已經實現了。當然,還有很多事情要做。開發社區之間仍然存在很多沖突,因為陣營正在形成,觀點正在被化。只有時間會證明哪一方是正確的。可以肯定的是,當歷史學家回顧過去時,他們會將這一時期的零知識實現視為加密貨幣壯觀歷史中的開創性部分。原地址

Tags:ARKSTARKSTARSTAStarSharks SEASTARK價格ASTAR幣PSTAKE

比特幣價格今日行情
FTX:FTX的CFTC做市提案引發華爾街巨頭激烈爭辯_BLOCK

FTX創辦人SBF三月向美國CFTC提案,希望利用智能合約取代期貨經紀商,實現風險管理自動化。雖然該提案受到CFTC主席贊揚,但顯然華爾街的傳統金融人士不這么認為.

1900/1/1 0:00:00
APE:NFT數據日報 | Akutars成為日交易量冠軍,在過去24小時內最受巨鯨歡迎(4.26)_BabyNFT ART

NFT數據日報是由Odaily星球日報與NFT數據整合平臺NFTGO.io合作的一檔欄目,旨在向NFT愛好者與投資者展示近24小時的NFT市場整體規模、交易活躍度、子領域市占比.

1900/1/1 0:00:00
WEB3:一文詳解NFT項目成功的底層邏輯與非藍籌NFT項目的破局之道_web3游戲賺錢

一.背景4月,隨著moonbirds短時間破紀錄交易額引爆市場,bayc土地即將發行帶領yugaclub家族藍籌猛漲,村上隆花和NBA在科學家們幾百萬份郵件和漏洞攻擊中無法抵擋.

1900/1/1 0:00:00
TWO:如何發現下一個藍籌NFT項目:五個技巧和五個工具_Plutos Network

每天都有一個“熱門”的新NFT項目。 但最后只有少數成為有意義的東西。一年前,你可以用0.08ETH鑄造一個無聊猿.

1900/1/1 0:00:00
NFT:加密貨幣作為新興的地緣力量的崛起_DefiDollar DAO

本文相關主題:烏克蘭,制裁,拜登政府行政命令我們的行業內正在發生一種引力轉變。自從俄羅斯令人震驚地入侵烏克蘭以來,加密貨幣在其中一直發揮著舉足輕重的作用:被用來為烏克蘭的國防事業眾籌數千萬的資金.

1900/1/1 0:00:00
VEX:相比DeFi基元,使用VE模型的中間dApps為何能獲得最大增長?_CON

CurveWar一直是去中心化金融中最受關注的話題之一。造成這種沖突的原因是協議希望他們的代幣具有深度流動性.

1900/1/1 0:00:00
ads