小白也能看懂的“零知識證明”原理_ARKS

編者按：本文來自hackernoon.com，作者：OscarW譯者：星球日報茶涼

零知識證明或零知識協議是一種基于概率的驗證方法，包括兩部分：宣稱某一命題為真的證明者和確認該命題確實為真的驗證者。零知識證明指的是證明者能夠在不向驗證者提供任何有用的信息的情況下，使驗證者相信某個論斷是正確的，在密碼學中非常有用。顧名思義，零知識證明就是既能充分證明自己是某種權益的合法擁有者，又不把有關的信息泄漏出去，即給外界的“知識”為“零”。“能夠在不知道用戶是誰，或者他們有多少錢的情況下判斷‘一個用戶是否有足夠的錢發送給另一個用戶’的問題，是零知識證明在區塊鏈中的主要應用之一。”——DemiroMassessi為何零知識證明如此重要？數據隱私是當今社會最重要的課題之一。保護與個人身份有關的個人資料(出生日期、銀行月結單、交易記錄、學歷)極為重要，并會不斷增加其重要性。在科技時代，我們正在生成前所未有的海量數據，而我們不斷創造的關于我們自己的數據也在不斷被獲取。像谷歌和Facebook這樣的大公司已經利用我們的數據成為了今天主宰世界的科技巨頭。然而，最近密碼學的突破和區塊鏈的興起使一種新的方法能夠幫助保護我們的數據和身份，甚至保護我們與之交互的組織。零知識證明可能就是如何保護數據隱私的答案。零知識證明的原則零知識證明是麻省理工學院研究人員在20世紀80年代提出的一種加密方案。零知識證明協議是一方(證明者)向另一方證明(驗證者)某件事情是真實的一種方法。除了該特定聲明是真實的以外，沒有披露任何其他信息。例如，當前網站將用戶密碼的哈希值存儲在其web服務器中。為了驗證客戶端是否真的知道密碼，大多數網站目前使用的方法是對客戶端輸入的密碼進行哈希值計算，并將其與存儲的結果進行比較。零知識證明可以保護用戶的帳號信息不被泄露。如果零知識證明可以實現，那么在客戶的密碼是未知的情況下，仍然可以在客戶端登錄進行身份驗證。當服務器受到攻擊時，用戶的帳戶仍然是安全的，因為客戶的密碼沒有存儲在web服務器中。交互式零知識證明零知識證明協議的基礎是交互式的。它要求驗證者不斷地提出一系列關于證明者所知道的“知識”的問題。例如，如果有人聲稱知道九宮格謎題的答案，零知識證明就是驗證者隨機指定按列、行或九個正方形進行驗證。每個測試不需要知道具體的答案，只需要檢測數字“1”到“9”是否包含在其內。只要驗證的次數足夠多，就有可能判斷證明者是否知道九宮格謎題的答案。然而，這種簡單的驗證方式并不能使人們相信證明者和驗證者都未做偽證。在九宮格游戲中，兩者可能會事先串通，以便證明者在不知道答案的情況下通過驗證。如果他們想說服第三方相信這個結果，驗證者還必須證明驗證過程是隨機的，并且它不會將答案泄露給證明者。因此，第三方很難驗證交互零知識證明的結果，需要第三方的參與，等額外的努力和成本才能向多人證明某件事是真實的。非交互式零知識證明非交互式零知識證明，顧名思義，不需要交互式過程，避免了驗證者和證明者串通的可能性，但可能需要第三方機器和程序來確定驗證的順序。例如，在九宮格游戲中，由第三方程序決定要驗證哪一列或哪一行。驗證序列必須保密，否則驗證者可能在不知道真實“知識”的情況下通過驗證序列。零知識證明在區塊鏈中的應用比特幣和以太坊網絡都使用公共地址來代替驗證者和證明者的真實身份，使得交易部分匿名;只有發送和接收地址，以及交易數量是公眾知道的。但是，通過區塊鏈上提供的各種信息，如交互記錄等，可以發現地址的真實身份，存在隱私暴露的隱患。用了零知識證明之后，發送方、接收方和第三方的細節信息可以保持匿名，同時保證交易有效。最早使用零知識證明技巧的區塊鏈叫做Zcash，實際的作法叫做Zk-Snarks，這是許多零知識證明的做法之一，也是最有名的一個。Zk-Snarks是“零知識簡潔無交互知識認證”的簡稱，是一種在無需泄露數據本身情況下證明某些數據運算的一種零知識證明。Zk-Snarks技術縮減了證明所需的時間和驗證它們所需的計算量。它能夠證明有效交易的條件已經滿足，而不需要透露交易所涉及的地址或交易量的任何關鍵信息。Zcash可以將交易紀錄上的匯款者、收款者和金額都經過加密隱藏起來，因此礦工無從得知這些交易上的細節，但仍然可以驗證交易。不過，目前多數使用者在Zcash上的交易，還是選擇未經加密的作法，因為花費的成本比較高。另外，以太坊上的智能合約目前也已經可以運用Zk-Snarks這套零知識證明的作法。但以太坊不完全是從隱私的角度切入，而是從節省運算成本的角度應用零知識證明。透過Zk-Snarks，以太坊礦工可以不用再重新執行交易的運算，而是只要對方提得出證明即可。大概就像我不需要真的知道你會高一到高三的數學，而只要看到高中畢業證就能確定你懂高中數學。不過，這只有在制作證明的成本，遠低于實際運算成本的情況下才劃算。Zk-Snarks將需要驗證的交易內容轉化為兩個多項式乘積相等的證明，并結合同態加密等高級技術，在執行事務驗證的同時保護隱藏的事務量。其過程可簡單描述為:將代碼分解為可驗證的邏輯驗證步驟，然后將這些步驟分解為由加減乘除組成的計算流程。進行一系列變換，將待驗證代碼轉換為多項式方程，如t(x)h(x)=w(x)v(x)。為了使證明更加簡潔，驗證者事先隨機選擇幾個檢查點s，檢查這些點上的方程是否為真。通過同態編碼或加密，驗證者在計算方程時不知道實際輸入值，但仍然可以驗證。在等式的左右兩邊，乘以一個不等于0的密值k。當驗證(t(s)h(s)k)=(w(s)v(s)k)時，具體的t(s)、h(s)、w(s)、v(s)是不可知的，可以對信息進行保護。當前履行Zk-Snarks算法的一個缺陷是需要在advanced中內置參數。如果這些參數泄露，整個網絡將面臨毀滅性的破壞。因此，用戶必須信任在使用這些網絡時不會泄露的信息。可能的解決方案包括使用現代的“可信執行環境”，如IntelSGX和ARMTrustZone。對于Intel的SGX技術，即使應用程序、操作系統、BIOS或VMM受到威脅，私鑰也是安全的。此外，最近的一份白皮書揭示了它在零知識密碼學中的創新：Zk-Snarkss(零知識可伸縮透明知識參數)。根據Zk-Snarks白皮書，Zk-Snarks是第一個不依賴任何信任設置實現區塊鏈驗證的系統，而隨著計算數據數量的增加，計算速度呈指數增長。它不依賴于公鑰加密系統，而且更簡單的假設使它在理論上更安全，因為它唯一的加密假設是哈希函數(如SHA2)是不可預測的。零知識證明和Zk-S(T|N)ARK等技術的測試和采用需要時間。

