如果網際網路上的每一次運算都能在數學上被證明是正確的,會是什麼樣子?
Nexus 正是為此而生的區塊鏈基礎設施項目——一個分散式零知識虛擬機器(zkVM),旨在讓可驗證計算在網際網路規模下真正可行。
本指南涵蓋您所需了解的一切:Nexus 的功能、它解決的問題、NEX 代幣的運作方式,以及如何在 MEXC 上購買 NEX。
重點摘要
Nexus 是由 Nexus Labs 打造的分散式 zkVM(零知識虛擬機器)項目,目標是在網際網路規模下實現可驗證計算。
其核心願景:將全球電腦整合成一台單一的、可驗證的超級電腦,每秒能夠證明一兆個 CPU 運算週期。
與傳統區塊鏈需要在每個節點重新執行交易以達成共識不同,Nexus 使用密碼學零知識證明——僅需一次——以數學確定性驗證任何計算。
NEX 是 Nexus 區塊鏈的原生數位貨幣,作為這個可驗證計算網路的經濟核心。
| Nexus | NEX 代幣 | |
| 是什麼 | 協議、網路與基礎設施 | Nexus 區塊鏈的原生數位貨幣 |
| 功能 | 分散式 zkVM + 可驗證超級電腦網路 | 驅動 Nexus 生態系統:國庫、激勵機制、生態系統成長 |
| 類比 | 類似以太坊(平台) | 類似 ETH(原生代幣) |
| 使用者 | 開發者、證明者、節點營運商 | 代幣持有者、生態系統參與者 |
零知識證明已存在數十年——但對大多數現實應用而言,它仍然過慢、過貴且難以使用。
Nexus 識別出制約可驗證計算發展的三個相互關聯的問題。
目前的 ZK 證明方法要求手動編寫複雜的算術電路,或使用擴展性較差的 CPU 型 zkVM。
僅透過標準虛擬機器模擬來證明單一個 SHA-256 雜湊,就需要約 64,000 個 CPU 運算週期——比專用電路多出約 1,000 倍的計算量。
Nexus 透過其 zkVM 協處理器架構解決這一問題,在保持開發者友善程式設計模型的同時,為自訂操作提供類似 ASIC 的效能。
傳統 zkVM 設計需要提前決定計算長度的靜態上限。
超過該限制的證明需要生成新的公開參數,或嘗試高成本的 SNARK 遞歸——在規模化情境下兩者均不實際。
Nexus 透過無界漸進可驗證計算(IVC)解決此問題,允許任意大型程式的證明以漸進方式生成與累積,無需靜態限制。
SETI@Home 和 Folding@Home 等項目利用數百萬台志願電腦進行大規模計算——但依賴概率方法(複製與比對)來驗證結果。
這僅提供大約的完整性保證,而非數學證明。
Nexus 網路旨在提供可證明的保證:其分散式證明者網路中的每個節點都生成密碼學證明,因此無論哪些機器執行了工作,最終輸出都是可驗證正確的。
Nexus 由 Nexus Labs 開發,主要作者 Daniel Marin 帶領研究團隊,成員包括 Michel Abdalla、Jens Groth 等人。
Nexus 白皮書於 2024 年 1 月發表,將 Nexus zkVM 作為以 Rust 語言構建的完全開源項目正式介紹。
該項目建立在近四十年的基礎密碼學研究之上——從 1985 年 Goldwasser、Micali 和 Rackoff 引入零知識證明,到 Nova、HyperNova 以及現代折疊方案。
其願景:讓可驗證計算像通用運算一樣普及。
Nexus zkVM 是一台能夠為任何程式的正確執行生成簡潔零知識證明的機器。
它專注於超大型計算——10 億個 CPU 運算週期及以上——並透過使用現代折疊與累積方案(Nova、HyperNova、CycleFold)的極致並行化來實現這一目標。
開發者只需一條指令即可證明任何 Rust 程式:cargo nexus prove。
NVM 是一個簡單、精簡且可擴展的指令集架構(ISA)——一台具有 40 條指令的 32 位元機器,靈感來自 RISC-V,但經過重新設計以最大化證明者效能。
它採用簡單的記憶體模型(Merkle 樹 + Poseidon 雜湊用於漸進式記憶體證明)以及具有公開與私有輸入帶的簡單 I/O 模型。
其設計優先考慮可審計性與通用性:一台小巧、簡潔的機器,其證明更易於驗證和信任。
協處理器是 NVM 的使用者自訂指令擴展,以 CCS 電路形式編寫。
執行協處理器時,僅需支付其特定的證明成本——而非承擔跨數千個 CPU 週期模擬操作的開銷。
這使 SHA-256、ECDSA 簽名、BLS 聚合、矩陣乘法甚至遞歸 SNARK 驗證器電路的加速證明成為可能。
Nexus 網路彙聚全球異質電腦網路的集體 CPU 與 GPU 算力,執行大規模並行化的證明生成。
證明以樹狀結構累積——每個節點處理一塊計算並將其證明向上傳遞——總吞吐量隨網路規模成比例增長。
關鍵的是,Nexus 證明者節點最低僅需 1 GB RAM 即可運行,這意味著智慧型手機和消費級筆記型電腦都能參與並貢獻算力。
Nexus zkVM 和 Nexus 網路完全開源,以 Rust 語言實現,並在 GitHub 上公開提供。
實現內容包括 Nova、CycleFold 和 HyperNova 折疊方案的生產級版本,以及 NVM 算術化、RISC-V 至 NVM 編譯器和證明壓縮序列。
當前的智能合約僅限於簡單的、複製的鏈上邏輯。
透過 Nexus,智能合約可以使用複雜的鏈下計算結果——資料庫查詢、金融模型、機器學習推論——並由 ZK 證明背書,確認計算被正確執行。
Nexus 的 zkVM 協處理器架構允許高效地證明矩陣乘法等計算密集型操作。
這為鏈上 AI 推論開闢了道路,模型輸出的正確性可透過密碼學驗證——而非單純信任。
任何開發者都可以向 Nexus 網路提交 Rust 程式,並獲得其正確執行的密碼學證明——無需信任執行它的節點。
這使大型計算的無信任委託成為可能:科學模擬、資料處理管道或企業工作負載,所有輸出均可驗證。
Nexus 使 DeFi 協議中的智能合約能夠執行大規模資料分析——風險建模、投資組合計算、清算邏輯——並附帶正確性的密碼學證明。
相同的基礎設施支援具有複雜狀態管理的區塊鏈遊戲應用,遊戲邏輯可在鏈下被證明,並在鏈上驗證,無需重新執行。
NEX 是 Nexus 區塊鏈的原生數位貨幣,總固定供應量為 100 兆枚 NEX。
初始分配結構如下:
國庫代表 Nexus 協議的核心生態系統儲備,為項目提供充裕的資金空間,以資助開發和社區成長,而無需依賴短期代幣銷售。
NEX 是 Nexus 協議內的主要交換媒介。
隨著網路成熟,NEX 預計將為計算付款提供動力——包括向為 Nexus 網路貢獻算力的節點營運商支付的證明生成費用。
60% 的國庫分配專門用於資助長期研發、合作夥伴關係、開發者激勵計劃和生態系統擴展。
這使 NEX 成為隨時間推移吸引建設者、研究者和節點營運商加入 Nexus 生態系統的燃料。
向 Nexus 網路提供算力的節點營運商——運行 MSM 證明者節點或 PCD 證明者節點——直接為證明生成基礎設施做出貢獻。
NEX 是設計用於在網路規模擴大時獎勵這種算力貢獻的激勵機制。
Nexus 有清晰的技術發展路徑:從當前的開源 zkVM 邁向一個完全運作的分散式證明者網路,每秒能夠證明數兆個 CPU 運算週期。
近期優先事項包括非均勻 IVC 支援、zkVM 輸入/輸出能力,以及擴展的協處理器庫。
長期而言,Nexus 旨在建立社區治理、深化跨鏈整合,並成為網際網路規模可驗證計算的基礎設施。
該項目的既定願景——「一個計算與資料完整性由證明保護的網際網路未來」——將其定位於 ZK 密碼學與去中心化計算的前沿。
Nexus 在更廣泛的 ZK 基礎設施領域運作,針對通用可驗證計算,而非特定鏈的擴展解決方案。
與專注於單一區塊鏈的項目不同,Nexus 設計用於證明任何鏈上的任何程式——使其成為更廣泛適用的密碼學基礎設施層。
Nexus 還透過其分散式證明者網路模型進行差異化,允許任何人僅需 1 GB RAM 即可貢獻算力並賺取獎勵,使參與門檻遠低於專業 ZK 基礎設施。
對於需要超越區塊鏈交易的可驗證計算的開發者——AI 推論、科學計算、企業資料管道——Nexus 解決的是一個更廣泛且競爭更少的問題空間。
NEX 可在全球領先的加密貨幣交易所之一 MEXC 上進行交易。
MEXC 提供 NEX 現貨交易對,搭配深度流動性、具競爭力的手續費,以及適合新手與資深交易者的友善介面。
您可以在 MEXC 找到 NEX:mexc.com
步驟 1。 前往 mexc.com,點擊註冊以建立免費帳戶。
步驟 2。 完成 KYC(身份)驗證以解鎖完整交易權限。
步驟 3。 向您的 MEXC 錢包充值——接受 USDT 及其他支援的資產。
步驟 4。 在搜尋欄中輸入 「NEX」,選擇 NEX/USDT 交易對。
步驟 5。 選擇您的訂單類型——市價單(以當前價格立即購買)或限價單(設定您的目標價格)——輸入數量後確認。
步驟 6。 您的 NEX 代幣將出現在您的 MEXC 錢包中;如需提高安全性,可轉移至個人錢包。
Nexus 正在應對密碼學領域最雄心勃勃的挑戰之一:使可驗證計算足夠實際,能夠在網際網路本身的規模上運行。
憑藉分散式 zkVM、全球證明者網路以及 NEX 作為原生貨幣,該項目正在構建可能從根本上改變計算信任建立方式的基礎設施——不是透過反覆驗證,而是透過數學證明。
對於追蹤 ZK 密碼學與去中心化基礎設施交匯點的投資者和開發者而言,Nexus 和 NEX 代幣是值得提早了解的項目。

