買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > 酷幣 > Info

區塊鏈:圖解零知識證明(ZKP) 一篇讀懂密碼學基礎_ARK

Author:

Time:1900/1/1 0:00:00

零知識證明(Zero-Knowledge Proof或Zero-Knowledge Protocol)是一種基于概率的驗證方法,它包括“類似事實的陳述”和“關于個人知識的陳述”。

驗證者基于一定的隨機性來詢問證明者,如果證明者給出的答案正確,那么證明者將有很大概率會擁有其所聲稱的“知識”。零知識證明可以在不透露使用哪種貨幣的情況下驗證你確實花了錢。

如今,零知識證明已經被許多區塊鏈項目視為最好的隱私保護方案之一。能夠在不泄露數據的情況下,來證明數據的真實性。

在本文中,我們將會解釋神秘的零知識證明(Zero-Knowledge Proof)及其當前的應用。

為什么ZKP如此重要?

數據隱私是當今社會最重要的課題之一。保護與個人身份有關的個人數據(出生日期、銀行證明、交易記錄、教育證書)是至關重要的,并且其重要性將不斷提高。

CertiK:Utopia項目遭到攻擊,損失約492枚BNB:金色財經報道,據CertiK官方推特發布消息稱,Utopia項目遭到攻擊,共損失約492枚BNB,約11.93萬美金。攻擊者從Tornado Cash提取資金。[2023/7/20 11:07:03]

在科技時代,我們正在創造著前所未有的海量數據,而且我們也在不斷創造著關于自身的可供掠奪的數據。

像Google和Facebook這樣的大公司利用我們的數據成為了當今世界的科技巨頭。然而,最近密碼學的突破和區塊鏈的興起為保護我們的數據和身份信息提供了新方法。零知識證明或許就是答案。

零知識證明的原理

零知識證明是麻省理工學院的研究人員在20世紀80年代提出的一種加密方案。零知識證明協議是指一方(證明方)可以證明某事對另一方(驗證方)來說是真實的。除了此特定陳述屬實之外,不會透露其他任何信息。

Lido社區已開啟關于批準授權成立金庫管委會的提案投票:4月21日消息,Snapshot投票頁面顯示,Lido社區于今日凌晨開啟關于批準DAO資金管理原則并授權成立金庫資金管理委員會的提案投票,目前支持率為99.12%,投票將于4月28日結束。

提議的金庫管理原則包括ETH是Lido DAO的主要賬戶單位、Lido DAO的資金是協議彈性和未來增長的源泉,可以資助進一步實現協議去中心化和網絡安全目標的計劃;在任何情況下都應將金庫資金的損失風險降至最低;所有金庫ETH必須質押在Lido;LDO持有者擁有最終發言權。[2023/4/21 14:18:20]

例如,當前網站將用戶密碼的Hash散列值儲存在其web服務器中。為了驗證客戶端是否真的知道密碼,大多數網站目前使用的方法是要求客戶端輸入密碼的hash散列,并將其與儲存的結果進行比較。

NFTGo上線數據組件工具:3月24日消息,據官方消息,NFTGo于近期上線數據組件(GoWidgets),提供外部平臺快速部署NFT數據看板的解決方案。該功能目前共提供三種類型的數據組件:數據指標Indicator Metrics、數據圖表Chart和排行榜List。[2023/3/24 13:24:09]

零知識證明可以保護用戶賬號不被泄漏。如果可以實現零知識證明,那么客戶端密碼對任何人來說都是未知的,但是仍然可以對客戶端登錄進行身份驗證。當服務器受到攻擊時,用戶的賬戶仍然是安全的,因為其密碼并沒有被儲存在web服務器中。

零知識證明可以分為「交互式」和「非交互式」兩種。接下來我們就一一來看看這兩種證明方式有哪些不同。

交互式零知識證明

零知識證明協議的基礎是交互式的。它要求驗證者不斷對證明者所擁有的“知識”進行一系列提問。

例如,如果有人聲稱自己知道數獨游戲的答案,零知識證明的過程就是驗證者需要隨機指定要通過列、行或九個正方形進行驗證。

GMX社區提案提議降低GLP中USDC權重,分配至FRAX:8月25日消息,近期GMX社區更改Stablecoin權重提案引發廣泛討論,該提案建議減少Arbitrum上GLP中3%USDC權重占比,提高3%FRAX。當前USDC占比36%、USDT占比2%、DAI占比5%、FRAX占比2%。

據悉,當前Arbitrum上GLP質押年利率達31.33%。[2022/8/25 12:48:20]

每輪測試不需要知道具體的答案,只需要檢測數字1~9是否包含在內。只要驗證的次數足夠多,就有理由相信證明者是知道數獨問題答案的。

然而,這種簡單的方法并不能使人相信證明者和驗證者都是真實的。在數獨這種情況下,兩者可以提前串通,以便證明者可以在不知道答案的情況下依然通過驗證。

如果他們想要說服第三方,驗證者還必須要證明驗證過程是隨機的,并且他不會向證明者泄漏答案。

因此,第三方難以驗證交互式零知識證明的結果,要向多人證明某些東西的話則需要額外的努力和成本才行。

數據:Bored Ape Yacht Club系列NFT近24小時交易額增幅超500%:金色財經報道,據OpenSea數據顯示,Bored Ape Yacht Club系列NFT近24小時交易額為525.4 ETH,24小時交易額增幅達510.93%。近24小時交易額排名位列OpenSea第3。[2022/8/10 12:15:15]

