透過 Nexus（NEX）學習：為互聯網構建可驗證的超級電腦
發佈時間： 2026年5月26日 上午8:26
介紹：Nexus 正在建構適用於網際網路規模的可驗證計算基礎設施。其核心願景是讓全球的電腦能協同運作為一個分散式的證明者網絡，生成計算已正確執行的證明。這一願景的核心是 Nexus zkVM，這是一種零知識虛擬機器，旨在高效證明大規模計算，並讓可驗證計算對開發者和應用程式變得切實可行。
為何可驗證計算至關重要
現代數位系統依賴運算。從區塊鏈和金融應用到人工智慧系統、雲端服務和數據平台，使用者越來越依賴機器來處理資訊並做出決策。然而，在許多情況下，使用者必須相信運算已正確執行。
這帶來了一個重大挑戰：如何在不自行重新運行整個過程的情況下驗證計算結果？
可驗證計算提供了一種解決方案。系統不僅可以產生輸出，還可以產生加密證明，顯示輸出是正確生成的。這意味著用戶、應用程式和網路可以以數學方式驗證計算的正確性。
零知識證明進一步推廣了這一概念。它們可以在不洩露私密輸入的情況下，證明某項計算已正確執行。這對於涉及隱私、財務數據、身份、人工智能和區塊鏈基礎設施的應用尤為重要。
Nexus 圍繞這一理念構建：一個計算不僅得以執行，而且可被證明的未來。
什麼是 Nexus zkVM？
Nexus zkVM 是一種零知識虛擬機器，用於證明通用計算。簡單來說，它讓開發者能夠運行程式並生成簡潔的證明，以驗證這些程式已正確執行。
與僅為小型程式或狹窄使用情境設計的系統不同，Nexus zkVM 專注於證明非常龐大的運算，包括包含數十億個 CPU 周期的工作負載。為實現此目標，它採用增量證明生成和證明聚合，使大型運算可被分解為較小的部分，並逐步進行證明。
這很重要，因為傳統的零知識系統通常面臨性能限制。證明複雜程式可能昂貴、緩慢且難以擴展。Nexus 透過設計一個支援大規模並行證明的 zkVM 來解決此問題。
Nexus zkVM 的執行過程包括多個關鍵階段：
-
編譯：程式被編譯為 Nexus 虛擬機指令集。
-
執行：該程式在 Nexus 虛擬機器上運行並產生執行追蹤。
-
摺疊：證明以高度並行的方式產生並累積於計算區塊中。
-
壓縮：最終累積的證明會被壓縮為簡潔的證明。
這種結構使 Nexus 能夠在保持開發者友好體驗的同時，使大規模證明更為實用。
Nexus 虛擬機器：一種簡易的通用計算模型
Nexus zkVM 的核心是 Nexus 虛擬機器（NVM）。
NVM 是一種簡單、精簡且可擴展的虛擬 CPU 架構，旨在支援通用運算的同時，最大化證明者的效能。換句話說，它為開發者提供了一個通用計算模型，但保持機器足夠簡化，以使證明生成更高效且更容易審計。
NVM 使用簡單的 32 位指令集和直觀的記憶體模型。此設計至關重要，因為 zkVM 的效能極大程度取決於證明每個機器步驟的難度。較簡單的機器更容易驗證、更容易優化，並更適合大規模證明生成。
Nexus 同時引入了 zkVM 協處理器。這些是專為加速特定運算而設計的自定義指令擴展。例如，若透過一般 CPU 指令模擬 SHA-256 或 ECDSA 等加密函數，其證明成本會很高。協處理器可讓系統更高效地處理這些運算，類似於專用硬體能加速特定任務。
這使 Nexus 同時獲得兩個優勢：
-
一個可支援多種程式類型的通用型虛擬機。
-
專為通常證明成本高昂的運算提供專用加速。
Nexus 網絡：一個分佈式可驗證的超級電腦
Nexus 網絡旨在將 zkVM 擴展至互聯網規模。
Nexus 網絡並非依賴單一機器生成證明，而是聚合了眾多不同電腦的 CPU 和 GPU 計算能力。這些電腦可協同並行產生與聚合證明，將分散的硬體轉化為可驗證的超級電腦。
這在精神上類似於大型志願計算網絡，但有一個主要差異：Nexus 專注於可驗證的計算。輸出不僅是結果，更是證明該結果已正確計算的證據。
在 Nexus 模型中，證明生成可分割為多個較小的片段。不同的節點可處理計算的不同部分，證明可呈樹狀結構累積。這使系統具備可擴展性，因為其證明能力可隨網絡貢獻的總計算能力而增長。
白皮書將 Nexus Network 描述為將全球電腦整合為單一可驗證超級電腦的一步。長期目標是讓證明生成足夠快速且成本足夠低廉，以適用於實際生產級應用。
為何 Nexus 至關重要
Nexus 至關重要，因為它針對零知識技術中最大的瓶頸之一：可擴展性。
零知識證明功能強大，但歷史上一直難以大規模應用。開發人員通常需要專門的知識、自定義電路或昂貴的證明基礎設施。Nexus 旨在透過提供基於 zkVM 的環境來降低此複雜性，讓開發人員能更自然地證明程式。
該項目也專注於實際應用。Nexus zkVM 和 Nexus Network 均為開源項目，並使用 Rust 實現。白皮書描述了對 Rust 程式證明的支持，開發者流程簡化為透過 Nexus 工具進行證明與驗證。
如果成功，Nexus 可能支援多種使用情境：
-
可驗證的 AI 計算
-
區塊鏈擴展與共識機制
-
最小化信任的雲端運算
-
保護隱私的應用程式
-
可審計的財務與數據工作流程
-
大規模分佈式證明市場
簡而言之，Nexus 不僅是在打造另一款區塊鏈工具，更是在構建一個能夠驗證計算本身的未來基礎設施。
推薦獎勵：
邀請新用戶參與「學與賺」活動，解鎖額外獎勵。每成功邀請一位完成註冊並達成指定交易的友人，您將獲得 25% 的手續費返還。邀請的合格用戶越多，您能獲得的獎勵也越多。詳情請參閱：https://www.kucoin.com/zh-hant/referral
如何邀請
