新技術(shù)之間的沖突

縱觀歷史，總是有類似的技術(shù)在同一時間上市，它們尋求相似的結(jié)果，但以不同的方式解決問題。當(dāng)這種市場現(xiàn)象發(fā)生時，我們應(yīng)該嘗試客觀地評估每項技術(shù)。

由于 STARK 陣營和 SNARK 陣營都對各自的技術(shù)充滿熱情，我們認(rèn)為對這兩種技術(shù)進(jìn)行客觀比較會很有趣。

零知識證明

零知識證明的想法最初是在1980年的一份學(xué)術(shù)論文中——《交互性證明系統(tǒng)的知識復(fù)雜度》中被提出。論文中提到：證明者可以在不披露信息本身的情況下向驗證者證實信息的真實性。

從更技術(shù)的角度說，ZKP 是證明者與驗證者兩方之間的一個協(xié)議，證明者可以在不透露證明本身之外任何信息的前提下，讓驗證者確認(rèn)某項證明是有效的。這是證明的“零知識”部分——沒有知識或信息可以支持這條證明，除了證明本身。這聽起來毫無道理，也似乎是不可能的。正是如此，這些技術(shù)才更加重要。

經(jīng)常拿來解釋 ZKP 的例子是一個名叫《尋找 Waldo》的游戲。證明者如何利用零知識來向驗證者證明他知道 Waldo 在圖中的哪個地方。一般的情況來說，證明者只需要在圖上指出 Waldo 的位置即可，或者說 Waldo 在紅白條紋的帳篷旁邊，這樣通過提供知識來向驗證者證明他確實知道 Waldo 在哪兒。

但是如果用零知識的方法，證明者需要拿出一張紙，在中間剪個洞，并將洞放在 Waldo 上面來展示給驗證者。這樣，驗證者可以看到 Waldo，知道證明者說的是真的，而且過程中也沒有任何知識/信息的泄露。

STARK 與 SNARK

當(dāng)今市場上最引人注目的兩種零知識技術(shù)是 zk-STARKs 和 zk-SNARKs。兩者都是雙方證明知識的方法的縮寫：zk-STARK代表零知識可擴(kuò)展透明知識論證，zk-SNARK代表零知識簡潔非交互式知識論證。這篇文章將深入探討從文化和技術(shù)角度探討這兩種不同的零知識技術(shù)之間的核心差異。此外，這兩種零知識技術(shù)本質(zhì)上都是非交互的，這意味著代碼可以自主部署和運行。

以下是兩者對比的數(shù)據(jù)表格

zk-SNARK 的未來

zk-SNARKs 是匿名加密交易的有用工具。但它們也有助于為隱私幣以外的越來越多的其他應(yīng)用程序提供動力。例如，Celo 是一種加密貨幣協(xié)議，專注于移動支付，并渴望創(chuàng)造一個更具包容性的金融世界。
Mohan 特別指出了 zk-SNARKs 如何幫助發(fā)展中國家的人們。

“如果我們現(xiàn)在考慮這些人如何能夠使用加密貨幣，這幾乎是不可能的，他們沒有使用 Metamask，而是將 10,000 美元投入到一個隨機的 DeFi 項目中，”他說。Mohan 補充說，使用 zk-SNARKs，手機用戶可以立即與區(qū)塊鏈同步——保留與加密相同的無需許可屬性，但這種屬性不具備高度技術(shù)能力的設(shè)備上。

盡管有他們的承諾，zk-SNARKs 仍然非常小眾。即使在像加密這樣的高科技行業(yè)，很多人也不知道他們是什么。但隨著越來越多的公司開始采用這項技術(shù)，這種情況可能會發(fā)生變化。

其中包括Aleo，這是一家最近從藍(lán)籌風(fēng)險投資公司籌集了 2800 萬美元的初創(chuàng)公司，旨在構(gòu)建工具，讓 Web 開發(fā)人員將零知識證明集成到各種 Internet 應(yīng)用程序中——該項目承諾讓消費者在不泄露信息的情況下瀏覽 Web大量個人數(shù)據(jù)。

🚀 Aleo定義了互聯(lián)網(wǎng)的新標(biāo)準(zhǔn)。它采用創(chuàng)新的方法來保障安全、隱私和數(shù)據(jù)所有權(quán)。用戶不再需要犧牲他們永遠(yuǎn)無法返回的信息，Web 服務(wù)也不會冒他們的個人數(shù)據(jù)的風(fēng)險。

服務(wù)提供商必須管理在存儲、處理或披露不當(dāng)時可能危及其業(yè)務(wù)的機密數(shù)據(jù)。
Aleo介紹

總結(jié)

以上是生活随笔為你收集整理的零知识证明：STARKs vs SNARKs的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。