zk-SNARKs是什么與用法 V神定調(diào)零知識證明未來十年「非常重要」
V 神在黑山共和國舉辦的 EDCON 大會上表示在未來 10 年，zk-SNARK 會和區(qū)塊鏈一樣重要，那么zk-SNARK 是什么呢？本文將介紹 zk-SNARKs 的解析 。本文源自 Contributor 于 phemex 所著文章 《What Is zkSNARK: A Beginner-Friendly Explainer》，由 白話區(qū)塊鏈 編譯、整理。
一直以來，區(qū)塊鏈的不可能三角（即可拓展性、去中心化、安全性）三者只能得其二，所以在以太坊實現(xiàn)了較高程度的安全和隱私之后，擴容變成重中之重。
因此 Layer 2 順勢而生，當(dāng)下在 Layer 2 擴容方案中，ZK技術(shù)被以太坊聯(lián)合創(chuàng)辦人 Vitalik Buterin (Ｖ神 )認(rèn)為是解決擴容問題的最終方案。
5 月 21 日，在黑山舉辦的非營利性的年度全球以太坊會議 EDCON 2023 大會上，V 神表示：「未來 10 年，以ZK為底層技術(shù)的zk-SNARK 將與區(qū)塊鏈一樣重要。」
那么最近 V 神力推的 zk-SNARKs 到底是什么？能解決哪些區(qū)塊鏈疑難雜癥？一起來看看今天的這篇介紹。
以下為正文：
什么是 zk-SNARKs？
1.誰創(chuàng)造了 zk-SNARKs？
「zk-SNARKs」一詞是由一群密碼學(xué)家創(chuàng)建的，其中包括 Nir Bitansky、Alessandro Chiesa 和 Eran Tromer，最初這些人在一篇論文中發(fā)表了關(guān)于 zk-SNARKs 的基本原理。由此，zk-SNARKs 逐步被許多不同的項目和團(tuán)隊開發(fā)和改進(jìn)。
2.zk-SNARK 代表什么？
– ZK：zero knowledge 零知識
零知識意味著正在驗證聲明的人無法從驗證過程中獲得任何新信息。換句話說，在零知識證明過程中，驗證者只知道陳述是對還是錯，除此之外一無所知。
– S：simplicity 簡潔
簡潔的 zk-SNARKs 證明是簡短且易于驗證的證明。這與常規(guī)的零知識證明形成對比，后者可能非常長且復(fù)雜。通常，zk-SNARK 證明可以在幾毫秒內(nèi)得到驗證。
– N：non-interactive 非交互式
非交互式 zk-SNARKs 證明不需要證明者和驗證者之間的任何交互。這意味著只有一條結(jié)果消息從證明者發(fā)送到驗證者。這與交互式證明形成對比，在交互式證明中，證明者和驗證者必須相互來回交互才能完成證明。
– AR：argument 爭論
論點是支持一個觀點的一個或一組理由。在 zk-SNARKs 的上下文中，論證是一系列數(shù)學(xué)運算，用于證明一個陳述論點是正確的。
– K：knowledge 知識
知識是指證明者知道完成證明所需的某些信息的想法。例如，這可能是帳戶的私鑰。
綜上所述，zk-SNARKs 是一個 ZK 系統(tǒng)（零知識證明系統(tǒng)），它允許用戶（「證明者」）向另一方（「驗證者」）證明某些東西，比如他們的身份、他們的資金所有權(quán)等，而無需透露有關(guān)這些資產(chǎn)的任何信息。例如：
- 用戶應(yīng)該能夠證明他的帳戶中有足夠的余額來購買產(chǎn)品或服務(wù)，而不必分享他所擁有的確切金額；
- 用戶應(yīng)該能夠在訪問應(yīng)用程序之前驗證他的身份，而不必共享他的個人數(shù)據(jù)。
以如何「向一個 5 歲的孩子解釋 zk-SNARKs」舉例，這里可以通過一個游戲來解釋 zk-SNARKs 是什么：
想象一下，你正在和三個朋友一起玩「語文老師在哪里？」，獎項是 1000 美元的賭注由獲勝者平分。你和你的朋友圍坐在一張桌子旁，每個人都拿到了一張有語文老師的圖片。
你必須在圖片中找到語文老師， 一旦找到語文老師就需要證明你找到了他，但不能透露她的位置或其他任何信息。換句話說，您想在不透露任何超出您聲明有效性的信息的情況下證明對事實的了解。
運用 zkSNARK 原中，可以拿一張相同大小的紙，并在圖片中語文老師的位置標(biāo)記一個點。然后可以把紙藏在一個盒里，一旦你的朋友解決了這個謎題，他們就可以自己看到你標(biāo)記的語文老師所在的位置?！?/p>
換句話說，zk-SNARKs 允許你證明你所需的驗證信息，而無需透露該信息的具體值。在當(dāng)前跨鏈生態(tài)系統(tǒng)中，使用 zk-SNARKs 技術(shù)可以維護(hù)其平臺上構(gòu)建的區(qū)塊鏈和 DApp 的隱私。
在這里面，關(guān)鍵思想是驗證者不可能獲得關(guān)于該證明的任何信息（因此稱為「零知識」證明）。
zk-SNARKs 運作原理
zk-SNARKs 在加密領(lǐng)域尤為重要，因為許多區(qū)塊鏈本質(zhì)上是公開的，隱私就變得尤為重要。
最著名的例子是 Zcash，它是一種隱私加密資產(chǎn)。當(dāng)在比特幣和以太坊等公鏈交易 Zcash 時，會使用發(fā)送方和接收方地址等詳細(xì)信息以及輸入和輸出值（即花費了多少，未花費多少）進(jìn)行驗證。
但通過 zk-SNARKs，Zcash 可以在不公開地址和價值等信息的情況下證明交易有效。
圖片Zcash 如何使用 zkSNARKS 為加密用戶提供隱私層 來源：Blockchainhub.net
zk-SNARKs 如何運作？數(shù)字簽名構(gòu)成了 zk-SNARKs 的工作原理。數(shù)字簽名使用加密算法對敏感信息進(jìn)行保護(hù)，使其對另一方隱藏，同時向該方提供所要求的必要證據(jù)。
那么具體它是如何完成的呢？步驟如下：
- 證明者首先生成一對密鑰，一個公鑰，一個私鑰。他使用私鑰簽署交易。
- 然后證明者將此交易編碼為 zk-SNARKs，這是交易有效的數(shù)學(xué)證明。
- 證明與公鑰一起發(fā)送給驗證者。然后，驗證者使用公鑰檢查公式是否正確，而無需了解有關(guān)交易的任何其他信息。由于只驗證少量信息，因此可以非?？焖俚赝瓿纱藱z查，以確認(rèn)交易有效。
zk-SNARKs 的具體用例
1.哪些 Token 使用 zk-SNARKs？
SNARK 加密 Token 是一種使用 zk-SNARKs 來改善隱私的加密資產(chǎn)，也稱為隱私 Token。這類隱私 Token 的例子有：
– Zcash (ZEC)
– Verge (XVG)
– Monero (XMR)
– Dash (DASH)
– Beam (BEAM)
– Horizen (ZEN)
– Bytecoin (BCN)
zk-SNARKs 的主要挑戰(zhàn)是如果私鑰被泄露，就可以創(chuàng)建偽造的證明。這可能允許偽造證明的創(chuàng)建者進(jìn)行欺詐，例如，創(chuàng)建和使用偽造的隱私幣。
2. zk-SNARKS 的其他應(yīng)用
Filecoin 是一個去中心化保存提供商，運作過程涉及多個方面。
首先，F(xiàn)ilecoin 網(wǎng)絡(luò)上的保存提供者（提供保存空間以換取區(qū)塊獎勵），而「證明者」，必須證明他們正在正確地將數(shù)據(jù)保存在鏈上。
另一方面，我們有「驗證者」，即節(jié)點，他們必須驗證保存提供商是否正確保存和保護(hù)數(shù)據(jù)。這些驗證者必須對保存提供者給出的證明感到滿意。
這要求保存提供商和節(jié)點在數(shù)據(jù)易手時進(jìn)行通信?？梢韵胂?，這一過程將是資源密集型的。
Filecoin 官方博客文章解釋道：
「為了驗證他們的保存，如今單個保存提供商提供的必須證明的數(shù)據(jù)量是巨大的，而且只會隨著時間的推移而增長。Filecoin 網(wǎng)絡(luò)的出塊時間為 30 秒。為了保持時間不變并激活可擴展的方法，F(xiàn)ilecoin需要一種允許快速、高效和穩(wěn)健驗證的解決方案，」
借助 zk-SNARKs，F(xiàn)ilecoin 網(wǎng)絡(luò)可以通過減少各方驗證保存所需的時間來提高其可擴展性和效率。
對于保存提供商，zk-SNARKs 減少了他們需要傳輸?shù)臄?shù)據(jù)量以證明其保存，從而降低了運營成本。
3. zk-SNARKs 還可以用于其他事情
例如：
- 身份驗證：無需密碼即可驗證用戶憑據(jù)，不再需要護(hù)照、出生證明等文檔證明，以保護(hù)出生地點和出生日期等敏感信息。
- 投票系統(tǒng)：無需身份識別即可驗證選民身份，即使選票泄露也無法識別選民身份，從而保護(hù)選民隱私。
- 數(shù)據(jù)壓縮：這是 zk-SNARKS 的一個有趣用途，值得單獨展開一節(jié)。
小結(jié)
總的來說，zk-SNARKS 有三個關(guān)鍵要點：
- zkSNARKS 是一種零知識證明系統(tǒng)，它允許一方向另一方證明他們知道一個值 x，而無需傳達(dá)有關(guān) x 的任何其他信息。
- 關(guān)鍵思想是驗證者不可能僅僅從證明者能夠證明他們知道 x 的事實中推導(dǎo)出關(guān)于 x 的任何信息。這保護(hù)了證明者的數(shù)據(jù)隱私。
- 零知識證明系統(tǒng)用于各種應(yīng)用，包括安全通信、密碼學(xué)和隱私保護(hù)數(shù)據(jù)分析。
雖然目前零知識證明系統(tǒng)是一個相對較新的研究領(lǐng)域，其可行性和實用性仍有許多懸而未決的問題。然而，它們已經(jīng)被用來創(chuàng)造一些令人印象深刻的產(chǎn)品。
你可能感興趣的文章
-
zk-SNARKs是什么與用法 V神定調(diào)零知識證明未來十年「非常重要」
V 神在黑山共和國舉辦的 EDCON 大會上表示在未來 10 年，zk-SNARK 會和區(qū)塊鏈一樣重要，那么zk-SNARK 是什么呢？本文將介紹 zk-SNARKs 的解析…
2026-06-14 -
熊市陷阱是什么？如何識別？2026年熊市陷阱獲利完整指南
熊市陷阱是市場永恒的特征，它懲罰沖動，獎勵耐心與證據(jù),圖表是動態(tài)戰(zhàn)場，清晰的規(guī)則能幫你在這場博弈中保持優(yōu)勢,在2026年的市場環(huán)境中，量化交易和AI策略日益普及，假突破…
2026-06-14 -
什么是趨勢線？深度解析數(shù)字資產(chǎn)交易中的趨勢線
趨勢線是技術(shù)分析中最基礎(chǔ)、應(yīng)用最廣泛的圖表工具之一，廣泛應(yīng)用于股票、外匯和加密貨幣市場,使用此工具的核心原則是選點的一致性,交易者絕不能將一根K線的峰值與另一根K線…
2026-06-14 -
差價合約（CFD）新手指南：為什么市場開盤收盤波動更大？
差價合約（CFD）市場開盤與收盤時段波動最為顯著，是新手交易的關(guān)鍵風(fēng)險節(jié)點,開盤易受隔夜消息、外圍行情影響出現(xiàn)價格跳空、波動加劇、點差擴大的情況；收盤時段市場流動性…
2026-06-13 -
差價合約 (CFD) 新手指南：什么是流動性？流動性的影響解析
本文面向 CFD 交易新手，講解了交易中流動性的定義：即資產(chǎn)快速買賣且不明顯影響價格的能力，流動性高低直接決定交易體驗,文中分析了流動性對點差、訂單執(zhí)行、滑點、止盈止…
2026-06-13 -
什么是幣圈中的OCO訂單?一文帶你安全掌握OCO(One-Cancels-the-Other)訂
OCO（One-Cancels-the-Other）訂單即選擇性委托訂單，是指將止損限價和限價單組合成一個OCO訂單發(fā)出委托，OCO訂單可在保證買入/賣出達(dá)成的情況下，爭取較好的成交價格,下面…
2026-06-12 -
什么是熊市？深入解析熊市的定義、成因與投資策略
熊市是金融市場中常見的循環(huán)階段之一，通常代表市場整體價格持續(xù)下跌、投資情緒悲觀以及資金流出風(fēng)險資產(chǎn),無論是股票市場、加密貨幣市場還是其他金融商品，都可能經(jīng)歷熊市…
2026-06-12 -
出金銀行卡被凍結(jié)了怎么辦？C2C交易風(fēng)控應(yīng)對全指南
C2C出金被凍卡的主要原因可能是用戶與商家的交易過程中涉及到來源不明或涉嫌違法的資金流入用戶賬戶，而銀行出于反洗錢等要求，會對可疑交易進(jìn)行攔截或凍結(jié)賬戶以展開調(diào)查,…
2026-06-12 -
加密貨幣如何運作？區(qū)塊鏈、錢包、共識機制詳解
本文面向新手科普加密貨幣基礎(chǔ)知識，對比其與傳統(tǒng)法幣的差異，講解加密貨幣去中心化、密碼學(xué)加密、可公開溯源等核心特性,文章介紹了加密貨幣錢包、地址、私鑰、助記詞的作…
2026-06-12 -
示例介紹：什么是加密貨幣交易對？以太坊和usdt交易對有什么區(qū)別？
在加密貨幣交易中，交易對是指定價和交易加密貨幣的兩個貨幣之間的配對，顯示購買一種貨幣所需的另一種貨幣的價值,交易對由兩個符號組成，如 btc/usdt 表示比特幣和泰達(dá)幣…
2026-06-12