德意志銀行巴爾茨：預計歐盟委員會將于6月底提交一份數字歐元的立法提案:金色財經報道，德意志聯邦銀行最高執行委員會委員布克哈德·巴爾茨20日在參加2023清華五道口全球金融論壇時表示，歐元體系正在處理的主題之一是引入央行數字貨幣（CBDC）。2020年，歐元體系就發布了一份關于歐元區零售CBDC的報告——數字歐元。2021年10月，歐元體系啟動了數字歐元項目。德意志聯邦銀行是歐元體系不可分割的一部分，目前仍在探索階段。

巴爾茨稱，預計歐盟委員會將于6月底提交一份立法提案，其中包括數字歐元是否與現金一樣獲得法定貨幣的地位。2023年秋季，歐洲央行理事會將決定是否進入數字歐元的準備階段。[2023/5/21 15:17:09]

知情人士：美國考慮為銀行提供更多支持，同時給予第一共和銀行緩沖時間:金色財經報道，據知情人士透露，美國當局正在考慮延長對銀行的緊急信貸額度，“以某種方式”為第一共和銀行（First Republic Bank）提供時間緩沖，以解決其資產負債表問題。

美國官員尚未決定他們可以向第一共和銀行提供什么支持（如果有的話），但“擴大美聯儲的支持”是正在考慮的選項之一。

據報道，監管機構認為First Republic“足夠穩定，可以運營”，不需要“立即干預”，而該銀行及其顧問試圖“支撐其資產負債表”。

知情人士指出，盡管報道稱美聯儲的流動性供應將根據銀行法擴大（該法規定，流動性供應必須“基礎廣泛”，而不是為了使某一家銀行受益），但他們也警告稱，這一改變可能“以一種確保First Republic受益的方式”進行。（彭博社）[2023/3/26 13:27:02]

TORN 24小時內漲超72%，核心開發者將于2月20日結束關押:金色財經報道，據行情數據顯示，以太坊隱私交易平臺Tornado Cash治理Token TORN價格突破14美元，現報價14.22美元，24小時漲幅72.75%。

此前報道，Tornado Cash開發人員Alexey Pertsev被勒令在獄中關押至2023年2月20日。[2023/2/13 12:04:12]

英國央行副行長：FTX的失敗刺激交易活動轉移至去中心化平臺:11月21日消息，英國央行副行長坎利夫表示，弄清FTX到底發生了什么，無疑將需要大量時間。在FTX事件中，有跡象表明，可能是對其加密貨幣FTT的擠兌引發了崩盤。無擔保的加密資產高度不穩定，沒有內在價值。

有一些初步且有限的證據表明，FTX的失敗刺激了一些交易活動向去中心化平臺進行轉移。我們應該繼續將這些活動和實體納入監管范圍。

過去一年的經驗表明，加密貨幣不是一個穩定的“生態系統”。我們應該把加密行業的金融服務活動納入監管框架。FTX的崩盤規模和相互關聯性還沒有大到足以威脅到整個金融系統的穩定。（金十）[2022/11/21 7:52:24]

成都鏈安：Wuliangye NFT項目疑似Rug Pull，共獲利70.5個ETH:8月11日，成都鏈安鷹眼監測顯示，Wuliangye NFT項目疑似Rug Pull，官網和社群已關閉。成都鏈安安全團隊通過鏈必追-虛擬貨幣智能研判平臺追蹤發現，有595個地址購買了705個WLY NFT，項目方共獲利70.5個ETH，接著將ETH交換為111316.22個USDT，最終轉入0x28C6c06298d514Db089934071355E5743bf21d60地址（標記為Binance 14）。[2022/8/11 12:18:18]

Tags：ARKNARARKS區塊鏈ark幣價格INARIDarkShield Games Studio玩區塊鏈掙的錢合法嗎

LTC