一文說透zk-SNARKs 為何未來十年與區塊鏈一樣重要_ARKS:BIT

一直以來，區塊鏈的不可能三角（即可拓展性、去中心化、安全性）三者只能得其二），所以在以太坊實現了較高程度的安全和隱私之后，擴容變成重中之重。

因此Layer 2 順勢而生，當下在 Layer 2 擴容方案中，ZK技術被太坊聯合創始人 Vitalik Buterin (V 神)認為是解決擴容問題的最終方案。

5 月 21 日，在黑山舉辦的非營利性的年度全球以太坊會議 EDCON 2023 大會上，V 神表示，未來 10 年，以ZK為底層技術的zk-SNARK 將與區塊鏈一樣重要。

那么最近V 神力推的 zk-SNARKs 到底是什么？能解決哪些區塊鏈疑難雜癥？一起來看看今天的這篇介紹。以下為正文：

01 什么是 zk-SNARKs？

1.誰創造了 zk-SNARKs？

“zk-SNARKs”一詞是由一群密碼學家創建的，其中包括 Nir Bitansky、Alessandro Chiesa 和 Eran Tromer，最初這些人在一篇論文中發表了關于 zk-SNARKs 的基本原理。由此，zk-SNARKs 逐步被許多不同的項目和團隊開發和改進。

加密期權交易所Deribit將于4月24日推出零費用現貨交易:4月20日消息，加密貨幣期權交易所Deribit宣布將于4月24日推出零費用現貨交易，在推出時，Deribit將提供三對現貨交易：BTC/USDC、ETH/USDC和ETH/BTC。

Deribit首席商務官Luuk Strijers表示，未來可能會上架更多代幣，但零費用不會長期持續，Deribit計劃通過推出現貨交易來吸引更多的零售用戶。此外，他還表示，Deribit還計劃在迪拜獲得加密許可證，并將其總部從巴拿馬遷至該市。

據悉，Deribit的現貨交易與其衍生品平臺一樣，將無法供美國和其他一些受限制國家/地區的用戶使用。[2023/4/20 14:15:12]

2.zk-SNARK 代表什么？

- ZK：zero knowledge零知識

零知識意味著正在驗證聲明的人無法從驗證過程中獲得任何新信息。換句話說，在零知識證明過程中，驗證者只知道陳述是對還是錯，除此之外一無所知。

- S：simplicity 簡潔

簡潔的 zk-SNARKs 證明是簡短且易于驗證的證明。這與常規的零知識證明形成對比，后者可能非常長且復雜。通常，zk-SNARK 證明可以在幾毫秒內得到驗證。

去中心化衍生品交易協議Veax將于1月31日推出Advanced DEX公共測試網:1月28日消息，去中心化衍生品交易協議 Veax 將于 1 月 31 日推出基于 NEAR 的 Advanced DEX 公共測試網，支持流動性管理、流動性池、真實保證金和衍生品交易等功能。

數據顯示，Veax 是由 Tacans Labs 開發的單邊流動性管理 DEX，具有開創性的 TradFi 授權功能。Veax 于 2022 年 11 月完成 120 萬美元 pre-seed 輪融資，Circle Ventures 等參投。[2023/1/28 11:33:50]

- N：non-interactive 非交互式

非交互式 zk-SNARKs 證明不需要證明者和驗證者之間的任何交互。這意味著只有一條結果消息從證明者發送到驗證者。這與交互式證明形成對比，在交互式證明中，證明者和驗證者必須相互來回交互才能完成證明。

- AR：argument 爭論

論點是支持一個觀點的一個或一組理由。在 zk-SNARKs 的上下文中，論證是一系列數學運算，用于證明一個陳述論點是正確的。

韓國檢方考慮以欺詐罪起訴Terra聯創Daniel Shin:11月28日消息，韓國檢方表示，他們可能會指控Terraform Labs聯合創始人Daniel Shin犯有欺詐罪，因為他將現已崩潰的Terra-Luna穩定幣作為一種支付方式進行推廣，盡管金融監管機構多次警告這是違法的。

