ARK:科普：什么是零知識證明，零知識證明的用例有哪些？_TROLLBNB幣

作者：CaptainHiro，巴比特

也許你曾經聽說過ZKProof或零知識證明。但是，你好像從來沒搞清楚它是什么？什么是ZK-rollups？什么是ZK-SNARKs？在這篇文章中，你所有關于零知識證明的問題都將得到解答，所以請抓緊時間，讓我們一起開始學習零知識證明的旅程吧！

什么是零知識證明？

零知識證明是一種證明方法，通過這種方法，一方在不透露任何實際信息的情況下，可以向另一方證明它知道一個秘密或一個聲明是真實的。

上面提到的術語“零知識”本身就是對以下事實的證明：沒有透露任何信息，但第二方理所當然地相信第一方知道這個秘密或他們的聲明是真實的。

那么，為什么我們需要零知識證明呢？當我們不相信別人會透露信息，但想說服他們我們知道這個秘密或我們的聲明是真實的。

有兩種類型的零知識證明：

交互式

非交互式

1?.我們先看一個交互式零知識證明的例子

假設你需要零知識證明你已經成年，但又不能實際透露你的具體年齡。我們需要一個第三方權威機構來證明你的年齡，該機構的騷操作是這樣的：

“謝謝你提供的出生證明副本，我們已經知道你21歲的事兒了。這里有一個秘密號碼，請秘密存儲并保證它的安全。你可能在以后會需要它。”

歐科云鏈集團正式啟動區塊鏈科普行動“星途計劃”:歐科云鏈集團于4月26日，正式宣布啟動了區塊鏈科普行動——“星途計劃”，行動包括將在全國范圍展開系列沙龍，加大力度推進區塊鏈科普進機關、進國企、進校園等，聯合政府部門、行業協會等共同構建起更加完善和有效的區塊鏈科普教育生態，與此同時，直擊區塊鏈科普現存痛點，推出簡單易懂的“秒懂區塊鏈”公益短視頻課。

該計劃旨在全維度推動社會建立對產業更清晰的認知，與“鯤鵬計劃”一道助力數字經濟及區塊鏈產業本身健康發展夯實“人才”和“產業認知”兩大基礎。[2021/4/26 20:59:37]

“你的秘密號碼將被哈希處理22次，為你制作一個最終的年齡哈希碼。因此，在我們給你的秘密號碼和這個最終的年齡哈希碼之間有22次哈希處理。”

“我們會使用你的名字、一個時間戳和這個最終的年齡哈希碼來進行包裝。這就是你要給別人的證明材料。”

現在，只要你想向別人證明你已經超過18歲，那么你就必須有效地證明，從你的秘密號碼到你的最終年齡哈希代碼有超過18個哈希步驟。

要做到這一點，你只需向他們展示最后18個哈希步驟，你需要首先通過自己做前4個哈希步驟，然后給他們結果；即第四次哈希處理的結果。

火幣推出《一分鐘讀懂DeFi》系列科普視頻:據官方消息，8月24日，火幣推出《一分鐘讀懂DeFi》系列科普視頻，并與微博財經合作冠名播出，布道DeFi認知，助力行業發展《一分鐘讀懂DeFi》是由火幣成長學院打造的業內首個系統全面講解DeFi的系列科普動畫，繼推出《區塊鏈100問》后的再續佳作。《一分鐘讀懂DeFi》系列動畫對DeFi的發展進行系統梳理，適合想要由淺入深、全面系統了解區塊鏈DeFi的人們輕松了解DeFi。目前視頻已由火幣網官方微博發布。[2020/8/24]

然后他們對你提供的結果再進行18次哈希，他們最終會得到最后的年齡哈希碼，并可以驗證你是否成年，因為這寫信息都在你的證明套件中。

實際上，驗證者會說：“給我們一個值，我們可以對其進行18次哈希，以獲得與你的最終年齡哈希碼相匹配的值。如果你不是18歲，那么你的最終年齡哈希碼就不會有18次哈希步驟，我們就不能很好地認證你的真正年齡。”

這也是一個不錯的例子?

一個好的零知識證明的例子-MathOverflow

但這種交互式方法也有一些局限性：

每次他們進行驗證都需要進行整個冗長的過程。而這個過程其實是相當簡單的哈希處理，想象一下進行實際的加密算法的計算是什么樣的？

