@SuccinctLabs Labs 的使命是“$PROVE 世界的軟件”—讓零知識證明 (ZKPs) 不再僅僅是密碼學家的專長，而是一個適用於日常應用的實用、開發者友好的工具。

他們通過兩項突破性的創新實現了這一目標：

1. SP1 (簡明處理器 1)：高性能 zkVM

SP1是一個開源的通用零知識虛擬機(zkVM)，能夠將來自Rust等流行語言或任何LLVM兼容語言的代碼編譯成可驗證的證明。
因爲它抽象了電路設計和專業的加密技巧，開發者可以編寫普通代碼——然後編譯、證明和驗證，而無需學習自定義的ZK特定語法。
在性能方面，SP1 提供了顯著的提升：證明生成速度高達 28 倍更快，優化的加密原語加速了 5–10 倍，基於 GPU 的證明可能將成本降低 10 倍，並將證明生成減少到僅僅幾分之一美分。
這種可訪問性、速度、經濟性和透明度的結合爲 ZK 在各種用例中的廣泛採用鋪平了道路——從 zkEVM 和 rollup 到保護隱私的身分、AI 工作負載和互操作性解決方案。

2. 簡潔證明網路：一個去中心化的ZK市場

與其強迫開發者構建和運營昂貴的證明基礎設施，Succinct 提供了一個去中心化的、基於以太坊的證明網路。它是一個無許可的雙邊市場，開發者提交證明請求，獨立證明者通過鏈下拍賣機制進行競爭——並在鏈上進行結算和最終確認。

該網路對所有人開放——從個人GPU操作員到數據中心提供商——並通過質押和競爭定價激勵參與，同時保持去中心化並抵制中央控制。
現實世界的部署已經開始，服務於諸如匯總、橋接、AI代理、預言機、遊戲、協處理器等用例。

#SuccinctLabs