兩個最雄心勃勃的 ZK 專案 Succinct 和 Boundless 正在競相將可驗證的計算帶到鏈上空間的每個角落。 它們都使用 zkVM，但它們並不相同。 以下是它們的不同🧠🧵之處的細分

2/ 在高層次上： - @SuccinctLabs 建立其 zkVM (SP1) 並運行一個去中心化的網絡，任何人都可以請求對離鏈工作的證明。 - @boundless_xyz (來自 RISC Zero) 建立一個 ZK 協議層，將任何離鏈計算轉換為可驗證的收據。 兩者都希望用加密真相取代信任。

3/ 讓我們從他們的證明引擎開始 - Succinct 的 SP1 運行 Rust 程式並使用遞歸 SNARKs 生成 ZKP。它快速、模組化，並針對類似 rollup 的工作負載進行了優化。 - Boundless 使用 RISC Zero 的 zkVM 來處理大量計算和可擴展的證明。

4/ 在引擎蓋下： Succinct 使用一個鏈外拍賣者。你提交一個任務（例如「證明這個計算」），然後網絡會實時找到最便宜的證明者。 證明者之間為任務相互競爭，創造了一個證明工作的市場。 這感覺像是一個 Web2 API。快速、高效，但由 ZKP 保障，稍後在鏈上發布，以給你一個程序正確運行的加密證明。

5/ 它背後的引擎稱為 SP1 - 一個可以運行複雜邏輯、驗證簽名、模擬 rollups，或作為其他鏈的輕客戶端的 zkVM。 SP1 針對速度、重用和低成本的鏈上驗證進行了優化。證明小且驗證成本低（在以太坊上約 200k gas）。

6/ SP1 zkVM 現已上線。建設者可以在鏈上驗證證明並使用 SP1 發布生產級應用。 但簡潔證明者網絡 - 一個去中心化的層級，任何人都可以運行證明者並賺取收益 - 仍在測試網的最後階段（階段 2.5）。 證明者網絡的主網即將到來。

7/ 另一方面，Boundless 將證明轉變為公共服務。任何鏈都可以要求它證明某些事情。任何應用程序都可以將複雜邏輯外包給它。 這不僅僅是一個網絡，而是一個可驗證計算的整個層級。 你可以想像 Boundless 就像是帶有加密收據的雲計算。

8/ 基於 RISC Zero，Boundless 也在 zkVM 中運行 Rust 或 C++ 代碼。 但它用一個協議將其包裝起來，工作在鏈上發布，然後由證明者在鏈下聲明和計算。

9/ 它引入了一個新的概念，稱為可驗證工作證明（PoVW）。證明者根據他們實際進行的計算量獲得獎勵。 這就像挖礦，但不是隨機哈希數字，而是他們在證明有用的工作，運行實際的程序。 Boundless稱之為zk-挖礦。

10/ Boundless 的首次實時用例是 Mainnet Beta 上的 The Signal，這是一個 ZK 共識客戶端，能夠將以太坊的最終性證明為單一可驗證的證明。 該證明可以被任何鏈讀取，使跨鏈應用能夠在不需要多重簽名或預言機的情況下讀取以太坊狀態。 隨著網絡的擴展，The Signal 將證明更多的鏈。

11/ 有什麼區別？ 簡潔：快速的鏈外拍賣 → 一個證明者贏得工作 → 提交鏈上證明。你可以快速獲得低延遲和可驗證的結果。 無界：任務在鏈上發布 → 任何證明者在鏈外計算 → 提交鏈上證明 → PoVW 獎勵證明者。開放的證明者競爭，從一開始就是完全無信任的。

12/ 誰在使用它們？ - @Mantle_Official → 從 Optimistic 升級到 zkRollup，使用 Succinct 的 SP1 zkVM 以實現快速最終性和 EVM 等價性。 - Rollup-as-a-Service 平台（Conduit、AltLayer、Caldera、Alchemy、Gelato）→ 通過 OP-Succinct 提供 ZK rollups，讓開發者可以一鍵啟動 L2 的 SP1 驅動最終性升級。 - Polygon 的 @Agglayer → 使用 SP1 幫助在 Polygon rollups 之間實現 zk-統一層，增強跨 rollup 的可組合性。 - @celestia (Blobstream DA Bridge) → SP1 驗證 Celestia 的區塊包含性，以實現無信任的 DA 橋接，使 rollups 能夠在以太坊上結算 Celestia blobs。

13/ - @eigenlayer → 使用 Boundless 來計算鏈外的質押價值更新，發佈 ZK 證明，將 L1 的燃氣費降低約 99.9%。 - @hibachi_xyz → 建立了第一個可證明的交易所。鏈外匹配以高頻率執行；每個批次都使用 R0VM 在 Boundless 上進行證明。 - @citrea_xyz (比特幣 zkRollup) → 使用 Boundless 來證明批量比特幣交易，使比特幣上能夠實現 EVM 兼容的 ZK rollups。 - @build_on_bob → Boundless 為 BOB 的混合 L2 提供支持，將 EVM 智能合約和基於證明的 rollups 帶入比特幣。

14/ 誰贏得了 ZK 遊戲？ 他們並不是直接的競爭對手。事實上，他們的做法可以互補。 明確的是：ZK 基礎設施正在變得模組化。快速、通用且無信任的計算不再是科幻小說，它正在發生。