新技術之間的沖突

縱觀歷史，總是有類似的技術在同一時間上市，它們尋求相似的結果，但以不同的方式解決問題。當這種市場現象發生時，我們應該嘗試客觀地評估每項技術。

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

零知識證明

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

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

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

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

STARK 與 SNARK

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

以下是兩者對比的數據表格

zk-SNARK 的未來

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

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

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

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

🚀 Aleo定義了互聯網的新標準。它采用創新的方法來保障安全、隱私和數據所有權。用戶不再需要犧牲他們永遠無法返回的信息，Web 服務也不會冒他們的個人數據的風險。

服務提供商必須管理在存儲、處理或披露不當時可能危及其業務的機密數據。
Aleo介紹

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。