非交互式零知識證明

顧名思義,非交互式零知識證明不需要交互過程,避免了串通的可能性,但是可能需要額外的機器和程序來確定實驗的順序。

例如,在數獨這個例子中,由程序決定要驗證的列或行。驗證序列必須保密,否則驗證者可能會在不知道真正“知識”的情況下通過驗證。

區塊鏈上的零知識證明

比特幣和以太坊都是用公共地址來代替當事方的真實身份,使交易部分匿名,公眾只知道發送和接收的地址以及交易的數量。然而,可以通過區塊鏈上可用的各種信息(如交互記錄)找出地址的真實身份,因此存在暴露隱私的可能。

零知識證明,可以在發送方、接收方和其他交易細節都保持匿名的情況下,保證交易有效。

ZCash可能是成功實現零知識證明的最著名的區塊鏈項目之一。Zcash實現了ZKP的修改版本,被稱為zk-SNARKS,代表Zero-Knowledge Succinct Non-Interactive Argument of Knowledge(零知識簡明非交互式知識證明)

zk-SNARK技術減少了證明的大小以及驗證所需的計算量。它能夠在不泄漏有關地址和相關有價值的任何關鍵信息的情況下證明有效交易條件得到了滿足。

zk-SNARK將需要驗證的交易內容轉換為兩個多項式乘積相等的證明,并結合同態加密和其他先進技術,在執行交易驗證時保護隱藏的交易金額。

其過程可以簡單地描述為:

將代碼拆分為可驗證的邏輯驗證步驟,然后將這些步驟拆分為一個由加法、減法、乘法和除法組成的運算電路;

進行一系列變換,將待驗證的代碼轉化為多項式方程,如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-SNARK并不是完美的。當前zk-SNARK實現中的一個缺陷,是需要提前設置參數。如果這些參數被泄漏,那么整個網絡將面臨毀滅性的打擊。因此,在使用這些網絡時,用戶必須堅信參數不會被泄漏。

可能的解決方案包括使用現代“可信執行環境”,如因特爾 SGX以及ARM TrustZone。對于因特爾的SGX技術來說,即使應用程序、操作系統、BIOS或VMM受到威脅,私鑰也是安全的。

此外,最近的一份白皮書揭示了它在零知識密碼學方面的創新:ZK-STARKs (零知識可擴展透明知識理論,Zero-Knowledge Scalable Transparent ARguments of Knowledge)。

根據zk-STARK 白皮書,zk-STARK是第一個在不依賴任何信任設置的情況下實現區塊鏈驗證的系統,隨著計算數據的增加,計算速度呈指數級增加。

它不依賴于公鑰加密系統,更簡單的假設使其在理論上更加安全,因為它唯一的加密假設是Hash 散列函數(例如SHA2)是不可預測的。

不可否認的是,零知識證明和zk-S(T|N)ARK技術的測試和采用都將需要一定的時間。但是對于區塊鏈底層開發平臺來說,如何兼顧性能和安全性是至關重要的。也許只有零知識證明等密碼學技術被更多應用的時候,區塊鏈這項技術才能被更好地推動。

Tags:ARK區塊鏈DGEEDGGARK區塊鏈是什么意思pledge幣目前進展Ledgity

酷幣
USDT:金色百科丨什么是正向合約與反向合約_trustwallet沒有usdt

隨著衍生品的盛行,越來越多的投資者開始關注或加入合約交易的隊伍。但是合約也分好多種,比如我們常常看到正向合約與反向合約,有時候還會看到幣本位合約與穩定幣合約,它們究竟有何區別,我們該如何選擇?正.

1900/1/1 0:00:00
數字貨幣:金色百科 | 大火的杠桿ETF是什么?散戶可以投資嗎?_比特幣

繼期貨、期權、掉期后,杠桿ETF成為加密衍生品市場上最受關注的產品?那杠桿ETF是什么呢?杠桿ETF是對傳統ETF的一種創新.

1900/1/1 0:00:00
區塊鏈:北行漫記:帶你了解最真實的俄羅斯幣圈_MNFT幣

前言:在希望、震蕩、低迷并存的2019,俄羅斯成為眾多交易所踴躍打卡的網紅地,一時間關于俄羅斯市場的種種新聞不絕于耳.

1900/1/1 0:00:00
ANK:Bankless:如何通過 NFT 在熊市中賺錢?_BANK

NFT 并不是解決每個人財務問題的萬能方案,但它們確實提供了獨特的賺錢機會,你現在在其他地方根本找不到.

1900/1/1 0:00:00
NFT:詳解 Web3 基礎設施框架 哪類基礎設施值得關注?_WEB

原文標題:《一覽 Web3 基礎設施框架,哪些基礎設施應用值得關注》 撰文:Eric Hu 互聯網從根本上改變了社會、個人和經濟.

1900/1/1 0:00:00
DEFI:金色百科 | 除了Chainlink還有哪些預言機項目_區塊鏈

什么是預言機? 區塊鏈系統中,除了能夠在鏈上記載數據,還能夠通過智能合約完成一些操作。例如,去中心化金融(DeFi)依賴區塊鏈系統進行加密貨幣的交易和借貸,而預言機作為從外部獲取數據的重要機制,

1900/1/1 0:00:00
ads