SYN:基于零知識證明的匿名代幣

在我們看項目介紹時經常會碰到一些奇怪的詞組，使我們對項目的理解造成困擾，本期我們來聊聊一個經常看到，并且長得很奇怪的概念性詞組“零知識證明”。

什么是零知識證明

區塊鏈領域最卓越的技術之一是零知識證明的廣泛采用。這項技術提供了區塊鏈的不變性和隱私性，并且已經成為確保區塊鏈上交換資訊隱私的三種可能的解決方案之一，其他兩種分別是安全多方計算和可信執行環境，在此本篇不作展開。

圖片資料來源：Google

零知識證明的邏輯

零知識證明(zeroknowledgeproofs)，簡稱為ZKP，它是密碼學中使用的一種方法，用于證明某些已知的東西，而不直接揭示已知的資訊。它基本上允許在交換中對私人資訊保密。零知識證明是間接證明，允許您證明自己知道一個秘密，而無需向其他人透露該秘密。

NFT初創公司Americana宣布與創作者和NFT藝術家合作:金色財經報道，NFT初創公司Americana宣布與創作者和 NFT 藝術家合作，包括 Danny Cole、Vinnie Hagar、Andrew Wang、Tom Sachs Rocket Factory 團隊和 Alexis Ohanian。[2023/6/11 21:29:06]

在零知識證明中，基本角色是證明者和驗證者。證明者必須證明他們知道這個秘密。驗證者必須能夠驗證證明者是否說實話。

它之所以有效是因為，驗證者要求證明者做一些只有在證明者肯定知道秘密的情況下才能完成的事情。如果證明者只是依靠猜測，他們最終將被驗證者的測試所淘汰。如果證明者的確知道這個秘密，那么證明者每次都會通過驗證者的測試，而不會出現問題。簡單地說。這就像我們在找回銀行賬戶密碼時，需要向系統提供正確的手機驗證碼，而不用告訴銀行我們的賬戶里有多少錢。

BTC持有者凈頭寸變化值達到1個月高點:金色財經報道，glassnode alerts數據顯示，BTC持有者凈頭寸變化值剛剛達到1個月高點，數額為42,187.954。[2023/5/6 14:47:02]

零知識證明的工作原理

零知識證明是一種加密協議，它允許一方向另一方出示信息的正確性，而無需透露有關該方的任何其他訊息。該定義最初是由麻省理工學院的研究人員ShafiGoldwasser，SilvioMicali和CharlesRakoff在1958年的論文《交互式證明系統的知識復雜性》中提出的。

零知識證明具有三個主要屬性：

完整性－如果證明者知道驗證信息，那么他可以說服驗證者。

正確性－如果證明者不知道驗證信息，那么他幾乎不可能欺騙驗證者。

zkSync上一項目將921ETH代幣銷售融資卡在合約中，zkSync正在幫助解決:4月7日消息，據TheBlock研究主管Eden Au表示，zkSync上的一個項目通過代幣銷售籌集到921ETH（170萬美元），但資金會被永遠卡在智能合約中。transfer()函數適用于以太坊和其他EVM鏈，但不適用于zkSync。對此，zkSync回應稱，不會卡在智能合約中，正在與團隊合作，幫助他們解決問題，稍后會發布詳細更新。[2023/4/7 13:49:49]

零知識－驗證者即使行為不誠實，也不會從證明者那里得知除驗證信息以外任何其他訊息。

采用交互協議的形式。這意味著驗證者向證明者提出一系列問題，證明者如果知道答案，將正確回答所有問題。否則，驗證者將確定證明者不知道答案。在這種情況下，所有答案都不會給出有關機密本身的任何訊息。

數字貨幣板塊異動拉升，國芯科技漲超10%:行情顯示，數字貨幣板塊異動拉升，國芯科技漲超10%，楚天龍直線拉升觸及漲停，星網銳捷、四方精創、旗天科技等跟漲。[2022/6/24 1:28:36]

零知識協議有兩種類型：

交互的：

驗證者獨立地實時詢問證明者﹔

非交互式的：

不需要驗證者和證明者之間的直接通訊；

驗證者可以在事實之后驗證信息的真實性。

圖片資料來源：Google

zk-SNARKs

第一個基于零知識證明的智能合約就是匿蹤加密貨幣ZEC，其中的演算法便是zk-SNARKs，但因為ZEC的區塊獎勵會有大約20%進入基金會的口袋以支持運作，由于部分支持者不滿這種行為于是分岔出了ZCL代幣，但是兩者的加密算法與架構都是一致的。

zk-SNARKs是zeroknowledgeSuccinctNon-interactiveARgumentofKnowledge的縮寫，這幾個詞分別代表了：Succinct(簡潔，用很少的資料量可以完成整個溝通與驗證)、Non-interactive(不需要與原始發送者溝通即可驗證訊息)、ARgument(只在計算上是安全的，如果遇到一個計算能力極強的攻擊者會失效)。

零知識證明的應用

1.ZKP的應用

零知識的證明的應用主要有5個方面：

1.零知識證明可以為公共區塊鏈引入更多的隱私。例如，四大匿名代幣ZEC,XMR,DASH,REP就是基于零知識證明的加密貨幣，這些匿名代幣在流轉過程中隱匿信息，我們無法通過區塊鏈查詢到交易金額甚至錢包地址。

2.財務：ING使用ZKP，例如，貸款申請人可以證明他們的收入在可貸款的范圍內，而無需透露他們的確切工資。

3.投票：如果在公共區塊鏈進行投票，則不需要值得信賴的第三方來驗證結果。因此，ZKP可以使投票系統匿名，合格的選民可以在不透露身份的情況下證明他們投票的權利。

4.認證：在身份驗證系統中，一方希望通過密碼等一些秘密資訊向第二方證明其身份，但不讓第二方了解具體信息。ZKP可以幫助執行此類資訊交換。

5.訊息傳遞：通過ZKP和區塊鏈，可以讓您要發送到的郵箱之外，沒有人可以閱讀私人郵件。我們可以在消息傳遞世界中建立端到端的信任，而不會泄露任何額外的資訊。

2.ZKP的具體用例

新創公司QEDIT開發了SDK，該工具包使您可以在現有的區塊鏈中實施零知識證明，以增加交易的隱私性，同時保持通過節點進行交易驗證的可能性。該項目已獲得歐盟委員會質量認證，其合作伙伴包括VMWare，AntFinancial和Deloitte等知名公司。

StarkWare已經創建了基于zk-STARKs協議的解決方案，該協議也可以在現有網路上實現。該項目已經吸引了VitalikButerin，PanteraCapital，IntelCapital，SequoiaCapital和其他投資者的資金。

荷蘭銀行ING已發布零知識證明的修改版本-零知識范圍證明。該協議可以使荷蘭銀行在發放企業員工的工資時，無需透露其本身的具體金額。

圖片資料來源：Google

來源：金色財經

Tags：區塊鏈ZKPSYNSYNC區塊鏈技術通俗講解舉例ZKP幣Synth oUSDzksync幣發行量

Bitcoin