融資5500完美金的Succinct，是由paradigm領投兩輪的頂級ZK專案。
這個頂級ZK專案的核心產品就是SP1，也是目前最快的zkVM。
• 效能領先，證明速度比其他zkVM 高出最高28倍，成本低至幾分之一。
• 支援用Rust 編寫ZKP，重複使用現有程式碼庫，開發效率提升100 倍。
• 支援生產級用例，經過頂級審計，被Polygon、Celestia 等大專案合作採用。
一.什麼是SP1？
SP1 是一個通用的零知識虛擬機器（zkVM），它允許開發者用Rust（或任何支援LLVM 編譯的語言）編寫普通程式碼，產生高效的零知識證明，用於驗證程式的正確執行。
簡單來說，SP1 讓開發者可以用熟悉的程式語言，快速建構出具備密碼學安全性的可驗證計算應用，而無需深入研究複雜的密碼學理論。
SP1 的核心創新在於，它將零知識證明的開發門檻大幅降低，同時保持了頂級的效能和靈活性。讓ZKP 像寫普通軟體一樣簡單，讓區塊鏈基礎設施（例如Rollup、跨鏈橋、預言機等）都能透過可維護的程式碼實現可驗證性。
零知識證明(ZKP )可以在不洩漏任何輸入資料的情況下，證明某段計算的正確性。這種能力在區塊鏈中有無限的應用場景：
- 擴容：透過Rollup，ZKP 可以將大量交易壓縮為一個證明，顯著降低主鏈負擔。
- 互通性：ZKP 能驗證不同鏈的狀態，促進跨鏈通訊。
- 隱私：ZKP 確保交易或狀態的隱私性，保護使用者資料。
- 橋樑和預言機：ZKP 讓鏈下資料或計算可被鏈上無信任驗證。 然而，傳統ZKP 開發的複雜性堪稱「噩夢」。它需要專業的密碼學團隊、數年的開發週期和高昂的維護成本。
SP1 的出現，徹底改變了這個現狀。
二.SP1 的特點
1.目前最快最強的zkVM
在實際區塊鏈工作負載（如輕客戶端驗證、Rollup 等）上比其他zkVM 快4-28 倍，甚至能媲美手工優化的專用電路。它的最新版本SP1 Turbo (v4.0.0) 在GPU 叢集上運行時，驗證以太坊主網區塊只需40 秒，成本低至幾美分。
2.支持用Rust 寫ZKP
SP1 允許開發者使用Rust 編寫ZKP 邏輯，並直接重複使用現有的Rust 生態庫（如revm、reth、alloy 等）。
開發人員可以直接拿現成的區塊鏈節點程式碼稍加改造，就能產生ZKP，省去了從頭開始寫複雜電路的麻煩。
3.預編譯：性能的秘密武器
SP1 引入了「預編譯」機制，針對常見的加密操作（如keccak、sha256、簽章驗證等）進行了高度最佳化。這些預編譯大幅減少了運算開銷，讓SP1 在處理複雜區塊鏈工作負載時如虎添翼。例如， SP1 運行ZK Tendermint 輕客戶端，直接將驗證時間從2.2 小時縮短至4.6 分鐘。
4.100% 開源，程式碼安全
SP1 是100% 開源的（MIT/Apache 2.0 授權）。它的模組化架構允許開發者自訂“預編譯”，優化特定用例的效能。與傳統閉源zkVM 不同，SP1 擁抱社區貢獻，吸引了來自Polygon、Celestia、Sovereign Labs 等團隊的開發者共同完善。
且SP1 已經過多家頂級ZK 安全公司的多次審計，並在公開審計競賽中取得「零高危險漏洞」的優異成績。
5.優質合作夥伴
Polygon、Celestia、Avail、Taiko 等都採用了Succinct的SP1來建造ZKP，保障了超過10 億美元的鏈上資產（TVL）。從Rollup 到跨鏈橋，從預言機到隱私協議，SP1 正在成為區塊鏈基礎設施的標準配備。
三.SP1 的應用場景
SP1在區塊鏈實現了許多用例：
- Rollup：用SP1 建構ZK Rollup，產生狀態轉換的零知識證明，連接以太坊或比特幣等主鏈，實現高吞吐量和低成本。例如，OP Succinct 使用SP1 為OP Stack 提供生產級證明引擎。
- 跨鏈橋：SP1 可驗證Layer 1 的共識（如Tendermint 或以太坊輕型客戶端），建構安全且高效的跨鏈橋。例如，SP1 Blobstream 在以太坊上驗證Celestia 的資料根，SP1 Vector 則將Avail 的Merkle 根中繼到以太坊。
- 互通性：透過SP1，Rollup 間可實現快速確定性和互通性，助力Polygon 的AggLayer 等專案。
- 預言機：SP1 支援鏈下大規模運算（如歷史狀態查詢、鏈上機器學習），並產生鏈上可驗證的證明，大幅降低Gas 成本。
- 隱私：SP1 可實現私人交易和狀態，保護用戶資料安全。
- 聚合：SP1 能聚合同類ZKP，進一步降低鏈上驗證成本，Nebra 等專案正在探索這一方向。