據當地媒體YTN報道，Daniel Shin的全名是Shin Hyun-seung。他在2018年多次表示，Terra穩定幣將成為韓國用戶在電子商務平臺上的一種支付方式。然而報道稱，韓國金融監督院多次告訴Shin，根據《電子金融交易法》，虛擬資產不能作為支付方式注冊。

首爾南區檢察官辦公室官員Choi Sung-kook向Forkast證實YTN的報道屬實。該報道稱，檢方正在考慮是否以涉嫌違反《資本市場法》的欺詐罪起訴Daniel Shin，以及是否簽發拘捕令。（Forkast）

據此前報道，韓國首爾南部地區法院批準當地檢察官的請求，凍結屬于Terraform Labs聯合創始人Daniel Shin的約1.04億美元的資產。地方當局認為這些資產是通過加密貨幣LUNA非法獲得。早些時候Shin接受當地檢察官辦公室的調查，他因違反資本市場法和違反職責的指控而接受調查。Daniel Shi告訴韓國檢察官，在代幣價格暴跌之前，他沒有在高點出售LUNA。[2022/11/28 21:07:19]

- K：knowledge 知識

安全團隊：“胖企鵝”出現冒名推特賬戶和釣魚欺詐網站，已有22枚NFT被盜:8月25日消息，據派盾（PeckShield）監測，“胖企鵝”Pudgy Penguins 出現冒名推特賬戶 @pudgypinguins 和釣魚欺詐網站 pudgypengun-lcb[.]com，目前已有 22 枚 NFT 被盜，包括 VeeFriends 和 Pudgy Penguins 系列 NFT。[2022/8/25 12:47:01]

知識是指證明者知道完成證明所需的某些信息的想法。例如，這可能是帳戶的私鑰。

綜上所述，zk-SNARKs 是一個ZK系統（零知識證明系統），它允許用戶（“證明者”）向另一方（“驗證者”）證明某些東西，比如他們的身份、他們的資金所有權等，而無需透露有關這些資產的任何信息。例如：

- 用戶應該能夠證明他的賬戶中有足夠的余額來購買產品或服務，而不必分享他所擁有的確切金額；- 用戶應該能夠在訪問應用程序之前驗證他的身份，而不必共享他的個人數據。

以如何“向一個 5 歲的孩子解釋 zk-SNARKs”舉例，這里可以通過一個游戲來解釋 zk-SNARKs 是什么：

比特幣全網未確認交易數量為11619筆:金色財經報道，據BTC.com數據顯示，目前比特幣全網未確認交易數量為11619筆，全網算力為207.47EH/s，24小時交易速率為2.68交易/s，目前全網難度為28.35T，預測下次難度上調0.14%至28.39T，距離調整還剩9天5小時。[2022/8/23 12:42:01]

“想象一下，你正在和三個朋友一起玩“語文老師在哪里？”，獎項是 1000 美元的賭注由獲勝者平分。你和你的朋友圍坐在一張桌子旁，每個人都拿到了一張有語文老師的圖片。

你必須在圖片中找到語文老師， 一旦找到語文老師就需要證明你找到了他，但不能透露她的位置或其他任何信息。換句話說，您想在不透露任何超出您聲明有效性的信息的情況下證明對事實的了解。

運用zkSNARK原中，可以拿一張相同大小的紙，并在圖片中語文老師的位置標記一個點。然后可以把紙藏在一個盒里，一旦你的朋友解決了這個謎題，他們就可以自己看到你標記的語文老師所在的位置。”

換句話說，zk-SNARKs 允許你證明你所需的驗證信息，而無需透露該信息的具體值。在當前跨鏈生態系統中，使用 zk-SNARKs 技術可以維護其平臺上構建的區塊鏈和 DApp 的隱私。在這里面，關鍵思想是驗證者不可能獲得關于該證明的任何信息（因此稱為“零知識”證明）。

02 zk-SNARKs 運作原理

zk-SNARKs 在加密領域尤為重要，因為許多區塊鏈本質上是公開的，隱私就變得尤為重要。最著名的例子是 Zcash，它是一種隱私加密資產。當在比特幣和以太坊等公鏈交易Zcash時，會使用發送方和接收方地址等詳細信息以及輸入和輸出值（即花費了多少，未花費多少）進行驗證。但通過 zk-SNARKs，Zcash 可以在不公開地址和價值等信息的情況下證明交易有效。

