隨著計算機技術的不斷發展,我們可以輕松地在互聯網上存儲、傳輸和處理大量的個人和企業數據。然而在這個數字化時代,大家對數據隱私和安全的擔憂也越來越高。為了保護數據的隱私性,密碼學家們開發了許多技術,其中零知識證明是其中一項核心技術。在本文中,我們將盤點細分零知識證明中的實現差異。
交互式與非交互式零知識證明
零知識證明的兩種主要類型是交互式和非交互式。交互式零知識證明和非交互式零知識證明都是證明者和驗證者之間進行的過程,但它們在證明的交互流程上有所不同。
交互式零知識證明(IZKP)要求證明者和驗證者進行來回對話,在對話中證明者對驗證者的查詢做出響應。這種互動可以親自進行,也可以通過互聯網等網絡進行。需要與驗證者進行多輪的交互,以便驗證者可以詢問有關所證明語句之外的附加信息。在每一輪中,證明者需要根據驗證者的詢問提供一個回答。
這種交互式證明方法對于某些復雜的問題可行,但可能會帶來時間和計算成本的問題,并需要所有參與者進行通信。另一方面,非交互式零知識證明(NIZKP)不需要證明者和驗證者之間的任何交互。非交互式零知識證明是指證明者可以一次性地生成證明,并將它發送給驗證者,而不需要進行多輪的交互。與交互式證明相比,非交互式證明速度更快,需要的計算成本和通信量也更少。但是,它有時可能不是可行的方案,如需要涉及附加信息的證明,或需要證明一個非常復雜的語句時。相反,證明者創建了一個單一的、自包含的證明,驗證者可以在沒有進一步溝通的情況下獨立驗證。這比交互式證明更方便和高效,因為它不需要證明者和驗證者同時在線或交換多條消息。
海外信息分發及元宇宙平臺Opera推出的生成式AI助理Aria用戶數已超過100萬:金色財經報道,據昆侖萬維官微消息,旗下海外信息分發及元宇宙平臺Opera推出的生成式AI助理Aria用戶數已超過100萬。[2023/8/5 16:19:33]
實現這一目標的最經典方法之一是使用基于數字簽名的Fiat-Shamir啟發式技術。交互式和非交互式零知識證明之間的主要區別之一是證明者和驗證者之間所需的信任級別。在交互式證明中,驗證者必須信任證明者遵守協議并對他們的查詢提供誠實的回應。另一方面,在非交互式證明中,驗證者根本不需要信任證明者,因為他們可以在不依賴證明者提供的任何信息的情況下獨立驗證證明。兩種類型的零知識證明之間的另一個區別是所需的計算復雜度級別。
交互式證明往往比非交互式證明計算量更大,因為它們需要證明者和驗證者交換多條消息并執行額外的計算。另一方面,非交互式證明只需要驗證者進行一次計算,從而使它們更加高效和可擴展。交互式和非交互式零知識證明各有利弊,給定場景的最佳選擇將取決于具體要求和約束。交互式證明可能更適用于證明者和驗證者同時在線且可以輕松溝通的情況。相比之下,非交互式證明可能更適用于證明者和驗證者不同時在線或證明者可信度不確定的情況。總之,交互式零知識證明和非交互式零知識證明通常是根據特定問題和應用場景來選擇的。
交互式零知識證明的局限性
FTX債權人:請勿點擊任何電子郵件中的任何鏈接:金色財經報道,自稱FTX債權人Sunil發推稱,FTX債權人收到了要求上傳KYC文件的電子郵件,Sumsub是FTX KYC合作伙伴,但請勿點擊任何電子郵件中的任何鏈接。[2023/8/1 16:11:00]
交互式零知識證明是最早被研究和廣泛應用的零知識證明類型之一。在這種證明過程中,證明者和驗證者之間會進行多輪的交互。這些交互旨在允許驗證者向證明者詢問特定的信息,以驗證被證明的內容。這種交互性質使得交互式證明可以非常有效地解決復雜的問題。
一個簡單的例子是著名的“彩色圖問題”,它是關于如何在任何圖中著色的問題。如果證明者聲稱他能夠在任何圖中為每個節點著色,而且相鄰節點必須使用不同的顏色,那么驗證者可以采取交互式零知識證明方法來判斷該聲稱是否正確。在證明過程中,證明者首先以某種方式著色圖形,接著驗證者選擇任意兩個節點并詢問證明者它們是否被用了同一種顏色。證明者需要回答這個問題,但不能透露為什么他會如此選擇。這個過程會持續幾輪,驗證者可以檢查一些有關證明者如何著色圖形的隨機數據。如果證明者可靠地回答了問題,證明者就可以認為是正確的。交互式零知識證明(IZKP)有幾個局限性,因此使它們更加昂貴和復雜。
IZKP需要證明者和驗證者之間的交互,這可能是低效且耗時的。為了完成證明,證明者必須與驗證者來回發送多條消息。這可能會花費大量時間,尤其是在證明很復雜或涉及大量數據的情況下。當速度至關重要時,例如在高頻交易或實時決策中,這可能是個問題。
東方國信:公司有Web3.0底層技術棧儲備:金色財經報道,東方國信(300166.SZ)2月1日在投資者互動平臺表示,目前Web3.0的概念尚不明晰,還處在應用場景探索階段。公司有Web3.0底層技術棧儲備,包括區塊鏈、云計算、人工智能、數字孿生/元宇宙。[2023/2/1 11:41:16]
IZKP不能很好地擴展。隨著被證明數據的增加,證明的復雜性也隨之增加,難以在合理的時間內完成證明。當需要證明大量數據時,例如在供應鏈管理或醫療保健中,這可能是一個問題。
IZKP依賴于證明者和驗證者是誠實的并且不會試圖欺騙或操縱證明的假設。然而,這個假設并不總是有效的,證明者可以通過發送虛假消息或以某種方式操縱證明來試圖欺騙驗證者。這可能會損害證明的完整性并破壞其實用性。
IZKP需要專門的加密技術,這可能難以實施并且需要高水平的技術專長。這可能會使非技術用戶使用IZKP變得困難,并且可能會限制它們在某些情況下的采用。
總的來說,雖然IZKP有可能提供強大的安全和隱私保證,但上述限制在歷史上阻礙了它們的廣泛使用。但它存在一些缺點。尤其是這種證明需要證明者和驗證者之間進行多輪的交互,這會帶來時間和計算成本的問題,并需要所有參與者進行通信。其次,有些應用程序可能需要處理的信息太復雜,以至于證明者和驗證者之間必須進行多輪交互才能得到完整的證明,這就使得交互式證明方法不太可行。一旦理解了交互式和非交互式ZKP之間的區別,就該深入研究最流行的區塊鏈和加密行業實現—zkSNARKs。雖然zkSync使用zkSNARKs,可以說是最流行的使用ZKPs的L2,但緊隨其后的是Starkware的zkSTARKs。讓我們了解這兩種實現方式的不同之處以及各自的優缺點。
報告:DEX交易額突破1萬億美元,Top5 DEX交易量占比達85%:7月6日消息,Chainalysis于近日發布最新Web3報告,要點如下,
1. 去中心化交易所交易額已超過1萬億美元;
2. 大約55%的交易額流向去中心化交易所;
3. NFT是新入場散戶活動的重要組成部分。與NFT交互的錢包平均使用時間為10天,而DeFi為300天;
4. NFT也是增長最快的鏈上付費領域。以太坊NFT支付費用占比從一年前的5%上升到現在的25%;
5. 排名前五的DEX交易量占比高達85%;
6. 借貸平臺也出現了同樣的趨勢。Aave和DeFi共同控制了通過借貸平臺流動的約90%的資金;
7. 從借貸平臺流出的所有資產的50%流入了交易所;
8. DeFi相關DAO平均AUM為1億美元(60個DAO總AUM為60億美元);
9. Chainalysis追蹤的DAO中,85%的財庫資產都集中在單一資產中。對于處理穩定幣的DAO來說,USDC比DAI更受歡迎;
10. 1萬美元以下的交易占據NFT 90%以上的交易頻率。在過去的一個季度里,大約有75萬名NFT活躍買家和賣家。[2022/7/6 1:54:51]
zkSNARKs與zkSTARKs
zkSNARKs和zkSTARKs都是零知識證明(ZKP)系統,允許一方向另一方證明陳述是真實的,而無需透露關于陳述本身的任何信息。ZKP有很多應用,包括區塊鏈上的隱私保護交易、安全的多方計算和匿名通信。它們都是用于保護數據交易和計算中的隱私,但它們的應用場景和技術方案有很大的不同。zkSNARKs技術優勢在于高度壓縮的小證明,在保證計算安全性的同時,支持高度隱私保護和高效交易。zkSTARKs技術優勢在于對復雜算法和大型數據處理性能方面的優化,可以實現更高級別的保護和證明。
美聯儲副主席:創建數字美元可能需要5年時間:金色財經報道,美聯儲副主席布雷納德(Lael Brainard)表示,美國創建數字美元可能需要長達五年的時間,她稱設置必要的安全功能和設計功能可能需要五年時間。此外,布雷納德透露,希望數字美元不要有計息功能,并稱美聯儲正在考慮對數字美元持有量設置上限,以鼓勵客戶僅將其用于支付,而不是將其作為個人或企業存入資金的安全資產。
布雷納德在最近宣誓就任美聯儲副主席職務后的首次證詞中告訴眾議院金融服務委員會,美聯儲仍在研究這個問題,在白宮和國會批準之前不會采取行動,在通過授權法律之前,這本身可能會增加相當長的辯論時間。(CoinDesk)[2022/5/27 3:44:52]
zkSNARKs
zkSNARKs是一種使用高度壓縮的算法來提供非常小的證明的方法,這些證明可以用來證明滿足某些條件的任意計算。通過使用zkSNARKs技術,可以得到一個經過驗證的證明,證明所描述的計算的具體值和詳細步驟是未知的。zkSNARKs的優點是證明大小非常小,只需要大約200字節的證明就可以驗證一個數百萬次計算后的結果,證明的計算成本也相對較低。同時,它們允許對基于密碼學的計算進行高效的隱私保護,特別是在需要驗證但不愿意透露信息時非常有用。因此,zkSNARKs廣泛應用于無信任環境下的交易、加密貨幣、身份驗證和隱私保護領域。zkSNARKs最早由EliBen-Sasson、AlessandroChiesa、DanielGenkin、EranTromer和MadarsVirza于2014年在一篇論文中提出。它們基于“非-交互式證明”,這意味著證明者和驗證者在證明過程中不需要相互通信。這使得zkSNARKs非常適合在區塊鏈中使用,在區塊鏈中,各方之間的通信受到達成共識的需要的限制。zkSNARKs使用公鑰和私鑰的組合來創建證明。證明者可以訪問私鑰,他們用它來生成他們希望做出的陳述的證明。驗證者可以訪問相應的公鑰,用于驗證證明。如果證明是有效的,驗證者可以確信該陳述是真實的,即使他們沒有關于該陳述本身的任何信息。
zkSNARKs的優勢zkSNARKs的主要優勢之一是它們的效率。證明過程非常快,使得在區塊鏈等高吞吐量系統中使用zkSNARKs成為可能。
zkSNARKs的缺點他們依賴于“可信設置”過程,其中一組參與者生成并銷毀一組公鑰和私鑰。如果未正確執行此過程,可能會危及系統的安全性。因此需要夠在可信的第三方中進行設置和參與、視數據的不同而具有不同的性能,并且它們的證明可能會被各種攻擊技術攻擊。
此外,zkSNARKs不是透明的,這意味著如果不訪問私鑰就無法驗證證明的正確性。
zkSTARKs
zkSTARKs是另一種零知識證明技術,專門用于處理復雜算法和大規模數據。相比之下,zkSTARKs可以在不需要中間方的情況下提供更高的安全性,因為它們不需要可信的第三方進行參與和設置。zkSTARKs的優點包括不需要選擇特定曲線進行計算,證明更加通用,并且具有良好的可擴展性和抗攻擊性。它們也沒有任何機密密鑰或公共參數,這使得它們非常適合用于無信任環境下進行的基于密鑰的計算。然而,zkSTARKs技術需要更高的計算成本和證明大小比zkSNARKs技術更大,因此在一些場景中可能不適合使用。
zkSTARKs的優勢zkSTARKs的主要優勢之一是它們的透明度。使用zkSNARKs,無法在不訪問私鑰的情況下驗證證明的正確性。使用zkSTARKs,可以創建一個“驗證證明”,它允許任何人在不訪問任何秘密信息的情況下驗證證明的正確性。這使得zkSTARKs成為信任必不可少的應用程序的更安全和透明的選擇。
zkSTARKs的另一個優勢是它們的可擴展性。zkSNARKs依賴于資源密集型的復雜數學運算,隨著證明規模的增加,它們的效率會降低。
zkSTARK的缺點一個主要缺點是zkSTARKs僅適用于證明某些類型聲明的真實性。特別是,它們只能用于證明以多項式表示的陳述的真實性,這限制了它們的適用性。
另一個缺點是zkSTARKs不是完全非交互的,需要一個可信的設置階段,在這個階段生成一個公共參考字符串。此CRS必須保密且安全,zkSTARK證明才能被視為有效。如果CRS受到損害,那么證明的安全性也會受到損害。
此外,zkSTARKs尚未被廣泛使用或被充分理解,因此可能尚未發現潛在的漏洞。缺乏廣泛采用和理解也意味著缺乏使用zkSTARKs的工具和資源,使得在實踐中實施和使用它們變得更加困難。
最后,與其他零知識證明系統相比,zkSTARKs仍然相對較新且未經測試,這意味著它們的長期安全性和可靠性尚未得到充分了解。對于尋求經過驗證且可靠的方法來驗證聲明真實性的組織或個人而言,這種不確定性可能是一個缺點。
總結
雖然zkSTARKs在效率和安全性方面提供了一些好處,但在決定是否使用它們時也有一些缺點需要考慮。這些缺點包括適用范圍有限、需要可信的設置階段、缺乏廣泛采用和理解,以及對其長期安全性和可靠性的不確定性。zkSNARKs基于曲線上的折線算法,可以用于證明一些計算結果在不泄露計算輸入和密鑰的情況下是正確的。這種技術可以應用于區塊鏈、加密貨幣和密碼學等領域。
與zkSNARKs不同,zkSTARKs是在簡潔交互證明的框架下建立的,這意味著證明可以很容易地驗證,而不需要涉及證明者和驗證者之間的任何交互。因此,zkSTARKs在安全性和可擴展性方面都具有更大的優勢。
隨著技術的發展零知識證明技術將繼續發展和應用,在保護隱私和進行安全驗證等方面,零知識證明技術具有非常廣泛的應用前景。同時隨著協議的發展和優化,零知識證明技術的計算效率和證明大小等方面也將得到改善,從而進一步推動其在實際應用中的普及和應用。
Tags:ZKSARKARKSSTARzksync幣空投比例Stark ChainDarkShield Games StudioSTARPARK
首先,我將介紹作為跟蹤流動性池表現指標的隱含波動率,這與個人投資者在決定提供流動性時參考的典型APY指標相對應。簡單起見,我將專注于恒定函數做市商,如UniswapV2.
1900/1/1 0:00:00一段時間以來,很明顯的看到法定貨幣體系似乎非常不穩定,往壞的說,這是一個已經過期的龐氏騙局。如果是這樣的話,我懷疑中央銀行家和0.1%的人知道這一點,并可能準備在舊系統崩潰之前引入新系統——即使.
1900/1/1 0:00:00翹首以盼的ETH上海升級即將到來。這會對LSD的敘述產生什么影響?以及對Balancer的長期影響可能是什么?讓我們深入了解一下.
1900/1/1 0:00:00文案你來定,大獎你來領!聚焦CCDS,我們一起聚力前行!CCDS自誕生至今,受到業內外高度關注,交出了一份階段性滿意的答卷.
1900/1/1 0:00:00有一些項目為我們銜來了DeFi的火種。如今,出于某些原因,他們又同時開始為這個生態帶來創新。這些創新將為這個領域帶來什么樣的改變? 文章將提到: ?Aave?GHO ?Synthetix?V3?.
1900/1/1 0:00:00FVM如何與Gas經濟緊密聯系Filecoin虛擬機的啟動可以讓用戶可編程智能合約落地到Filecoin區塊鏈上。這些智能合約將可以與Filecoin數據存儲能力互動,為創新應用創造條件.
1900/1/1 0:00:00