Nexus 專訪｜Jens Groth 揭祕如何構建全球可驗證計算的未來？

Question

受訪者: Jens Groth，Nexus 首席科學家採訪及撰文：Alex, OpenBuild 內容團隊在 AI、大數據與 Web3 加速融合的當下，如何驗證大規模計算的真實性，正成爲數字世界面臨的核心技術挑戰。Nexus 正在推動一項前沿探索 —— 構建一個全球協同運行的可驗證計算基礎設施，融合零知識虛擬機 zkVM[1] 與分布式 prover 網路[2]，打造一臺可信的「超級計算機」。在本期專訪中，OpenBuild 深度對話 Nexus 首席科學家、密碼學權威 Jens Groth[3] 教授，圍繞 zkVM 的技術演進、分布式計算架構設計、AI 場景下的可信執行路徑等關鍵議題展開探討。他還分享了 Nexus 如何在保障隱私的同時，實現性能與可擴展性的平衡，爲構建可驗證的數字文明提供底層支撐。作爲零知識證明領域的重要奠基人，Jens Groth 教授於 2016 年提出了廣爲應用的 Groth16[4] 系統，其研究成果爲今日 zk 計算的發展奠定了堅實基礎。可驗證世界的構建邏輯OpenBuild：能否用一句話概括 Nexus 的願景與使命？Jens Groth：Nexus 是爲「可驗證世界」構建底層基礎設施的平台。我們相信，未來一切重要的數字活動——無論是數據生成、AI 決策，還是鏈上交易——都需要有可驗證性保障，而 Nexus 正在爲此打造技術基座。zkVM 3.0 的技術演進OpenBuild： 與前兩個版本相比，zkVM 3.0 有哪些重要的技術迭代？Jens Groth：這是一次從底層架構到執行性能的全面重寫。Nexus zkVM 3.0[5] 以 RISC-V[6] 爲目標指令集，具備強大的模塊化、可擴展性，並輔以形式化規範，確保安全性和標準化。此外，我們引入了重新設計的 guest runtime、高效內存檢查機制，並通過 StarkWare[7] 的 Stwo prover[8] 提供後端證明能力。最終結果是比 1.0 和 2.0 版本快上 1000 倍，同時更易用。人人可參與的分布式算力網路OpenBuild：Nexus 的分布式 prover 網路是如何運作的？普通用戶可以參與嗎？Jens Groth：完全可以。我們降低了算力門檻，用戶可通過筆計本電腦甚至手機一鍵接入網路，貢獻閒置計算資源。每一臺設備的接入都提升了網路整體算力。我們不同於傳統區塊鏈的「礦工模型」，而是激活全球設備的潛能。用戶貢獻算力可獲得 Nexus 提供的激勵積分 NEX Points[9]。開發者友好的可驗證計算工具鏈OpenBuild：Nexus 如何支持開發者構建基於 zkVM 的可驗證應用？Jens Groth：我們提供完善的 SDK、CLI 工具鏈以及詳盡的文檔[10]，幫助開發者輕鬆上手構建 Verifiable 程序。我們的 API 設計具備防誤用機制，並圍繞性能、可驗證性、安全性做了平衡，目標是讓 Verifiable Executio[11]n 成爲開發常規能力的一部分。與 AI 場景的結合與落地OpenBuild：Nexus 如何服務 AI 場景？有哪些典型應用？Jens Groth：AI 的可信性問題[12]正在成爲關鍵挑戰。Nexus 的可驗證計算能力可以應用在多個場景:• AI 代理驗證：比如驗證 AI 是否在授權和預算範圍內完成航班預訂。• 加密交易助手：確保 AI 工具不會生成「幻覺交易」。• 可驗證媒體：如相機拍攝圖像自動籤名地理坐標與時間，防範 deepfake。這些都是通用場景，Nexus 致力於成爲這些 AI 應用可信性[13]保障的底層標準。隱私 vs 性能的設計哲學OpenBuild：Nexus 如何在隱私保護與性能優化之間做出技術平衡？Jens Groth：可驗證計算的核心成本是生成 zk 證明，這一過程目前仍較爲昂貴。Nexus 通過 prover 網路對計算進行並行化處理，顯著降低延遲。本地運行 Verifiable Computation 幾乎可以免費獲得隱私保護，因爲 zk 證明本身既小巧又不暴露機密數據。分布式處理可能帶來隱私風險，因此我們正積極研究在分布式架構中如何保持隱私與效率的雙重保障。路線圖與未來規劃OpenBuild：Nexus 未來 1–2 年的重點是什麼？Jens Groth：我們計劃今年再上線一個測試網，爲主網正式發布做準備。同時，我們剛剛成立了 Verifiable AI Lab[14]，探索 AI 與可驗證計算的深度結合。在市場拓展方面，我們目標遠大：希望未來整個數字世界都走向可驗證。我們已與超 50 家項目建立合作，並堅持「快速交付、持續迭代」的產品哲學。結語通過這場專訪我們可以看出，Nexus 並非在做又一個「鏈」，而是在重新定義數字世界中「可信計算」的方式。它所搭建的 zkVM 與分布式 prover 網路，將成爲 AI、Web3、甚至傳統互聯網中，可信協作的新範式。引用連結[1]zkVM:[2]prover 網路:[3]Jens Groth:[4]Groth16:[5]Nexus zkVM 3.0:[6]RISC-V:[7]StarkWare:[8]Stwo prover:[9]NEX Points:[10]文檔:[11]Verifiable Executio:[12]AI 的可信性問題:[13]AI 應用可信性:[14]Verifiable AI Lab: