Mastering Crypto

@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操作員到數據中心提
查看原文他們通過兩項突破性的創新實現了這一目標:
1. SP1 (簡明處理器 1):高性能 zkVM
SP1是一個開源的通用零知識虛擬機(zkVM),能夠將來自Rust等流行語言或任何LLVM兼容語言的代碼編譯成可驗證的證明。
因爲它抽象了電路設計和專業的加密技巧,開發者可以編寫普通代碼——然後編譯、證明和驗證,而無需學習自定義的ZK特定語法。
在性能方面,SP1 提供了顯著的提升:證明生成速度高達 28 倍更快,優化的加密原語加速了 5–10 倍,基於 GPU 的證明可能將成本降低 10 倍,並將證明生成減少到僅僅幾分之一美分。
這種可訪問性、速度、經濟性和透明度的結合爲 ZK 在各種用例中的廣泛採用鋪平了道路——從 zkEVM 和 rollup 到保護隱私的身分、AI 工作負載和互操作性解決方案。
2. 簡潔證明網路:一個去中心化的ZK市場
與其強迫開發者構建和運營昂貴的證明基礎設施,Succinct 提供了一個去中心化的、基於以太坊的證明網路。它是一個無許可的雙邊市場,開發者提交證明請求,獨立證明者通過鏈下拍賣機制進行競爭——並在鏈上進行結算和最終確認。
該網路對所有人開放——從個人GPU操作員到數據中心提