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

受訪者: Jens Groth，Nexus 首席科學家

採訪及撰文：Alex, OPEnBuild 內容團隊

在 AI、大數據與 Web3 加速融合的當下，如何驗證大規模計算的真實性，正成為數字世界面臨的核心技術挑戰。 Nexus 正在推動一項前沿探索 —— 構建一個全球協同運行的可驗證計算基礎設施，融合零知識虛擬機 zkVM[1] 與分佈式 prover 網絡[2]，打造一台可信的「」。

在本期專訪中，OpenBuild 深度對話 Nexus 首席科學家、密碼學權威 JENS Groth[3] 教授，圍繞 zkVM 的技術演進、分佈式計算架構設計、AI 場景下的可信執行路徑等關鍵議題展開探討。 他還分享了 Nexus 如何在保障隱私的同時，實現性能與可擴展性的平衡，為構建可驗證的數字文明提供底層支撐。

作為零知識證明領域的重要奠基人，教授於 2016 年提出了廣為應用的 Groth16[4] 系統，其研究成果為今日 zk 計算的發展奠定了堅實基礎。

可驗證世界的構建邏輯

：能否用一句話概括 Nexus 的願景與使命？

：Nexus 是為的平台。

我們相信，未來一切重要的數字活動——無論是數據生成、AI 決策，還是鏈上交易——都需要有可驗證性保障，而 Nexus 正在為此打造技術基座。

zkVM 3.0 的技術演進

： 與前兩個版本相比，zkVM 3.0 有哪些重要的技術迭代？

：這是一次從底層架構到執行性能的全面重寫。

Nexus zkVM 3.0[5] 以 RISC-V[6] 為目標指令集，具備強大的模塊化、可擴展性，並輔以形式化規範，確保安全性和標準化。

此外，我們引入了重新設計的 guest runtime、高效內存檢查機制，並通過 StARkWare[7] 的 Stwo prover[8] 提供後端證明能力。 最終結果是比 1.0 和 2.0 版本快上 1000 倍，同時更易用。

人人可參與的分佈式算力網絡

：Nexus 的分佈式 prover 網絡是如何運作的？ 普通用戶可以參與嗎？

：完全可以。 我們降低了算力門檻，用戶可通過筆計本電腦甚至手機一鍵接入網絡，貢獻閒置計算資源。 每一台設備的接入都提升了網絡整體算力。

我們不同於傳統區塊鏈的「礦工模型」，而是激活全球設備的潛能。 用戶貢獻算力可獲得 Nexus 提供的激勵積分 NEX Points[9]。

開發者友好的可驗證計算工具鏈

：Nexus 如何支持開發者構建基於 zkVM 的可驗證應用？

：我們提供完善的 SDK、CLI 工具鏈以及詳盡的文檔[10]，幫助開發者輕鬆上手構建 VerifiABle 程序。

我們的 API 設計具備防誤用機制，並圍繞性能、可驗證性、安全性做了平衡，目標是讓 Verifiable Executio[11]n 成為開發常規能力的一部分。

與 AI 場景的結合與落地

：Nexus 如何服務 AI 場景？ 有哪些典型應用？

：AI 的可信性問題[12]正在成為關鍵挑戰。 Nexus 的可驗證計算能力可以應用在多個場景:

•：比如驗證 AI 是否在授權和預算範圍內完成航班預訂。

•：確保 AI 工具不會生成「幻覺交易」。

•：如相機拍攝圖像自動簽名地理坐標與時間，防範 DEEPfake。

這些都是通用場景，Nexus 致力於成為這些 AI 應用可信性[13]保障的底層標準。

隱私 vs 性能的設計哲學

：Nexus 如何在隱私保護與性能優化之間做出技術平衡？

，這一過程目前仍較為昂貴。 Nexus 通過 prover 網絡對計算進行並行化處理，顯著降低延遲。

本地運行 Verifiable COMPutation 幾乎可以免費獲得隱私保護，因為 zk 證明本身既小巧又不暴露機密數據。 分佈式處理可能帶來隱私風險，因此我們正積極研究在分佈式架構中如何保持隱私與效率的雙重保障。

路線圖與未來規劃

：Nexus 未來 1–2 年的重點是什麼？

：我們計劃今年再上線一個測試網，為主網正式發布做準備。 同時，我們剛剛成立了 Verifiable AI Lab[14]，探索 AI 與可驗證計算的深度結合。

在市場拓展方面，我們目標遠大：。 我們已與超 50 家項目建立合作，並堅持的產品哲學。

結語

通過這場專訪我們可以看出，Nexus 並非在做又一個「鏈」，而是在重新定義數字世界中「可信計算」的方式。 它所搭建的 zkVM 與分佈式 prover 網絡，將成為 AI、Web3、甚至傳統互聯網中，可信協作的新範式。

引用鏈接

[1]zkVM:https://nexus.xyz/zkvm

[2]prover 網絡:https://blog.nexus.xyz/nexus-launches-worlds-first-OPen-prover-network/

[3]Jens Groth:http://www0.cs.ucl.ac.uk/staff/j.groth/

[4]Groth16:https://eprint.iacr.org/2016/260

[5]Nexus zkVM 3.0:https://blog.nexus.xyz/zkvm-3-0-and-beyond-toward-modular-distributed-zero-knowledge-proofs/

[6]RISC-V:https://riscv.org/

[7]StarkWare:https://starkware.co/

[8]Stwo prover:https://github.cOM/starkware-libs/stwo

[9]NEX Points:https://docs.nexus.xyz/LAYER-1/network-devnet/nex-points

[10]文檔:https://docs.nexus.xyz/home

[11]Verifiable EXECutio:https://blog.nexus.xyz/the-nexus-execution-layer-incrementally-verifiable-computation/

[12]AI 的可信性問題:https://hbr.org/2024/05/ais-trust-problem

[13]AI 應用可信性:https://blog.nexus.xyz/nexus-zkmcp-verifiable-model-execution/

[14]Verifiable AI Lab:https://blog.nexus.xyz/nexus-verifiable-ai-lab/