熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁

Professor Jo
基於他的收購金融生涯,他是一名在DeFi中奔向更大夢想的“DeFi農民朝鮮”。@0xundefined_
<為什麼 ZK 失敗了,Succinct 想要改變什麼?>
1. 對問題的認識
比特幣創造者中本聰對零知識證明(ZKP)表示懷疑。
「要證明某樣東西不存在,你需要知道整個交易,」他說,並判斷將 ZKP 應用於區塊鏈在結構上是困難的。
不過,他也表示,“如果我們找到解決方案,那麼實現比特幣將有可能更好、更容易、更方便。換句話說,在認識到 ZK 的技術局限性的同時,他們承認,如果這些問題得到解決,它們可能會成為區塊鏈發展的一個重大轉折點。
現在,多年後,密碼朋克社群和 ZK 研究人員終於找到了解決方案。Zcash 是第一個將 ZKP 應用於現實世界加密貨幣的公司,StarkWare、zkSync 和 Scroll 等項目此後開發了這項技術,作為增強以太坊可擴展性和可驗證性的關鍵手段。
然而,現實還是有差距的。創建 zkEVM 需要深厚的專業知識、多年的開發和高效能硬件,大多數專案依賴特定的證明提供者,而不是運營自己的 ZKP 基礎設施。因此,ZKP 仍然是一種只有少數人才能處理的複雜工具,而不是「任何人都可以使用的技術」。
2. 什麼是簡潔?
簡潔 (@SuccinctLabs) 是正面解決這個問題的嘗試。關鍵是將 ZKP 變成一個可供所有開發人員輕鬆使用的基礎設施,並幫助任何人創建一個“無需信任的系統”,而無需複雜的電路或基礎設施。
簡潔是一種基礎設施,它將區塊鏈一直追求的「去信任」系統的理想轉化為可以實際實現的現實。Trustless並不意味著“不可信”,而是指一種在沒有信任前提的情況下自行運作的結構,即無需第三方或中央機構即可進行數學驗證的系統。
然而,目前的區塊鏈生態系統仍然嚴重依賴信任。橋接黑客攻擊、多重簽名操作和中心化驗證者委託都證明,只有當我們仍然信任個人和組織時,系統才能發揮作用。
正面突破這種基於信任的限制的嘗試是 ZKP,即零知識證明技術。這項技術使我們能夠在數學上證明“這個計算是正確的”,而不必信任任何人,顯然是去中心化系統的關鍵基礎。問題是 ZKP 過於複雜和繁重,無法實際編寫。
3. 為什麼 ZKP 會感到困難?
ZKP 技術一直與其潛力一樣高。特別是,創建 zkEVM 需要專業的團隊、多年的開發和昂貴的基礎設施。大多數 zk 項目必須設計自己的電路,構建專用的 zkVM,甚至自己操作硬件。只有在經歷了所有這些過程之後,他們才能夠稱自己為「ZK rollup」。
此外,傳統的通用 zkVM 在生成證明方面效率極低。通常,證明一個區塊需要數十台高性能機器的集群,每個區塊的成本達到 10~20 美元。由於這種高昂的技術負擔和運營成本,許多項目已經放棄了 ZKP 的引入,或者選擇了依賴一些中心化證明提供者的結構。
4. 簡潔的嘗試
@SuccinctLabs將這些結構性問題視為“基礎設施問題”。ZKP 在技術上足夠強大,但問題是誰實施它們、如何實現以及以什麼成本實現它們。這就是為什麼 Succinct 正在創建一個去中心化的證明網絡,每個人都可以輕鬆訪問,而無需單個項目運行自己的證明基礎設施。
開發人員無需設置複雜的 zkVM 或提供硬件。當證明請求發送到網路時,具有不同硬體的探測器會以拍賣方式對其進行出價以處理它。通過競爭,證明成本自然會下降,探測者使用高性能設備有效地生成證明。其結果是為開發人員提供快速且廉價的證明,並為整個生態系統提供高度可用且抗審查的證明基礎設施。
簡潔不僅展示了其技術可能性,也證明了其在實際需求出現的領域的作用。一個典型的例子是 @celestia 生態系統中出現的「Blob 上的 CLOB」流程。隨著 Celestia blob 空間之上的高效能去中心化訂單簿(CLOB)的出現,大規模資料處理和快速狀態證明是必不可少的基礎設施需求。
Hyperliquid 和 @hibachi_xyz 等項目正在鏈上實施複雜的訂單簿交易和價格發現邏輯,需要超越簡單匯總的可擴展性和性能。這就是需要 Celestia 的高效能資料可用性層和 Succinct 提供的去中心化 ZK 證明基礎設施的地方。
事實上,Celestia 正在經歷 blob 空間的實際使用率的快速提升,而 Succinct 等 ZK 基礎設施在其背後默默貢獻。如果 Celestia 提供了一個“可驗證的數據存儲”,那麼 Succinct 負責在該數據之上創建一個“可驗證的狀態轉換”。這種結合是 ZKP 技術超越抽象理論進入現實世界系統的起點。
5. 任何人都可以處理的 zkEVM、SP1 和 SP1 Reth
以這種方式解決了基礎設施可訪問性的 Succinct,開發了一種名為 SP1(Succinct Processor 1)的開源 zkVM,以降低 zkVM 本身的進入門檻。SP1 是一種用 Rust 實現的通用 zkVM,旨在供任何人直接使用,無需像傳統 zkEVM 那樣進行複雜的電路設計。
SP1 潛力的一個早期例子是 SP1 Reth。SP1 Reth 是一個 type-1 zkEVM,僅用大約 2,000 行 Rust 代碼實現,通過重複使用現有以太坊客戶端生態系統(Reth、Revm、Alloy 等)的組件可以輕鬆構建。更令人驚艷的是它的表現。SP1 Reth 的每筆以太坊交易的平均證明成本僅為 0.01~0.02 美元,低於 L2 上常見的數據可用性成本。
這種性能之所以成為可能,要歸功於 SP1 的“預編譯”系統。哈希函數和簽名驗證等計算密集型操作通過預優化結構進行處理,顯著減少了 zkVM 消耗的資源。到目前為止,使用 zkVM 實施 zkEVM 的成本高達每個區塊 10~20 美元,但 SP1 Reth 已成功將其降至個位數。
SP1 和 SP1 Reth 都是完全開源的,任何人都可以分叉它們來創建自己的 zkEVM 或添加預編譯以提高性能。這一變化徹底改變了現有的高成本、高難度的 zk 開發環境,開啟了一個任何 Rust 開發者都可以參與 zk 系統的時代。
6. 畢竟 ZK 現在可供所有人使用
簡潔不僅關乎 ZKP 技術的技術潛力,還關乎拼圖的最後一塊:可訪問性和實用性。無需複雜的電路或專用硬件,任何人都可以使用 ZKP 創建應用程序,並且證明由去中心化網絡處理。
一個所有 rollup 都可以是 ZK rollup 的時代,以及只與真理一起工作的互聯網。這個起點是 Succinct 和 SP1。現在,ZKP 是每個人的技術,而不是某些人的技術。




10.01K
熱門
排行
收藏