Zcash 如何使用 zkSNARKS 為加密用戶提供隱私層來源：Blockchainhub.net

zk-SNARKs 如何運作？數字簽名構成了 zk-SNARKs 的工作原理。數字簽名使用加密算法對敏感信息進行保護，使其對另一方隱藏，同時向該方提供所要求的必要證據。那么具體它是如何完成的呢？步驟如下：1.證明者首先生成一對密鑰，一個公鑰，一個私鑰。他使用私鑰簽署交易。2.然后證明者將此交易編碼為 zk-SNARKs，這是交易有效的數學證明。3.證明與公鑰一起發送給驗證者。然后，驗證者使用公鑰檢查公式是否正確，而無需了解有關交易的任何其他信息。由于只驗證少量信息，因此可以非常快速地完成此檢查，以確認交易有效。

03 zk-SNARKs 的具體用例

1.哪些 Token 使用 zk-SNARKs？

SNARK 加密 Token 是一種使用 zk-SNARKs 來改善隱私的加密資產，也稱為隱私 Token。這類隱私Token的例子有：- Zcash (ZEC)- Verge (XVG)- Monero (XMR)- Dash (DASH)- Beam (BEAM)- Horizen (ZEN)- Bytecoin (BCN)zk-SNARKs 的主要挑戰是如果私鑰被泄露，就可以創建偽造的證明。這可能允許偽造證明的創建者進行欺詐，例如，創建和使用偽造的隱私幣。

2. zk-SNARKS 的其他應用

Filecoin 是一個去中心化存儲提供商，運作過程涉及多個方面。

首先，Filecoin 網絡上的存儲提供者（提供存儲空間以換取區塊獎勵），而“證明者”，必須證明他們正在正確地將數據存儲在鏈上。另一方面，我們有“驗證者”，即節點，他們必須驗證存儲提供商是否正確存儲和保護數據。這些驗證者必須對存儲提供者給出的證明感到滿意。這要求存儲提供商和節點在數據易手時進行通信。可以想象，這一過程將是資源密集型的。Filecoin 官方博客文章解釋道：“為了驗證他們的存儲，如今單個存儲提供商提供的必須證明的數據量是巨大的，而且只會隨著時間的推移而增長。Filecoin 網絡的出塊時間為 30 秒。為了保持時間不變并啟用可擴展的方法，Filecoin需要一種允許快速、高效和穩健驗證的解決方案，”

借助 zk-SNARKs，Filecoin 網絡可以通過減少各方驗證存儲所需的時間來提高其可擴展性和效率。對于存儲提供商，zk-SNARKs 減少了他們需要傳輸的數據量以證明其存儲，從而降低了運營成本。

3. zk-SNARKs 還可以用于其他事情例如：

- 身份驗證：無需密碼即可驗證用戶憑據，不再需要護照、出生證明等文件證明，以保護出生地點和出生日期等敏感信息。

- 投票系統：無需身份識別即可驗證選民身份，即使選票泄露也無法識別選民身份，從而保護選民隱私。

- 數據壓縮：這是 zk-SNARKS 的一個有趣用途，值得單獨展開一節。

04 小結

總的來說，zk-SNARKS 有三個關鍵要點：1.zkSNARKS 是一種零知識證明系統，它允許一方向另一方證明他們知道一個值 x，而無需傳達有關 x 的任何其他信息。2.關鍵思想是驗證者不可能僅僅從證明者能夠證明他們知道 x 的事實中推導出關于 x 的任何信息。這保護了證明者的數據隱私。3.零知識證明系統用于各種應用，包括安全通信、密碼學和隱私保護數據分析。雖然目前零知識證明系統是一個相對較新的研究領域，其可行性和實用性仍有許多懸而未決的問題。然而，它們已經被用來創造一些令人印象深刻的產品。

白話區塊鏈

媒體專欄

閱讀更多

金色早8點

金色財經 子木

歐科云鏈

比推BitpushNews

-R3PO

深潮TechFlow

MarsBit

Biteye

肖颯lawyer

PANews

Odaily星球日報

Foresight News

Tags：ARKNARARKSBITSHARK價格NAR價格DarkShield Games Studiobitkeeper

火星幣