專訪 Nexus 創始人 Daniel：揭祕如何重構 AI 時代的信任機制？

Question

受訪者：Daniel Marin，Nexus 創始人兼 CEO採訪及撰文：Alex，OpenBuild 內容團隊在 AI 算力不斷膨脹、Web3 基礎設施快速演進的當下，如何驗證大規模計算的真實性，正成爲全球數字系統所面臨的核心挑戰。Nexus 正在推動一項前沿探索 —— 構建一個人人可參與、全球協同運行的可驗證計算網路，融合零知識虛擬機 zkVM 與分布式 prover 網路，打造一臺無邊界的「世界超級計算機」。在本期專訪中，OpenBuild對話 Nexus 創始人 Daniel Marin，深入探討 Nexus 的創立初衷、可驗證計算的未來路徑，以及 zkVM、分布式計算與 AI 可信執行之間的深度耦合。他還分享了 Nexus 如何通過技術與生態的雙重驅動，在不犧牲隱私的前提下，實現通用計算的高性能擴展。嘉賓簡介Daniel Marin，Nexus 創始人兼 CEO，畢業於斯坦福大學計算機科學專業。2022 年創立 Nexus，立志構建一個「每個行爲可驗證、每個模型可審計、每次交互可驗證」的數字世界。他曾在 2018 和 2019 年國際物理奧林匹克中獲得銅牌，並於 2025 年入選《福布斯》“30 位 30 歲以下精英榜”。Nexus 已完成 2500 萬美元融資，投資方包括 Pantera Capital、Lightspeed、Dragonfly Capital 等。創立初衷：人人可用的可驗證計算平台OpenBuild：是什麼契機促使您創立 Nexus？您最初想解決的問題是什麼？Daniel Marin：當時我在斯坦福密碼學實驗室參與一個研究項目，目睹了零知識證明的快速演進，尤其是 Microsoft Research 的 Nova 論文[1]啓發。它讓我意識到，我們可以將多個 zk 證明高效組合起來，從而構建一種 「通用可驗證計算」[2]的新範式。另一方面，我觀察到當前區塊鏈生態面臨三大瓶頸：1. 用戶無法輕鬆貢獻算力2. 開發者需具備專業背景才能參與3. 鏈本身的擴展性與性能受限我設想能否讓任何人用任何設備（哪怕是一臺舊手機）都能接入網路、貢獻算力、運行 AI 級別的任務，同時還能證明這些任務的真實性？這就是 Nexus 的起點 —— 一條「節點越多、網路越快」的鏈。與傳統鏈相比，Nexus 的網路是越多人參與越快、越強大。每一臺加入的設備，不是負擔，而是加速器。我創立 Nexus 的初心很簡單——讓互聯網變得更安全、更可信。多年來，我一直在思考，是否可以爲這個世界打造一臺 “通用型可驗證計算機”，即任何人都能驗證計算結果的基礎設施。隨着零知識證明技術的突破，這個目標終於變得現實。尤其是在我參與 Stanford 密碼學實驗室的研究時，受到了 Microsoft Research 的 Nova 論文[3]啓發。它讓我意識到，我們可以將多個 zk 證明高效組合起來，從而構建一種 「通用可驗證計算」的新範式。除此之外，我還觀察到當前區塊鏈系統的多重限制：• 普通用戶無法貢獻資源；• 開發門檻高，需掌握復雜工具；• 擴展性嚴重受限。於是我萌生了一個想法：讓每個人都能用自己的設備（哪怕是一部手機）接入網路，貢獻算力，最終共同構建一臺支持大規模計算的可信超級計算機。這就是 Nexus 的起點。與傳統區塊鏈 “節點越多越慢”不同，Nexus 的設計邏輯是節點越多，網路越強。zkVM 與可驗證計算的未來OpenBuild：您最初對 “可驗證計算”的設想是什麼？現在你對其未來如何看？Daniel Marin：我們正處於一次計算範式的轉折點。我相信，可驗證計算將重塑我們對計算擴展性、性能、乃至應用形態的認知。這裏的可擴展性[4]分爲兩個維度：• 縱向：通過 GPU 等硬件加速 zkVM 的速度；• 橫向：連接更多設備，形成全球算力網路，帶來指數級疊加效應。而這些並非紙上談兵。我們預計未來一年內，zkVM 的運行速度將在 M2 MacBook Pro 上達到 1GHz —— 意味着一臺筆電每秒可驗證一個區塊。這簡直是“zk 領域的摩爾定律”正在上演。在應用層面，我們特別看好 AI 的驗證需求，比如模型行爲可審計、AI 生成內容可溯源等，這也是我們成立 Nexus Verifiable AI Lab[5]的初衷。與傳統區塊鏈的根本差異OpenBuild：Nexus 與其他鏈的最大不同點是什麼？它如何應對 AI 基礎設施的挑戰？Daniel Marin：所有人都在談 擴展性，但但都忽略了最關鍵的一點：底層算力不足。尤其是 AI 的應用越廣，模型越復雜，所需算力就呈指數級增長，同時帶來極高頻的交易請求。那問題來了：我們如何獲得足夠算力，支撐每秒數十億筆交易？並且，用戶還必須信任這些交易？這正是 Nexus 提出的解決方案：• 它是一個世界超級計算機（World Supercomputer），• 每接入一臺筆電、手機，網路性能就會提升，• 任何用戶都能輕鬆貢獻閒置算力，不需要技術背景。我們構建了一條 zkVM 驅動的 Layer 1 區塊鏈，不只是驗證交易，也驗證任意計算。它聚合全球閒置算力，任何用戶都能一鍵加入。最終，Nexus 不是一個傳統“鏈”，而是爲通用可驗證計算而優化的基礎設施網路。構建「可驗證互聯網」的理念OpenBuild：您曾提出 Nexus 正在打造“可驗證互聯網”。這是什麼意思？它與當前互聯網有何不同？Daniel Marin：我們設想的 “可驗證互聯網”是一個新範式：• 每一個行爲都可被證明；• 每一個模型都可被審計；• 每一條數據都可被驗證。從 AI 到醫療、從身分系統到鏈上金融，未來數字世界的每個組成部分都將建立在“可驗證性”之上。這不僅是一種信任機制的升級，更將帶來商業範式的變革 —— 在這個互聯網中，信任無需“相信”，只需“驗證”。在可驗證計算的支撐下，數字社會將更加透明、高效且安全。路線圖與產品規劃OpenBuild：從技術和生態兩個層面看，Nexus 接下來 6–12 個月的重點方向是什麼？Daniel Marin：我們剛剛啓動了全球範圍的 Testnet III[6]測試網，將持續運行至今年第三季度主網上線。👉 歡迎訪問：app.nexus.xyz參與測試並獲取激勵。同時我們正重點推進：• zkVM 新版本研發；• Nexus Verifiable AI Lab 建設；• 超過 50 個合作項目的生態拓展。未來我們將不斷迭代，推動 “可驗證計算”成爲 AI 與 Web3 的核心組成部分。結語：構建可信的數字文明通過 Daniel 的分享我們可以看出，Nexus 並非只是試圖 “改進區塊鏈”，而是以可驗證計算爲切入點，重新定義未來數字社會的信任邏輯。在這個萬物生成、數據爆炸的時代，“可驗證性”正在成爲比“共識”更關鍵的下一代基礎設施。