zk-SNARK 是一種測試，它允許其中一方證明他們擁有某些信息而不洩露它。
這個詞對某些人來說可能看起來很複雜，是零知識簡潔非交互式知識論證的首字母縮寫。
一種可以在與區塊鏈交互時確定真相並顯著加快交易驗證的創作，同時向第三方隱藏重要數據。
該術語的第一部分是零知識，這意味著其中一方想要證明某事是真實的，而沒有具體說明什麼。
我們知道，在區塊鏈技術中，參與者可能需要證明已經滿足某些要求才能完成交易。例如，他們有必要的資金來運送貨物。問題是他們可能不想透露他們總共擁有多少加密貨幣。
這就是zk-SNARK 的用武之地，被證明對於在區塊鏈中證明身份很有用。
例如，如果我們想驗證另一個人的身份，那個人可以向我們發送一條秘密消息，而無需告訴其他人它到底是什麼，只有我們可以使用我們的私鑰解碼該消息。然後我們可以再次將消息發送給那個人，從而證明他們的身份。
為什麼需要zk-SNARK？
許多人認為，像比特幣這樣的加密為用戶提供隱私，這是主要加密的一個特徵。
但是，創建該系統時並沒有考慮到這種質量，而是需要創建一個無需信任的系統，以保證生態系統的完整性，以便將其用作數字貨幣和發送交易的網絡。
在比特幣的情況下，匿名也經常被談論，這是一種普遍的信念，因為這個區塊鏈的地址與一個人的身份之間沒有直接關係。
但是由於諸如鍊分析之類的解決方案以及我們經常向交易所或我們運營的其他平台提供的信息，可以在一定程度上確定地址背後的人。
這就是為什麼比特幣被認為是一個假名系統。默認情況下，我們不知道誰參與了交易，但通過一些努力可以實現。更重要的是，如果不努力嘗試保持匿名性。
儘管這些措施並非萬無一失，即使用戶採取了必要的預防措施，但始終有可能洩露有關我們持有的BTC 的重要信息。
正是由於第一種加密貨幣缺乏隱私，一些開發人員已經開始著手研究更面向此功能的解決方案。 Zcash 就是這種情況，這是一個使用zk-SNARK 技術的區塊鏈。
zk-SNARK 是如何工作的？
zk-SNARK 使用稱為零知識證明的概念，該概念早在1980 年代後期的區塊鏈技術之前就已開發。
簡而言之，這種發展在於這樣一個事實，即交易的兩方可以驗證他們是否擁有一系列信息，而不必透露具體是哪些信息。
在絕大多數類型的證據中，至少一方當事人必須能夠訪問這些信息。例如，在更傳統的場景中使用加密貨幣時。
在這裡，該人提供加密貨幣，另一方根據其數據庫中的信息驗證其內容是否正確。
在這種情況下，對方必須知道加密的內容是什麼，才能確定它是正確的。
在使用零知識證明的版本中，一方通過數學證明向另一方證明他們擁有正確的加密，而無需透露加密貨幣本身。
這具有很大的隱私和安全優勢，因為對方不需要知道加密貨幣，因此不會將其存儲在可以被盜的中心化位置。
準確解釋所有這些zkSNARK 的工作原理是複雜的，因為它涉及大量數學。這可能並不有趣。
這里相關的是，當事方之一不僅可以證明該信息存在，而且可以證明它擁有該信息。
在諸如Zcash 之類的實現中實際上是即時完成的，作為一種協議，提供測試的一方和驗證的一方之間不需要交互。
簡潔的非交互式知識論證是什麼意思？
我們已經看到zk-SNARK 是由幾個有些複雜的單詞組成的首字母縮寫詞，或者原則上不告訴我們任何事情。但讓我們看看它們中的每一個，以更好地理解這種改進：
S-Succint：意味著測試很小且易於驗證，即使要測試的概念很複雜。 N-Non Interactive：表示不需要測試者和驗證者之間的來回通信。一方提交證明，驗證者可以在沒有進一步問題的情況下判斷證明是否有效。 AR-Argument（參數）：它們不是傳統意義上的測試，因為加密貨幣學和非確定性在這裡介入。因此，這是一種形式主義來談論它們。 K-Knowledge（知識）：指測試者確實擁有證據、信息。它不僅顯示了它的存在，而且在沒有揭示它的情況下準確地顯示了它的本質。 zk-SNARK 的問題
起初，這似乎是一項有趣的技術，因為我們可以利用區塊鏈之類的東西，同時不費吹灰之力地保持隱私和匿名性。
但是圍繞zk-SNARK 存在一些問題，我們現在將討論這些問題，因為並非一切都像看起來那樣好。
首先，如果有人掌握了用於創建測試協議參數的私鑰，他們可以創建對驗證者來說看起來有效的假測試。在特定情況下，這可能會導致有人創建新的Zcash 代幣，就好像它們是偽造的一樣。
對於這種加密貨幣，它的設計方式可以防止這個問題。為此，在多方之間創建和分發測試協議。
儘管在Zcash 的情況下，它的開發方式使得偽造的可能性很小，但還有一個與此加密貨幣相關的問題。
Zcash 的創建對第一年創建的所有船舶徵收20% 的稅。這是基於支付開發者的費用，這就是為什麼它也被稱為“創始人的稅”。用於補償加密的創造者。
對於許多人來說，這帶來了一個相當嚴重的問題，因為由於這個概念的運作方式，系統可以創建無限數量的代幣，而沒有人知道它們的存在。
正是由於這裡尋求的隱私，不可能確切地知道這個項目的總供應量。
有人致力於此，以提供對系統的更多信心。特別是一個名為Suterusu 的團隊正在開發一個名為zk-ConSNARK 的新系統。
以太坊上的zk-SNARK
一些開發人員也在尋求將zk-SNARK 集成到以太坊中。由於該區塊鏈的工作方式，乍一看似乎並不簡單。
所有這一切都是通過智能合約完成的，允許在這個區塊鏈中實現更大的隱私，這使得其他應用程序成為可能，而不僅僅是一種貨幣。
使用zk-SNARK 的加密列表
有幾種加密貨幣利用這項技術來提供私人加密貨幣替代品，儘管這不是實現它的唯一方法。
具體來說，我們已經談到了其中一個，但還有其他的。這雖然不是眾所周知的，但可能會很有趣或在未來變得流行。
哪個是：
零幣礦熱情海盜鏈目的對戰幣菲羅PIVX 單元格框架黑帽Z經典芬多拉女武神網絡
概括
zk-SNARK 是一種用於加密的零知識證明協議。它是一個首字母縮寫詞，代表“簡潔的非交互式知識論證”。該協議創建於1980 年代後期，早於區塊鏈技術，但目前用於一些加密貨幣，例如ZCash，旨在解決比特幣的匿名性問題。 Zk-SNARK 測試基於初始“信任系統”配置，該配置已被批評為固有的安全漏洞。
資訊來源：由0x資訊編譯自CRIPTOTARIO。版權歸作者Criptotario所有，未經許可，不得轉載
