一文了解將零知識證明帶入主流的 3 個項目

原標題：《3 Must-Know Projects Bringing Zero-Knowledge Proofs to the Mainstream》

作者：NAIROLF、SENSEI WU

編譯：Kate，火星財經

你準備好探索零知識證明的奇妙世界了嗎？在本文中，我們將介紹三個有趣的項目，並以前所未有的方式解釋 zk 證明。

ZK 這個，ZK 那個，兄弟，別再這樣了。Starknet 每月只有 8 個用戶，這是一場失敗的空投，沒有人關心 ZK 的 rollup。好吧，慢一點。這項技術非常棒。

讓我們從了解零知識或 ZK 證明到底是什麼開始。例子！

約翰喜歡畫漂亮的老虎，但不敢把他的畫給朋友們看。他是害羞的！

他的朋友懷疑他的技能。他們從沒見過他畫畫！但是約翰有一個計劃。有一場大型老虎繪畫比賽即將舉行。為了晉級，你必須畫一隻神奇的老虎。

如果約翰參賽並獲得參賽資格，他的朋友們就會知道他能畫老虎。他們不會看到他畫畫，但他們最終會相信他。

約翰參加了比賽，畫了一隻老虎，給評委留下了深刻的印象。他的朋友們終於相信他了！這家伙會畫老虎。

這就像 zk 證明一樣。不是直接展示，而是在不透露任何東西的情況下證明它。約翰的證明是他的資格。他的朋友們沒見過他畫畫，但他們知道他會。

正如你可能已經掌握的那樣，zk 證明的一個好處是它們提供的隱私。

但這並不是唯一的優勢。我們不會深入研究細節，但請記住，zk 證明也更快。這是有道理的。如果我們再回顧一下我們的例子，約翰不需要一個一個地向他所有的朋友展示他是如何畫老虎的。他只是出示了參加比賽的邀請函。

此外，它們的內存效率更高。與其他證明系統相比，這些證明可以以更少的工作量驗證更大的計算。

但是，有一個問題：這些證明必須在某個時候得到驗證。假設詹姆斯告訴你他被比賽錄取了。很好，但你想確認一下是不是真的，對吧？

不幸的是，以太坊，更準確地說是 EVM，它的虛擬機 ( 以太坊背後的大型計算機 ) 在設計時並沒有考慮到 zk 證明。這使得驗證成本非常高，有時會導致 zk 證明無法使用。

Aligned Layer 來了。

不是直接在以太坊上驗證你的證明，而是將這些證明提交給 Aligned Layer。

Aligned Layer 專門負責驗證證明。可以把 Aligned 想像成一個由專門的驗證者組成的網絡，隨時準備確認你提交的證明是正確的。

Aligned 在這裡扮演以太坊的角色。但不要擔心，他們使用 EigenLayer 的再質押來保持與以太坊相同的安全級別。與以太坊相同的安全性，沒有 EVM 的限制。很酷，對吧？

因此，Aligned 會驗證你的證明。下一步是將驗證結果發布到以太坊。是的，我說的是「這次驗證的結果」。已經驗證過了，為什麼還要再驗證一次呢？

現在，你仍然有你的數據，也就是證明，可以發布到某個地方。嗯，Aligned 會將其發布在以太坊或像 Celestia 這樣的 AltDA 上。你的選擇。

使用 Aligned Layer，驗證證明的過程變得更便宜。我們說的是 +10 倍的成本削減，是的！

這也更快一些。你不必等待你的證明在以太坊上得到驗證；你已經收到了第一個來自 Aligned Layer 的軟確認。

不再有 EVM 的限制，有很多新的潛在用例，以及使 zk 證明成為主流的目標：Aligned Layer 將成為零知識領域最突出的參與者之一。但它不是唯一的。

Nebra 是基於以太坊的通用 zk 證明聚合協議。這聽起來有點瘋狂，對吧？讓我解釋一下。

在以太坊上驗證 zk 證明是非常昂貴的。有了 Nebra，你可以將這些成本降低五倍。

Nebra 提議：「我們為什麼不在鏈下驗證大量 ZK 證明，將它們批處理成一個大的包，然後只驗證一個聚合的鏈上證明？通過這種方式，我們在保持以太坊安全性的同時降低了每單位生成的成本！」聰明，對吧？

此外，Nebra 是通用的。這意味著證明可以來自任何來源。無論是由 zk rollup、zkCoprocessor、zkML 還是其他任何人提交的證明，Nebra 都接受這些證明。

Nebra 也是無需許可的，這意味著任何項目都可以使用它，而無需事先徵得團隊的同意，從而使這項技術得以大規模利用。

一些項目已經利用了 Nebra，比如 Worldcoin 和 Brevis( 一種全新的 ZK 協處理器 )。不確定協處理器是什麼？查看我們之前的文章。

就這樣結束了……等一下，你不相信這就是結局嗎？

Succinct 是一個為任何區塊鏈生成 zk 證明的層。是的，任何區塊鏈。它的目標是成為生成 zk 證明的基礎層。令人印象深刻，對吧？

你可能想知道他們是如何做到的------或者也許不會；不管怎樣，讓我解釋一下。Succinct 作為一個證明者網絡運作。這些證明者在 Succinct 網絡上生成 zk 證明，然後將證明發送給客戶。

為了確保為這些客戶提供最優惠的價格，Succinct 層由兩部分組成：一個市場，證明者為每個請求提供最優惠的價格，以及一個聚合系統，該系統可擴展每個生成的證明以降低單位成本。簡單易行！

從本質上講，Succinct 就像一個承包商，你雇傭他來為你處理證明。想像一下，你不能畫一個 meme，或者沒有時間去發展這個技能；那就雇一個人來幫你吧。Succinct 是一樣的，只是為了證明。

正如諺語所說，「大創新等於大文章」( 哈哈，這是我瞎編的，抱歉！) 有一件事是肯定的：zk 證明具有巨大的潛力。我們離廣泛採用還有一段距離，但是像我們今天介紹的項目正在幫助弥合這一差距。