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

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

什么是零知識證明

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

圖片資料來源：Google

零知識證明的邏輯

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

Cosmos生態Agoric推出鑄造應用程序Vaults:6月28日消息，基于Cosmos的智能合約平臺Agoric正在推出基于Inter Protocol創建的鑄造應用程序Vaults，作為其持續發展的一部分。Inter Protocol是Agoric上的一個去中心化應用。它是一個應用層，負責部署Cosmos網絡上的原生穩定幣Inter Stable Token（IST）。IST本身類似于Maker DAO的DAI，這是一種與美元錨定的去中心化穩定幣。（Blockworks）[2023/6/28 22:06:25]

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

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

某巨鯨過去一周從Binance和Gate提出約2.6萬枚ETH后進行質押:金色財經報道，據Lookonchain監測，某巨鯨地址過去一周從Binance和Gateio中提取26,132枚ETH（約合5000萬美元），隨后將ETH進行質押。[2023/6/25 21:59:14]

零知識證明的工作原理

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

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

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

Argent將在StarkNet上推出2-FA驗證、多簽錢包等4種新產品和功能:金色財經報道，以太坊智能合約錢包Argent在StarkNet會議上宣布在StarkNet上推出4種新產品和功能，包括2-FA驗證、Argent移動端支持StarkNet Wallet、允許用戶以電子郵件創建Argent Web端錢包、為團隊和DAO設置Argent多簽錢包。[2023/2/7 11:51:41]

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

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

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

印度加密交易所Giottus稱將提供儲備金證明:金色財經報道，印度前十加密貨幣交易所Giottus表示將向客戶提供儲備金證明。

印度其余交易平臺平臺，其中最突出的是CoinDCX、CoinSwitch Kuber和WazirX，拒絕發表評論，而ZebPay、BitBNS和BuyUCoin沒有回應。(coindesk)[2022/11/11 12:47:18]

零知識協議有兩種類型：

交互的：

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

非交互式的：

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

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

圖片資料來源：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：ARK區塊鏈TERENTSTARK影視幣區塊鏈有哪些hamster幣推特Polyient DEX

LTC