網際網路已經出了問題——而 Billions Network 正是為了修復它而生。 本文將帶你了解 Billions Network 是什麼、$BILL 代幣如何運作、它與其他身份項目有何不同,以及如何在 MEXC 上購買 $BILL。 重點摘要 Billions Network 是一個去中心化身份協議,讓人類與 AI 代理人能在不洩露個人資料的情況下驗證身份,採用 ZK 證明與可驗證憑證技術。

區塊鏈技術與遊戲產業的融合正成為數位經濟中最具潛力的前沿領域,其核心價值在於從根本上革新玩家與虛擬世界的交互方式、數位資產歸屬權以及遊戲經濟參與模式。在這場變革的浪潮中,Moonveil 作為開創性的 Web3 遊戲生態系統,依託尖端零知識(ZK)技術,在保障安全性、可擴展性與玩家資產所有權的同時,為用戶帶來前所未有的遊戲體驗 —— 這正是定義下一代互動娛樂的核心要素。 Moonveil 以 $M

現貨交易可以通過搜索通證名稱,快速找到想要交易的代幣。MEXC的現貨交易分為數十個板塊,包括主板區、創新區、考核區、MEME、ZK和Arbitrum等。除了前3個外,其他的板塊命名均以時事熱點和代幣種類命名。 那麼什麼是主板區、創新區和考核區呢? 1. 主板區 主板區是指幣種知名度高和歷史悠久的相關幣種,因此在主板區的幣種多為主流幣種,項目較為成熟,而且市值和交易量較高。最為常見的主板區幣種有:B

