什麼是 Nexus (NEXUS)

Nexus：開創可驗證的網絡3.0時代的互聯網

Nexus 代表了一項在人工智能、區塊鏈和零知識密碼學交匯處的開創性倡議，旨在根本改變數字信任基礎設施。通過開發一個行星規模的超級計算機，將全球計算資源聚合成一個可驗證的區塊鏈，Nexus 解決了當代去中心化系統中的關鍵限制——可擴展性、可審計性和可訪問性。本報告綜合了 Nexus 的技術架構、領導團隊、資金狀況、運營機制和發展軌跡，僅基於主要項目文檔和官方通訊。

Nexus 生態系統概覽

使命與願景

Nexus 希望建立一種新的互聯網基礎設施範式，稱為「可驗證的互聯網」，在這裡計算完整性是數學上可證明的。該項目旨在將全球閒置的計算資源——從智能手機到數據中心——集中到一個統一的、基於零知識證明的區塊鏈中。這一架構使自主 AI 代理、去中心化應用和用戶能夠在一個可加密審計的環境中互動。核心論點認為，可驗證性將成為數字互動的基礎，正如加密技術對隱私的重要性。

核心技術組件

該生態系統由三個相互依賴的層次組成：

• Nexus zkVM：一個基於 Rust 構建的虛擬機，模擬 RISC-V 架構，執行和證明任意計算。其設計通過整合 zk-SNARKs 和遞歸證明組合的進展，實現了比之前版本快 1000 倍的證明生成速度。
• 第一層區塊鏈：一個與 EVM 兼容的鏈，每個節點在本地運行 zkVM。網絡效應推動可擴展性——每增加一個節點，吞吐量就會增加，同時增強安全性。
• 通用證明：一個加密累加器，將所有網絡活動壓縮成一個簡潔的證明，作為全球信任的基石。

這三者結合使 Nexus 所稱的「可驗證計算」成為可能，這是一種與雲計算或 AI 的出現同樣重要的計算原語。

創始團隊與領導

執行領導

Nexus 的創始人兼首席執行官 Daniel Marin 領導該項目。他因在《福布斯》2025年30位30歲以下的科學名單中獲得認可，Marin 將 Nexus 的使命表述為實現「一個身份在不放棄個人數據的情況下得到驗證的互聯網」。他的背景涵蓋密碼學和去中心化系統，曾在多家影響力技術組織擔任職務。

技術架構師

工程團隊包括來自學術界和業界的先驅：

• 密碼學研究：由專注於 zkSNARKs 和形式驗證的前研究人員領導。
• 系統工程：包括 Rust 編譯器開發和高性能分佈式系統的貢獻者。
• 產品開發：整合來自多家主要技術組織的人才，專注於主流可訪問的界面。

這種跨學科的組合反映了該項目對科學嚴謹性和大眾採用的雙重重視。

投資環境與資金

機構支持

Nexus 在 2024 年 6 月的 A 輪融資中獲得了 2500 萬美元，由知名風險投資夥伴共同領投。這是在 2022 年底由一家知名風險公司領投的 200 萬美元種子投資之後，還有其他投資團體參與。這筆資金加速了三個戰略重點：

1. 擴展 zkVM 以顯著增加計算能力。
2. 擴大 Nexus 網絡及其全球節點基礎設施。
3. 啟動可驗證 AI 實驗室進行應用研究。

戰略合作夥伴

超過 50 家組織已與 Nexus 的測試網整合，展示其在多個行業的實際應用潛力。

這些合作夥伴關係驗證了 Nexus 在理論密碼學之外的實用性，轉向具體的基礎設施。

運營機制與創新

節點參與架構

任何連接到互聯網的設備都可以通過兩條途徑貢獻計算資源：

• Nexus OS：一個基於網頁的界面，實現一鍵參與，用戶可以將閒置的 CPU/GPU 週期分配給證明生成，以換取可追蹤的貢獻點。
• 命令行界面 (CLI)：為尋求部署自定義工作負載或優化硬件配置的高級用戶提供。

這種雙重方法平衡了可訪問性和靈活性，體現在參與網絡的節點數量顯著增加。

證明生成工作流程

1. 任務分配：一個協調層根據能力配置檔和可用性將計算片段分配給節點。
2. 本地執行：zkVM 處理分配的任務，同時生成完整性證明。
3. 證明聚合：遞歸組合將數千個單獨的證明合併為一個通用證明，證實網絡行為。
4. 鏈上驗證：聚合證明驗證第一層賬本上的交易和智能合約。

這一工作流程實現了 Nexus 所描述的「水平擴展」，使吞吐量隨著節點數量的增加而線性增長，而不是模塊化區塊鏈。

可驗證 AI 集成

可驗證 AI 實驗室探索模型審計和代理經濟等新興交集，確保 AI 系統在可驗證的框架內運行。這些舉措使 Nexus 成為負責任的人工智能的關鍵基礎設施。

發展時間表

基礎階段 (2022–2023)

• 2022 年第四季度：為 zkVM 原型獲得種子資金。
• 2023 年上半年：開源發布 Nexus zkVM alpha，支持多種智能合約語言。

測試網演變 (2024–2025)

• 2024 年 5 月：部署測試網 I，展示在處理計算證明方面的早期成功。
• 2025 年 2 月：推出測試網 II，允許更廣泛的集成和實時數據驗證。
• 2025 年 6 月：測試網 III 正在進行中，展示增強的協調和獎勵機制，顯著吸引更多參與者。

主網路線圖

• 2025 年第三季度：預計主網 I 上線，重點是證明者網絡的穩定性。
• 2026 年及以後：每季度推出可驗證 AI 代理和去中心化身份的標準。

技術區別與創新

zkVM 架構突破

Nexus 的虛擬機引入了顯著的能力，使其與其他系統區別開來：

1. 有限證明：能夠證明任意長度的計算對於複雜應用（如遞歸神經網絡）至關重要。
2. 形式驗證：確保 zkVM 本身遵循嚴格的正確性標準，使用先進的定理證明技術。
3. 混合執行：支持高級應用邏輯和低級證明生成，簡化了節點功能並擴展了能力。

經濟模型設計

經濟框架採用非通脹性激勵——確保獎勵與可驗證的貢獻緊密相連，而非投機交易。這一模型強化了項目的基礎信念，即信任應通過真實參與來獲得獎勵，增強社區參與和誠信。

結論與未來軌跡

Nexus 超越了傳統的區塊鏈框架，重新構想了在密碼學、去中心化系統和人工智能交匯處的互聯網基礎設施。其技術架構——以 zkVM、聚合證明機制和包容性參與模型為中心——解決了可驗證計算擴展中的存在性限制。該項目的強大資金和合作夥伴關係預示著成熟和更廣泛採用的光明前景。

展望未來，有三個發展軌跡值得關注：

1. 主網可擴展性：實現計算能力和交易吞吐量的雄心勃勃目標。
2. AI 代理集成：擴大自主系統作為原生網絡參與者，增強基礎設施的功能性和可用性。
3. 正式標準化：努力使 Nexus 的證明協議在知名互聯網治理機構內部獲得正式標準的認可。

隨著對數字信任的需求不斷上升，Nexus 準備成為下一個計算範式的基礎設施，旨在使可驗證的互動成為新興 Web3 生態系統的基石。