動態 | 央行官微舊文重發“再科普”：范一飛詳解數字貨幣:據中國經濟網消息，今日，央行官微公眾號頭條重新發布央行副行長范一飛在2018年1月25日題為《關于央行數字貨幣的幾點考慮》的文章，對央行數字貨幣再次進行科普。同時，微信公眾號第二條發布支付司副司長穆長春8月10日在第三屆中國金融四十人伊春論壇上的演講。近年來，各主要國家和地區央行及貨幣當局均在對發行央行數字貨幣開展研究，新加坡央行和瑞典央行等已經開始進行相關試驗，人民銀行也在組織進行積極探索和研究。[2019/8/21]

此外，無論是線上還是線下，雙方都需要在同一時間、同一地點碰頭。

2?.來看看非交互式證明

1986年，Fiat和Shamir發明了Fiat-Shamir啟發式，從而成為第一個基于交互式零知識點證明的數字簽名算法。

Fiat-Shamir啟發式可以通過承諾方案變成非交互式零知識證明，因此產生了ZK-SNARKs或零知識的簡潔非交互式知識論證。

為了使Fiat-Shamir啟發式更加強大，我們使用了承諾方案。承諾方案是許多加密協議的基本組成部分。它允許承諾人公布一個值，并將這個值與一個消息綁定，而不透露它。

目前用于零知識證明的兩個最突出的承諾方案是佩德森承諾和多項式承諾。

金色財經獨家分析 監管機構、媒體、業界提示詐騙風險 區塊鏈科普道阻且長:新華社今日發文表示，近來“區塊鏈”類詐騙案件頻發，不法分子以“投資虛擬貨幣周期短、收益高、風險低”為借口，騙取用戶信任并誘使其轉賬進行投資。無獨有偶，同日消息，騰訊手機管家安全專家也提醒此類風險，并從技術上提出防騙建議。在美國，監管機構警示加密貨幣欺詐現象普遍承諾高收益而不披露潛在風險。金色財經獨家分析，不法分子假借新技術之名進行詐騙，一方面是抓住民眾趨利的心理，一方面反映出區塊鏈科普的欠缺。區塊鏈是新興科技和底層技術并有改變社會生產關系的潛力，應該進行系統性的科普教育，當前，部分大學已經開始設置了區塊鏈課程，但對于普通民眾仍然有科普的需求，人們應該了解到系統和正確的知識，不僅要了解區塊鏈的好，也要明確局限和弊端，以在高收益的誘惑下，保持清醒客觀。[2018/4/11]

但是，直到2013年左右，ZK-SNARKs才變得實際有效，開發者可以在現實世界的應用中實現和使用它。

我推薦你閱讀VitalikButerin的這篇優秀文章?，它總體上介紹了ZK-SNARKs為什么可用，并解釋了它們是如何實現的。也許你不可能一下子就能搞清楚，多讀幾遍，一旦你理解了其中的內容，你就能明白其中的原理。

財政部副部長朱光耀：數字經濟還處在發展的過程中，要以科普、推動的態度來推進數字經濟發展:今日，在中國發展高層論壇2018年會上，財政部副部長朱光耀表示：“數字經濟還處在發展的過程中，要以科普、推動的態度來推進數字經濟發展。也要關注數字經濟的其他影響，包括稅收征管、反洗錢監管措施等要跟上。”[2018/3/25]

在后量子世界中，我們需要確保我們為ZK-SNARKs選擇的加密函數不能被量子計算機強行破解。這就是為什么正在進行改進以實現后量子安全。如果你想了解更多這方面的信息，你可以看ACM的這個講座：

改進的非交互式零知識與后量子簽名的應用?

好了，現在我們知道什么是零知識證明了，但是它們是用來做什么的呢？

在概念上它有兩個主要的用例：

擴大區塊鏈的交易規模

隱私——比如在醫療等領域保護個人數據安全

對區塊鏈進行擴展——ZKRollups

rollup是一種區塊鏈的展解決方案，它通過在第一層網絡之外執行交易，但在第一層發布交易數據來工作。這使得rollup可以擴展網絡，并仍然從以太坊共識中獲得安全性。

將計算移到鏈外就可以處理更多的交易，因為只有rollup的部分交易數據必須使用以太坊區塊。

為了實現這一點，rollup交易在一個單獨的鏈上執行，甚至可以運行一個rollup的特定版本的以太坊虛擬機。

在rollup上執行交易后的下一步是將它們批處理并發布到以太坊主鏈上。

整個過程本質上是執行交易，獲取數據，壓縮數據，并將其以單一批處理的方式rollup到主鏈上，因此這個過程被稱作“rollup”。

