作者:nairolf、Sensei Wu 來源:substack 翻譯:善歐巴,金色財經
ZK這個,ZK那個,兄弟請別再說這些了。 Starknet只有8個月度用戶,這是一次失敗的空投,沒有人關心ZK Rollups。好吧,讓我慢慢來,哈哈。這項技術真的很棒。
我們先從簡單的開始,理解一下什麼是零知識證明,或說ZK證明。舉個例子!
John喜歡畫美麗的老虎,但他不敢把畫展示給朋友看。他很害羞!
他的朋友懷疑他的技能。他們從未見過他畫畫!但John有一個計劃。即將舉辦一場大型的老虎繪畫比賽。要參賽,你必須畫出一幅令人驚嘆的老虎畫。
如果John參賽並通過資格審查,他的朋友們就會知道他能畫老虎。他們雖然沒看到他畫畫,但最後會相信他。
John參加了比賽,畫了一隻老虎,贏得了評審的讚賞。他的朋友們終於相信他了!這個人真的能畫老虎。太棒了!
這就像zk證明。不是直接展示某物,而是證明它而不透露任何細節。 John的證明就是他的資格審查。他的朋友沒看到他畫畫,但他們知道他會畫。
你可能已經明白了,zk證明的一個好處是它們提供了隱私。
但這不是唯一的優勢。我們不會深入細節,但請記住,zk證明也更快。這其實很有道理。如果我們回到例子中,John不需要一個一個地向朋友展示他如何畫老虎。他只需要出示他的參賽邀請。
此外,zk證明更節省記憶體。這些證明可以比其他證明系統更輕鬆地驗證更大的計算量。
但,有一個問題:這些證明必須在某個時候被驗證。假設James告訴你他被接受參加比賽了。很好,但你想確認這是真的嗎?
不幸的是,Ethereum,更確切地說是EVM,它的虛擬機器(Ethereum背後的大電腦),並不是為zk證明設計的。這使得驗證成本非常高,有時會使zk證明無法使用。
這時Aligned Layer就出現了。
Aligned
你無需直接在Ethereum上驗證你的證明,而是提交這些證明到Aligned Layer。
你可能會想知道什麼?好吧,Aligned Layer專門驗證證明。將Aligned視為一網絡的專門驗證者,隨時準備確認你提交的證明是正確的。
Aligned在這裡扮演Ethereum的角色。但別擔心,他們使用EigenLayer的再質押來維護與Ethereum相同的安全等級。與Ethereum相同的安全性,卻沒有EVM的限制。酷吧?
所以,Aligned驗證你的證明。下一步是將驗證結果發佈到Ethereum上。是的,我說的是「驗證結果」。它已經被驗證了,為什麼要第二次驗證?
現在,你仍然有你的數據,也就是證明,需要發佈到某個地方。好吧,Aligned會將其發佈到Ethereum或類似Celestia的AltDA。由你選擇。
透過Aligned Layer驗證證明的過程變得便宜得多。我們談的是超過10倍的成本降低,真的!
這也稍微快一些。你不必等待你的證明在Ethereum上被驗證;你已經從Aligned Layer收到第一次(軟)確認。
不再受EVM的限制,許多新的潛在用例,以及讓zk證明成為主流的目標:Aligned Layer將成為零知識領域最重要的參與者之一。但它不是唯一的一個。
Nebra
Nebra 是一個基於以太坊的通用零知識證明聚合協議。聽起來有點瘋狂,對吧?讓我解釋一下。
在以太坊上驗證零知識證明非常昂貴。使用Nebra,你可以將這些成本降低五倍。
Nebra 提出:「為什麼我們不在鏈下驗證大量的零知識證明,將它們批量打包成一個大捆,然後在鏈上只驗證一個聚合證明呢?這樣,我們既保持了以太坊的安全性,又降低了每單位產生的成本!
此外,Nebra 是通用的。這意味著證明可以來自任何來源。無論是zkRollups、zkCoprocessor、zkML 或其他任何來源,Nebra 都接受這些證明。
Nebra 也是無許可的,這意味著任何專案都可以在不必先向團隊申請的情況下使用它,從而使這項技術能夠大規模應用。
已經有幾個專案在利用Nebra,像是Worldcoin 和一個全新的ZK Coprocessor——Brevis。不知道什麼是Coprocessor?請查看我們之前的文章。
而這就是結束了……等一下,你甚至不相信這就是結束?
Succinct
Succinct 是一個為任何區塊鏈產生零知識證明的層。沒錯,是任何區塊鏈。它的目標是成為產生零知識證明的基礎層。令人印象深刻,對吧?
你可能想知道他們是怎麼做到的——或者也許你並不想知道;無論如何,讓我解釋一下。 Succinct 作為一個驗證者網路運作。這些驗證者在Succinct 網路上產生零知識證明,然後將證明發送給客戶。
為了確保客戶獲得最優惠的價格,Succinct 層分為兩部分:一個市場,驗證者在這裡為每個請求提供最優惠的價格,以及一個聚合系統,透過縮放每個生成的證明來降低單位成本。簡單吧!
本質上,Succinct 就像是你僱用的承包商,專門為你處理證明工作。想像一下,如果你不會畫表情包或沒有時間去學這項技能,那麼你可以請人來替你完成。 Succinct 就是這樣的,只不過是為了證明而存在。
這篇文章有點長!但正如諺語所說,「大創新需要大篇幅」。可以確定的是:零知識證明有巨大的潛力。雖然我們離廣泛採用還有些距離,但今天介紹的這些項目正在幫助縮小這一差距。