Succinct：完善 ZK 證明供應鏈的基礎設施
Succinct 是什麼？
Succinct 正在建立讓所有開發者可以簡單使用 ZK 證明技術（zero-knowledge proofs）的基礎設施。目前 Succinct 已經推出了一個開源、模組化的 zkVM SP1，現在正在開發一個去中心化的證明者網路Succinct Prover Network，未來該網路上將可以運行ZK 證明Rollup、協處理器（Coprocessors）及其他基礎設施，是更頂層的「爲ZK 基礎設施服務的基礎設施」。
爲什麼 ZK 證明技術很重要？
ZK 證明能在完成證明的同時有效地保護隱私。假設有個人希望向一個公司提供證明自己健康的體檢報告，但他不想要這些醫療敏感數據被傳播和留存。通過生成一個 ZK 證明，用戶可以證明他的健康狀況符合公司的規定，同時不需要提供實際的醫療數據報告，避免了隱私泄露的風險。
在區塊鏈得到大規模採用的路線圖中，ZK 證明被認爲是一個關鍵技術，對區塊鏈的未來至關重要，它允許區塊鏈開發者不可逆地證明任何陳述，例如區塊鏈的狀態轉換函數或共識證明。
同時，ZK 證明也是無需許可的，不依賴外部資本或運營商的安全性，可以證明任何陳述的有效性；ZK 證明也是高效的，只需一方生成就可以由任何人驗證。
團隊發展歷程和融資情形
Succinct 於 2022 年創辦，團隊規模精簡，辦公室位於舊金山。創始人之前曾撰寫並發表過各種有關ZK 橋接、互通性和共享排序的研究，團隊還有多年在模型訓練平台/數據平台/AI 領域的工作經歷。
uccinct 於 2022 年創辦，團隊規模精簡，辦公室位於舊金山。創始人之前曾撰寫並發表過各種有關ZK 橋接、互通性和共享排序的研究，團隊還有多年在模型訓練平台/數據平台/AI 領域的工作經歷。
Succinct 的許多客戶都是行業中的頂級團隊。目前 Wormhole、Lido、Near、Celestia Blobstream X、Avail (Vector bridge)和 Gnosis (native bridge) 已經在使用開發中的 Prover Network 的早期版本，打造符合 Succinct 協議標準的 ZK 證明 dapp。
2024年3月22日，Succinct 宣布獲得由 Paradigm 領投的 A 輪融資 $ 43 M。目前團隊的融資總額（種子輪和A 輪）共$ 55 M，參與方包括Robot Ventures、Bankless Ventures、Geometry、ZK Validator，以及天使投資人包括Eigenlayer 的創辦人Sreeram Kannan、Polygon 的共同創辦人Sandeep Nailwal 、Polygon Zero 的共同創辦人Daniel Lubarov 以及Bitwise 的共同創辦人Elad Gil。
來源：項目方推特
開發團隊背景
Uma Roy
Uma Roy 是 Succinct 的聯合創辦人及 CEO。青少年時期，她曾經參加過美國數學奧林匹克（USAJMO）預選賽，這認爲是美國高中生最負盛名的比賽之一。 USAJMO 一般是根據 AMC 10 指數來確定截止招收的人數，每年只有大約 230-240 名學生有資格參加預選賽。
Uma 在 MIT 取得了學士和碩士學位，她大學時期延續着高中的興趣，做的是表示論（抽象代數的分支）和量子代數方面的研究。 2019年之後，她開始轉向數據平台、AI方面的工作，8月她開始了在Google Brain AI的參與爲期一年的駐留計畫。 2021年時，她是新創公司 Gantry （知名客戶有 Duolingo）的第一位工程師，幫助它們開發機器學習模型監控平台。
John Guibas
John Guibas 是 Succinct 的聯合創辦人，根據 Google Scholar 的資料，他從 2017 年開始發表文章，目前已經有447次引用。 2017年，僅高中的 John 獲得了 AI grant，這是由知名投資人Nat Friedman 和Daniel Gross 建立的（他們曾經投資過Figma和Stripe） ，這個項目一開始只提供研究獎金，無條件支持有潛力的AI 研究；後來項目轉爲支持早期AI 新創的加速器。當時 John 和另外兩人的題目就已經和隱私有關：他們在研究如何使用 GAN 生成可用且保護隱私的訓練數據。
2019 年他進入 Stanford 學習電腦科學，大學時期主要待在 Stanford DAWN 實驗室和 NVIDIA 研究中心，研究數據庫系統和機器學習。 2022年，他獲得了 Paradigm Fellowship，大三的他從 Stanford University 退學。同年，他還參與了 0xPARC 基金會（以太坊生態支持的基金會）的駐留計畫，研究 ZK 證明技術。
2022 年他開始和教授、研究夥伴合作，發展 Succinct 的雛形。他們發現 zkSNARKs 非常適合驗證 ML 模型，於是在以太坊生態上建立一個使用 zkSNARKs 的、無需信任的互通層，這時主要的貢獻者有 Daniel Kang、Tatsu Hashimoto、Yi Sun 和 Matei Zaharia。
2023 年，因爲創辦 Succinct，John 獲得了知名的 Thiel Fellowship。這個獎學金僅供 22 歲以下的人申請，可以無條件使用 $100,000 在兩年的時間自由探索，知名的獲獎人還有以太坊創辦人 Vitalik Buterin，Blur/Blast 的創辦人 Tieshun Roquerre。
Succinct 解決了什麼問題？
問題1：信任在區塊鏈中面臨了很多考驗
跨鏈橋：目前，跨鏈橋的安全問題一直無法得到保證。我們非常頻繁地看到跨鏈橋被駭客攻擊。
多籤的欺詐證明：當 Blast 發布，有用戶指出多籤問題時，很多人才意識到，原來我們平常使用的大部分 Layer，它們的多重籤名都沒有欺詐證明。
中心化的驗證節點：2022年時有人控訴，BNB Chain都是由幣安控制的委員會按順序輪流出塊，一共21 個驗證節點控制數十億美元，這21 個節點還是由幣安所控制的11 名成員選出來的。
擴展性：信任在擴展性面前容易成爲犧牲品。目前質押的機制效率很低，而招募質押方/節點運營商的流程復雜、耗時，這些開銷都是阻礙着擴展性的成本。
在缺乏信任的區塊鏈世界，Succinct 提出了一個口號：「可編程的真相（Programmable Truth）」。現在的區塊鏈架構在信任中，而這些信任在人性面前無比脆弱，就像創辦人 Uma 說的，「這些架構依賴於密碼學真相，而不是信任」（secured by cryptographic truth, not trust）。只有 ZK 證明的大規模採用，才能真正實現新一代更安全、可擴展和創新的區塊鏈架構。
問題2：ZK 證明很重要，但太復雜
ZK 證明目前的實作需要大量定制。 Succinct 之前做了非常多的 ZK Bridge 專案，在這個過程中他們意識到，每個專案都需要復雜的定制，且需要重復部署。最重要的是：沒有人喜歡編寫 ZK 電路（Circuits），這需要大量數學背景知識（電路是零知識證明語境中邏輯函數的表示）。
Succinct 在這個過程中意識到：答案是 zkVM（ZK 虛擬機），因此他們開發了 SP1。開發者將 Rust 代碼部署到生產環境、監控它、請求證明，API 配置也變得非常容易。 Succinct 還提供了一個內置的證明瀏覽器，可以讓開發者在其中查看所有證明、跟蹤所有內容。
問題3：目前的 ZK 證明領域是破裂的
這一點針對的是未來。他們認爲雖然 ZK 技術在用火箭般的速度發展，但 ZK 證明的供應鏈是斷裂的，跟不上 ZK 技術的進步。
因此，現在基於 ZK 證明的 dapp 都需要開發者針對特定需求部署，常常只能是一次性的，並且太依賴集中式證明器，減慢開發速度、增加成本。在堆棧的每個部分（包括 L2、協處理器、Bridge 等）中集成一個標準化的部署設計，需要更復雜的 ZK 基礎設施，這就是目前開發中的 Succinct Prover Network 想做的。
Succinct 的產品和運作機制
開源的 zkVM：SP1
來源：官方 Blog
2024年2月14日，Succinct 在推特發布了 SP1。 SP1 與 AI 的發展歷程有一些相似之處。在 GPT-4 之前，要做 AI，你必須做很多復雜的工作：收集數據、清理數據、訓練模型、對模型進行微調等等，還必須具備相關的專業知識。有了 GPT-4，任何人都可以調用 OpenAI API 來使用 AI。
可以說，SP1 或者任何更好的開源 zkVM，都像是 ZK 證明世界中的 GPT-4。未來所有的 zkRollup、zk 預言機或 zkBridge，都能通過 zkVM 證明那些用普通的 Rust 或 WASM 語言撰寫的 ZK 證明代碼， 無須編寫復雜的電路。
人們以前認爲 ZK 項目必須客制化地編寫電路，性能才能達到可用的狀態。而SP1 成功讓一個通用zkVM 的性能表現，和客制化的ZK 電路接近，就像是創辦人Uma所說的，SP1 把那些「地獄般的電路玩意都拋在了腦後」（Uma: ” left all the hellish circuit stuff behind.”）。
SP1 提供了許多套件和程式庫供開發者重復使用，最重要的是：它完全開源。過去的 zkVM 的約束邏輯是閉源的，且無法修改。而 SP1 採用的是模組化的架構，並且從一開始就可以定制。這種可定制性允許開發者向核心 zkVM 邏輯添加「預編譯」，從而讓性能大幅提升。
爲什麼開源那麼重要？ RISC Zero 是這個領域中的一個重要競爭對手，他們的約束等核心邏輯是閉源的；編譯的版本雖然是開源的，但任何外部團隊都不能修改。 Succinct 正是因爲無法修改 RISC Zero，才打算構建一個真正的開源 zkVM，讓它成爲可定制、可以被社區修改、沒有供應商、平台風險的產品，這是團隊發布 SP1 的動機。
另一個開源很重要的原因是，SP1 本身是使用 Polygon Zero 開發的 Plonky3 構建的，比如 Succinct 中的約束邏輯是用 Plonky3 的 Air Builder 來表達的。 Plonky 是一個模組化元件庫/工具包，開發者可以用它來構建新的證明系統、新的 zkVM，有非常強大的開源社區。過去，Succinct 完成的許多專案使用到了Plonky2，而Plonky3 類似於Plonky2 的超高質量版本，目前還在不斷完善中，Succinct 甚至已將一些PR 合並到Plonky3 的上遊，爲Plonky 這個開源社區做出了貢獻。
去中心化證明網路：Succinct Prover Network
Succinct Prover Network 目前正在開發中，它是一個托管的基礎設施層網路，dapp可以把自己的生產證明的流程外包到證明市場中。通過使用 SP1 或其他 zkVM，開發者可以簡單地把使用ZK 證明的 dapp 部署到網路上。
同時，這個網路也是一個開放的證明市場：開發者只需向網路提交證明請求，拍賣機制就會將這些請求與運行最新硬體的各種證明者進行匹配；證明者也可以在這個開放的網路裏，通過生成具有成本效益、高可靠性的證明來賺取費用。
證明供應鏈的未來
當一個證明被生成時，實際上有一堆不同的參與者和一堆不同的步驟，我們可以把它稱之爲證明供應鏈。證明生成是這樣的運行的：開發者申請要求證明，使用某種證明系統來表達他們的邏輯，無論是用電路還是 茲克虛擬機的方式；接着證明被生成，生成的證明可能會被聚合起來，最終來到dapp 所在的鏈上。
2023年11月，Succinct 發布了 Succinct Prover Network 的第一個「前端」：alpha.succinct.xyz。目前 dapp 已經可以通過它進行部署。
這只是一個非常簡化的證明供應鏈，可以說目前 Succinct 平台自己就是完整的一個證明供應鏈。但這不是一個可持續的狀態，因爲以下兩個原因：
- 難以定價。隨着證明供應鏈變得更加復雜，定價難度也會提高
- 硬體會帶來定價的復雜性，可能會有各種各樣的硬體供應商，dapp 會想去和20個不同的硬體供應商交談，找出誰的價格或容量最優惠嗎？
Succinct 想做的是讓證明供應鏈中的所有人能有一個地方相互協調，一個開放的證明網路市場是整個證明供應鏈中必不可少的一環。
在未來的證明供應鏈生態系統中，由於在Succinct Prover Network 裏所有的dapp 和基礎設施都無縫繼承了最新的ZK 證明系統和定制硬體技術，這個分散式的證明網路市場將會達到規模經濟，使開發人員可以得到高效又便宜的ZK 證明（競爭性自由市場機制能保證dapp 獲得盡可能便宜的成本）；未來各種硬體上都可以生成分散式證明，使證明成本降低10-100倍，最終讓ZK 證明適用於所有基礎設施。
競品分析
許多開源項目和 SP1 有着類似的目標：
- Andreessen 的團隊：Justin Thaler、Sam Ragsdale 一直在研究 Lasso 和 Jolt。 Succinct 認爲未來這些技術的發展都可能成爲 SP1 的一部分，反之亦然。
- 基於折疊（folding）的方法的項目
- 其它類似 ZK-Stark-FRI 方法的項目
團隊表示，未來Succinct Prover Network 如果可能的話，不止會支援SP1，也會支援Lasso 、Jolt、或者開源的RISC Zero，因爲他們追求的是完全的模組化和靈活性，也只有這樣可以讓ZK 技術以最具有可持續的方式快速發展。
結論
安全性
目前 Succinct 的路線圖只是基礎設施，並不對安全負責，追根究底它只是一種保存電路二進位檔和 API 的方法，這套方法可以被用於請求證明、進行大規模分散式證明等等。
電路本身需要被審計，撰寫電路的開發者需要確保所證明的內容的完整性，而不是平台。電路編寫和審計的難度可能還是會成爲 ZK 證明走向主流的障礙。
高門檻的節點
最終在 Succinct Prover Network 運行的實際節點軟體可能非常少，因爲證明者的門檻很高，一個證明者必須要做到：
- 參與證明拍賣，提出願意爲某個價格生成一個證明
- 必須能下載電路二進位檔和工件
- 必須實際運行它們並生成證明
因此，未來 Succinct 要思考的可能是，怎樣的網路激勵措施或活動可以促進證明者的參與？
相關文章
什麼是穩定幣 USDT？
Succinct：完善 ZK 證明供應鏈的基礎設施
Succinct 是什麼？
Succinct 正在建立讓所有開發者可以簡單使用 ZK 證明技術（zero-knowledge proofs）的基礎設施。目前 Succinct 已經推出了一個開源、模組化的 zkVM SP1，現在正在開發一個去中心化的證明者網路Succinct Prover Network，未來該網路上將可以運行ZK 證明Rollup、協處理器（Coprocessors）及其他基礎設施，是更頂層的「爲ZK 基礎設施服務的基礎設施」。
爲什麼 ZK 證明技術很重要？
ZK 證明能在完成證明的同時有效地保護隱私。假設有個人希望向一個公司提供證明自己健康的體檢報告，但他不想要這些醫療敏感數據被傳播和留存。通過生成一個 ZK 證明，用戶可以證明他的健康狀況符合公司的規定，同時不需要提供實際的醫療數據報告，避免了隱私泄露的風險。
在區塊鏈得到大規模採用的路線圖中，ZK 證明被認爲是一個關鍵技術，對區塊鏈的未來至關重要，它允許區塊鏈開發者不可逆地證明任何陳述，例如區塊鏈的狀態轉換函數或共識證明。
同時，ZK 證明也是無需許可的，不依賴外部資本或運營商的安全性，可以證明任何陳述的有效性；ZK 證明也是高效的，只需一方生成就可以由任何人驗證。
團隊發展歷程和融資情形
Succinct 於 2022 年創辦，團隊規模精簡，辦公室位於舊金山。創始人之前曾撰寫並發表過各種有關ZK 橋接、互通性和共享排序的研究，團隊還有多年在模型訓練平台/數據平台/AI 領域的工作經歷。
uccinct 於 2022 年創辦，團隊規模精簡，辦公室位於舊金山。創始人之前曾撰寫並發表過各種有關ZK 橋接、互通性和共享排序的研究，團隊還有多年在模型訓練平台/數據平台/AI 領域的工作經歷。
Succinct 的許多客戶都是行業中的頂級團隊。目前 Wormhole、Lido、Near、Celestia Blobstream X、Avail (Vector bridge)和 Gnosis (native bridge) 已經在使用開發中的 Prover Network 的早期版本，打造符合 Succinct 協議標準的 ZK 證明 dapp。
2024年3月22日，Succinct 宣布獲得由 Paradigm 領投的 A 輪融資 $ 43 M。目前團隊的融資總額（種子輪和A 輪）共$ 55 M，參與方包括Robot Ventures、Bankless Ventures、Geometry、ZK Validator，以及天使投資人包括Eigenlayer 的創辦人Sreeram Kannan、Polygon 的共同創辦人Sandeep Nailwal 、Polygon Zero 的共同創辦人Daniel Lubarov 以及Bitwise 的共同創辦人Elad Gil。
來源：項目方推特
開發團隊背景
Uma Roy
Uma Roy 是 Succinct 的聯合創辦人及 CEO。青少年時期，她曾經參加過美國數學奧林匹克（USAJMO）預選賽，這認爲是美國高中生最負盛名的比賽之一。 USAJMO 一般是根據 AMC 10 指數來確定截止招收的人數，每年只有大約 230-240 名學生有資格參加預選賽。
Uma 在 MIT 取得了學士和碩士學位，她大學時期延續着高中的興趣，做的是表示論（抽象代數的分支）和量子代數方面的研究。 2019年之後，她開始轉向數據平台、AI方面的工作，8月她開始了在Google Brain AI的參與爲期一年的駐留計畫。 2021年時，她是新創公司 Gantry （知名客戶有 Duolingo）的第一位工程師，幫助它們開發機器學習模型監控平台。
John Guibas
John Guibas 是 Succinct 的聯合創辦人，根據 Google Scholar 的資料，他從 2017 年開始發表文章，目前已經有447次引用。 2017年，僅高中的 John 獲得了 AI grant，這是由知名投資人Nat Friedman 和Daniel Gross 建立的（他們曾經投資過Figma和Stripe） ，這個項目一開始只提供研究獎金，無條件支持有潛力的AI 研究；後來項目轉爲支持早期AI 新創的加速器。當時 John 和另外兩人的題目就已經和隱私有關：他們在研究如何使用 GAN 生成可用且保護隱私的訓練數據。
2019 年他進入 Stanford 學習電腦科學，大學時期主要待在 Stanford DAWN 實驗室和 NVIDIA 研究中心，研究數據庫系統和機器學習。 2022年，他獲得了 Paradigm Fellowship，大三的他從 Stanford University 退學。同年，他還參與了 0xPARC 基金會（以太坊生態支持的基金會）的駐留計畫，研究 ZK 證明技術。
2022 年他開始和教授、研究夥伴合作，發展 Succinct 的雛形。他們發現 zkSNARKs 非常適合驗證 ML 模型，於是在以太坊生態上建立一個使用 zkSNARKs 的、無需信任的互通層，這時主要的貢獻者有 Daniel Kang、Tatsu Hashimoto、Yi Sun 和 Matei Zaharia。
2023 年，因爲創辦 Succinct，John 獲得了知名的 Thiel Fellowship。這個獎學金僅供 22 歲以下的人申請，可以無條件使用 $100,000 在兩年的時間自由探索，知名的獲獎人還有以太坊創辦人 Vitalik Buterin，Blur/Blast 的創辦人 Tieshun Roquerre。
Succinct 解決了什麼問題？
問題1：信任在區塊鏈中面臨了很多考驗
跨鏈橋：目前，跨鏈橋的安全問題一直無法得到保證。我們非常頻繁地看到跨鏈橋被駭客攻擊。
多籤的欺詐證明：當 Blast 發布，有用戶指出多籤問題時，很多人才意識到，原來我們平常使用的大部分 Layer，它們的多重籤名都沒有欺詐證明。
中心化的驗證節點：2022年時有人控訴，BNB Chain都是由幣安控制的委員會按順序輪流出塊，一共21 個驗證節點控制數十億美元，這21 個節點還是由幣安所控制的11 名成員選出來的。
擴展性：信任在擴展性面前容易成爲犧牲品。目前質押的機制效率很低，而招募質押方/節點運營商的流程復雜、耗時，這些開銷都是阻礙着擴展性的成本。
在缺乏信任的區塊鏈世界，Succinct 提出了一個口號：「可編程的真相（Programmable Truth）」。現在的區塊鏈架構在信任中，而這些信任在人性面前無比脆弱，就像創辦人 Uma 說的，「這些架構依賴於密碼學真相，而不是信任」（secured by cryptographic truth, not trust）。只有 ZK 證明的大規模採用，才能真正實現新一代更安全、可擴展和創新的區塊鏈架構。
問題2：ZK 證明很重要，但太復雜
ZK 證明目前的實作需要大量定制。 Succinct 之前做了非常多的 ZK Bridge 專案，在這個過程中他們意識到，每個專案都需要復雜的定制，且需要重復部署。最重要的是：沒有人喜歡編寫 ZK 電路（Circuits），這需要大量數學背景知識（電路是零知識證明語境中邏輯函數的表示）。
Succinct 在這個過程中意識到：答案是 zkVM（ZK 虛擬機），因此他們開發了 SP1。開發者將 Rust 代碼部署到生產環境、監控它、請求證明，API 配置也變得非常容易。 Succinct 還提供了一個內置的證明瀏覽器，可以讓開發者在其中查看所有證明、跟蹤所有內容。
問題3：目前的 ZK 證明領域是破裂的
這一點針對的是未來。他們認爲雖然 ZK 技術在用火箭般的速度發展，但 ZK 證明的供應鏈是斷裂的，跟不上 ZK 技術的進步。
因此，現在基於 ZK 證明的 dapp 都需要開發者針對特定需求部署，常常只能是一次性的，並且太依賴集中式證明器，減慢開發速度、增加成本。在堆棧的每個部分（包括 L2、協處理器、Bridge 等）中集成一個標準化的部署設計，需要更復雜的 ZK 基礎設施，這就是目前開發中的 Succinct Prover Network 想做的。
Succinct 的產品和運作機制
開源的 zkVM：SP1
來源：官方 Blog
2024年2月14日，Succinct 在推特發布了 SP1。 SP1 與 AI 的發展歷程有一些相似之處。在 GPT-4 之前，要做 AI，你必須做很多復雜的工作：收集數據、清理數據、訓練模型、對模型進行微調等等，還必須具備相關的專業知識。有了 GPT-4，任何人都可以調用 OpenAI API 來使用 AI。
可以說，SP1 或者任何更好的開源 zkVM，都像是 ZK 證明世界中的 GPT-4。未來所有的 zkRollup、zk 預言機或 zkBridge，都能通過 zkVM 證明那些用普通的 Rust 或 WASM 語言撰寫的 ZK 證明代碼， 無須編寫復雜的電路。
人們以前認爲 ZK 項目必須客制化地編寫電路，性能才能達到可用的狀態。而SP1 成功讓一個通用zkVM 的性能表現，和客制化的ZK 電路接近，就像是創辦人Uma所說的，SP1 把那些「地獄般的電路玩意都拋在了腦後」（Uma: ” left all the hellish circuit stuff behind.”）。
SP1 提供了許多套件和程式庫供開發者重復使用，最重要的是：它完全開源。過去的 zkVM 的約束邏輯是閉源的，且無法修改。而 SP1 採用的是模組化的架構，並且從一開始就可以定制。這種可定制性允許開發者向核心 zkVM 邏輯添加「預編譯」，從而讓性能大幅提升。
爲什麼開源那麼重要？ RISC Zero 是這個領域中的一個重要競爭對手，他們的約束等核心邏輯是閉源的；編譯的版本雖然是開源的，但任何外部團隊都不能修改。 Succinct 正是因爲無法修改 RISC Zero，才打算構建一個真正的開源 zkVM，讓它成爲可定制、可以被社區修改、沒有供應商、平台風險的產品，這是團隊發布 SP1 的動機。
另一個開源很重要的原因是，SP1 本身是使用 Polygon Zero 開發的 Plonky3 構建的，比如 Succinct 中的約束邏輯是用 Plonky3 的 Air Builder 來表達的。 Plonky 是一個模組化元件庫/工具包，開發者可以用它來構建新的證明系統、新的 zkVM，有非常強大的開源社區。過去，Succinct 完成的許多專案使用到了Plonky2，而Plonky3 類似於Plonky2 的超高質量版本，目前還在不斷完善中，Succinct 甚至已將一些PR 合並到Plonky3 的上遊，爲Plonky 這個開源社區做出了貢獻。
去中心化證明網路：Succinct Prover Network
Succinct Prover Network 目前正在開發中，它是一個托管的基礎設施層網路，dapp可以把自己的生產證明的流程外包到證明市場中。通過使用 SP1 或其他 zkVM，開發者可以簡單地把使用ZK 證明的 dapp 部署到網路上。
同時，這個網路也是一個開放的證明市場：開發者只需向網路提交證明請求，拍賣機制就會將這些請求與運行最新硬體的各種證明者進行匹配；證明者也可以在這個開放的網路裏，通過生成具有成本效益、高可靠性的證明來賺取費用。
證明供應鏈的未來
當一個證明被生成時，實際上有一堆不同的參與者和一堆不同的步驟，我們可以把它稱之爲證明供應鏈。證明生成是這樣的運行的：開發者申請要求證明，使用某種證明系統來表達他們的邏輯，無論是用電路還是 茲克虛擬機的方式；接着證明被生成，生成的證明可能會被聚合起來，最終來到dapp 所在的鏈上。
2023年11月，Succinct 發布了 Succinct Prover Network 的第一個「前端」：alpha.succinct.xyz。目前 dapp 已經可以通過它進行部署。
這只是一個非常簡化的證明供應鏈，可以說目前 Succinct 平台自己就是完整的一個證明供應鏈。但這不是一個可持續的狀態，因爲以下兩個原因：
- 難以定價。隨着證明供應鏈變得更加復雜，定價難度也會提高
- 硬體會帶來定價的復雜性，可能會有各種各樣的硬體供應商，dapp 會想去和20個不同的硬體供應商交談，找出誰的價格或容量最優惠嗎？
Succinct 想做的是讓證明供應鏈中的所有人能有一個地方相互協調，一個開放的證明網路市場是整個證明供應鏈中必不可少的一環。
在未來的證明供應鏈生態系統中，由於在Succinct Prover Network 裏所有的dapp 和基礎設施都無縫繼承了最新的ZK 證明系統和定制硬體技術，這個分散式的證明網路市場將會達到規模經濟，使開發人員可以得到高效又便宜的ZK 證明（競爭性自由市場機制能保證dapp 獲得盡可能便宜的成本）；未來各種硬體上都可以生成分散式證明，使證明成本降低10-100倍，最終讓ZK 證明適用於所有基礎設施。
競品分析
許多開源項目和 SP1 有着類似的目標：
- Andreessen 的團隊：Justin Thaler、Sam Ragsdale 一直在研究 Lasso 和 Jolt。 Succinct 認爲未來這些技術的發展都可能成爲 SP1 的一部分，反之亦然。
- 基於折疊（folding）的方法的項目
- 其它類似 ZK-Stark-FRI 方法的項目
團隊表示，未來Succinct Prover Network 如果可能的話，不止會支援SP1，也會支援Lasso 、Jolt、或者開源的RISC Zero，因爲他們追求的是完全的模組化和靈活性，也只有這樣可以讓ZK 技術以最具有可持續的方式快速發展。
結論
安全性
目前 Succinct 的路線圖只是基礎設施，並不對安全負責，追根究底它只是一種保存電路二進位檔和 API 的方法，這套方法可以被用於請求證明、進行大規模分散式證明等等。
電路本身需要被審計，撰寫電路的開發者需要確保所證明的內容的完整性，而不是平台。電路編寫和審計的難度可能還是會成爲 ZK 證明走向主流的障礙。
高門檻的節點
最終在 Succinct Prover Network 運行的實際節點軟體可能非常少，因爲證明者的門檻很高，一個證明者必須要做到：
- 參與證明拍賣，提出願意爲某個價格生成一個證明
- 必須能下載電路二進位檔和工件
- 必須實際運行它們並生成證明
因此，未來 Succinct 要思考的可能是，怎樣的網路激勵措施或活動可以促進證明者的參與？
相關文章
什麼是穩定幣 USDT？