jakiro
作者：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 就是這樣的，只不過是為了證明而存在。
這篇文章有點長！但正如諺語所說，「大創新需要大篇幅」。可以確定的是：零知識證明有巨大的潛力。雖然我們離廣泛採用還有些距離，但今天介紹的這些項目正在幫助縮小這一差距。
