<為什麼 ZK 失敗了,而 Succinct 想要改變什麼?>
1. 問題意識
比特幣的創造者中本聰對零知識證明(ZKP)表示懷疑。
他指出,「要證明某樣東西不存在,你需要知道整個交易」,並總結說將 ZKP 應用於區塊鏈在結構上是困難的。
然而,他也提到「如果找到解決方案,實施比特幣會變得更好、更容易和更方便。」換句話說,雖然認識到 ZK 的技術限制,但他承認如果能解決,這將是區塊鏈演變中的一個重大轉折點。
多年後,密碼朋克社區和 ZK 研究人員終於找到了這個解決方案。Zcash 是第一個將 ZKP 應用於真正的加密貨幣的案例,隨後的項目如 StarkWare、zkSync 和 Scroll 將這項技術發展為增強以太坊可擴展性和可驗證性的關鍵手段。
然而,現實中仍然存在差距。創建 zkEVM 需要深厚的專業知識、數年的開發時間和高性能硬體,大多數項目最終依賴於特定的證明提供者,而不是運營自己的 ZKP 基礎設施。因此,ZKP 仍然是一種只有少數人能夠處理的複雜工具,而不是任何人都能使用的技術。
2. Succinct 是什麼?
Succinct (@SuccinctLabs) 是直接針對這個問題的嘗試。它的核心使命是將 ZKP 轉變為所有開發者都能輕鬆使用的基礎設施,使任何人都能在沒有複雜電路或基礎設施的情況下創建「無信任系統」。
Succinct 是一個將區塊鏈所追求的「無信任」系統理想轉變為可實際實施現實的基礎設施。無信任並不意味著「不可信」,而是指一種獨立運作的結構,不依賴於信任,即一個數學上可驗證的系統,沒有第三方或中央權威。
然而,當前的區塊鏈生態系統仍然在很大程度上依賴於信任。橋接黑客攻擊、多簽操作和集中式驗證者委派都證明了我們仍然需要信任人或組織才能使系統運行。
突破這些基於信任的限制的嘗試正是零知識證明(ZKP)技術。這項技術允許人們在不信任任何人的情況下數學上證明「這個計算是正確的」,使其成為去中心化系統的基本基礎。問題在於 ZKP 對於實際使用來說過於複雜和繁重。
3. 為什麼 ZKP 感覺困難?
ZKP 技術的潛力與其高門檻成正比。特別是,創建 zkEVM 需要專業團隊、數年的開發時間和昂貴的基礎設施。大多數 zk 項目不得不設計自己的電路,構建專用的 zkVM,並直接運營硬體。只有經過所有這些過程後,他們才能聲稱自己是「ZK rollups」。
此外,現有的通用 zkVM 在生成證明方面非常低效。通常,證明單個區塊需要一組數十台高性能機器,成本為每個區塊 10 到 20 美元。由於這些技術負擔和運營成本,許多項目要麼完全放棄引入 ZKP,要麼選擇依賴某些集中式證明提供者。
4. Succinct 的嘗試
@SuccinctLabs 將這些結構性問題視為「基礎設施問題」。ZKP 在技術上足夠強大,但問題在於誰、如何以及以什麼成本來實施。因此,Succinct 正在創建一個去中心化的證明者網絡,任何人都可以輕鬆訪問,而無需各個項目直接運營證明基礎設施。
開發者不需要設置複雜的 zkVM 或採購硬體。當他們向網絡發送證明請求時,各種具有不同硬體的證明者以拍賣的方式競標處理它們。通過競爭,證明成本自然下降,證明者使用高性能設備高效生成證明。因此,開發者獲得快速且便宜的證明,而整個生態系統則受益於高可用性和抗審查的證明基礎設施。
Succinct 不僅展示了技術的可能性;它還證明了其在實際需求出現的領域中的作用。一個代表性的例子是 @celestia 生態系統中「CLOBs on Blobs」趨勢的出現。使用高性能中央限價訂單簿(CLOB)方法的去中心化交易所正在 Celestia 的 blob 空間中出現,導致對大規模數據處理和快速狀態證明的基礎設施需求。
像 Hyperliquid 和 @hibachi_xyz 這樣的項目正在鏈上實現複雜的訂單簿交易和價格發現邏輯,這需要超越簡單 rollups 的可擴展性和性能。這裡需要的是 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 是一種用大約 2,000 行 Rust 代碼實現的類型 1 zkEVM,通過重用現有以太坊客戶端生態系統(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 現在對每個人都可及
Succinct 正在填補 ZKP 技術潛力、可及性和實用性的最後拼圖。無需複雜的電路或專用硬體,任何人都可以創建利用 ZKP 的應用程序,證明由去中心化網絡處理。
我們正進入一個所有 rollups 都可以成為 ZK rollups 的時代,互聯網僅基於真相運行。在這一切的起點是 Succinct 和 SP1。現在,ZKP 是每個人的技術,而不僅僅是少數人。
查看原文



7,825
56
本頁面內容由第三方提供。除非另有說明,OKX 不是所引用文章的作者,也不對此類材料主張任何版權。該內容僅供參考,並不代表 OKX 觀點,不作為任何形式的認可,也不應被視為投資建議或購買或出售數字資產的招攬。在使用生成式人工智能提供摘要或其他信息的情況下,此類人工智能生成的內容可能不準確或不一致。請閱讀鏈接文章,瞭解更多詳情和信息。OKX 不對第三方網站上的內容負責。包含穩定幣、NFTs 等在內的數字資產涉及較高程度的風險,其價值可能會產生較大波動。請根據自身財務狀況,仔細考慮交易或持有數字資產是否適合您。