以太坊如何知道發布的數據是有效的，而不是由試圖為自己謀利的不良行為者提交的呢?？

每個rollup在第一層都部署了一組智能合約，它負責處理充值和提現，并驗證證明。

證明也是不同類型的rollup之間的主要區別所在。

Optimistic的rollup使用欺詐證明，相比之下，ZKrollup使用有效性證明。

在ZKrollup中，每一批發布到第一層的文件都包括一個稱為ZK-SNARK的加密證明。當交易批次被提交時，該證明可以被第一層合約快速驗證，無效的批次可以被直接拒絕。

關于零知識證明和Optimisticrollups還有很多內容需要你了解，比如它們的實現方法，它們的局限性。這篇文章只涉及了一些簡單的概念，你還需要學習更多相關內容。

許多項目正在為以太坊開發基于ZKrollup的擴展解決方案。一些突出的項目有dYdX、Loopring、PolygonMiden、PolygonHermez。

隱私——日常生活中的應用

假設兩個公司A和B想用區塊鏈作為媒介來運作和交流。

A將資產轉移給B，他們希望這些資產保留在自己內部。是的，區塊鏈會帶來透明度、互操作性、數據安全性和完整性以及其他好處，但為什么一個公司會公開分享他們的內部物流信息？這個時候，零知識證明就有了用武之地。

再比方說，你想私下給你的海外朋友轉一些錢，但又不想讓政府監控這筆交易。你會怎么做呢？零知識證明就可以幫上忙。

在其他幾個領域，零知識證明也會產生深遠的影響，如醫療、保險、電子投票、身份管理。

比如在醫療保健方面，確保DNA數據、個人信息、醫療記錄、基本病史信息、藥物可追溯性、臨床試驗、醫療保健供應鏈、器官移植的安全。

在保險方面，確保數字形式的保險憑證和保險證書、個人信息、車輛信息、結算索賠。

使用區塊鏈和ZKP的身份管理具有深遠的意義。每個與kyc相關的應用程序、學校、大學、支付應用程序都要求提供我們的身份證圖像，如駕駛執照、護照、選民身份、國民身份。我們敏感的個人數據實際上就在那里，而我們甚至沒有意識到信息可能會有隨時泄露的風險。有了零知識證明，我們可以保護所有這些身份信息，只向供應商、應用程序和政府透露必要的信息。事實上，我們可以用零知識證明來完全改造這些身份信息的公布方式。

我們可以對所有這些使用零知識證明，這樣，每當需要某些信息時，用戶就會有選擇性的批準并提供所需的信息，而其余的細節則被隱藏。

只是ZK-SNARKs的效率在2013年之后才足以實際實現并得到開發者的使用，這就是為什么使用零知識證明的不同應用程序在未來有很大的空間涌現。

2016年推出的Zcash是目前唯一成功實現ZK-SNARKs并提供用戶間隱私交易的突出產品。

ZK-SNARKs與ZK-STARKs

圖片來源：MatterLabsgithub資源庫

ZK-STARK代表零知識可擴展的透明知識論證，ZK-SNARK代表零知識的簡潔非交互式知識論證。

這兩種零知識技術在本質上都是非交互式的，這也就意味著代碼可以被部署并自主行動。

ZK-SNARKs在其基礎上依賴于橢圓曲線的安全性。橢圓曲線在密碼學中的基本假設是：找到一個隨機橢圓曲線元素相對于一個公知基點的離散對數是不可行的。

可信設置是指用于創建私人交易所需證明的鑰匙的初始創建事件以及對這些證明的驗證。

如果在可信設置事件中用于創建這些密鑰的秘密沒有被銷毀，那么這些秘密可能被用來通過虛假的驗證來偽造交易。

SNARKs的另一個局限性，正如我們已經知道的，他們在后量子世界的可行性。

另一方面，在一個網絡中開始使用STARKs時是不需要信任設置的。這些也被稱為抗量子化。雖然STARK的證明規模比SNARK大得多。

但是，STARKs仍然處于初級階段，現階段它對開發者的支持也不多，所以我們還有幾年時間才能看到基于ZK-STARK的產品。

文章寫到這就結束了。這是對web3世界中使用零知識證明所做的事情的初步介紹，相信你對零知識證明已經有了一定的了解。

Tags：區塊鏈ARKROLLROL為什么現在不提區塊鏈了quarkchain幣周期在哪里TROLLBNB幣TROLLER

火星幣