AMD 股票(NASDAQ: AMD)與英特爾股票(NASDAQ: INTC)位於一場延續多年的半導體競爭核心,而這場競爭早已超越 PC。如今的對決重點是資料中心 CPU、AI 加速器、平台生態,以及——最關鍵的——執行力:在週期性產業與架構快速演進之下,能否以規模化節奏持續交付具競爭力的產品。 如果你在比較 AMD stock vs MSFT stock,通常是在權衡「硬體週期性 vs 軟體經常

如果你在研究 英特爾股票(INTC),你關注的是運算史上最重要的名字之一,也是現代半導體領域爭議最大的美股之一。英特爾(Intel) 透過 x86 CPU 定義了 PC 時代,而如今它正試圖在多個戰場同時取勝:PC 處理器、資料中心 CPU、AI 加速,以及圍繞製造與晶圓代工(Foundry)服務展開的重大策略重建。 本文將說明 英特爾(INTC) 是什麼、所屬產業、英特爾賣什麼、英特爾如何賺錢、

內容概述:Ondo Finance 是全球領先的真實世界資產代幣化協議,已將美股與美債合規搬上區塊鏈。Ondo 代幣化股票是傳統股票的「數位孿生」,一比一對應真實託管的股份。Ondo 代幣化股票打破了傳統券商的時間與地理限制,支援全天候交易與碎片化持有。投資人可透過 MEXC 便利關注 Ondo 生態動態,掌握真實世界資產賽道機會。1. Ondo 代幣化股票產品介紹Ondo Finance 由前高

網際網路已經出了問題——而 Billions Network 正是為了修復它而生。 本文將帶你了解 Billions Network 是什麼、$BILL 代幣如何運作、它與其他身份項目有何不同,以及如何在 MEXC 上購買 $BILL。 重點摘要 Billions Network 是一個去中心化身份協議,讓人類與 AI 代理人能在不洩露個人資料的情況下驗證身份,採用 ZK 證明與可驗證憑證技術。$

區塊鏈長期以來承諾取代傳統網路基礎設施,但緩慢的速度與高昂的手續費始終阻礙這一願景的實現。 MegaETH 是由 MegaLabs 開發的以太坊 Layer 2 區塊鏈,目標是改變這一局面——每秒處理超過 100,000 筆交易,並實現毫秒級的響應時間。 本指南涵蓋您需要了解的一切:MegaETH 的運作原理、它所解決的問題、MEGA 代幣經濟學,以及如何在 MEXC 購買 MEGA。 重點摘要