前言

零知識密碼項目一(One)般分爲(For)兩類： 

• 專用(Use) ZK：這(This)些嘗試通過證明特定計算來提高區塊鏈的(Of)可擴展性。例如，zk-rollup 堆棧、用(Use)于(At)執行層的(Of) zkEVM、ZK 證明聚合、結算等。這(This)些公司包括 zkSync Era 和(And) Starknet。

• 通用(Use) ZK：這(This)些 ZK 試圖證明任何計算，無論使用(Use)哪種編程語言，它們被稱爲(For) zkVM。它們旨在(Exist)讓開發人(People)員在(Exist)幾天内（而不(No)是(Yes)幾個(Indivual)月内）交付 ZK 項目，讓他(He)們專注于(At)編寫普通代碼，而不(No)是(Yes)電路。

後者依賴于(At)從底層構建一(One)個(Indivual)全新的(Of)系統，需要(Want)行業領導者拓展ZK研究的(Of)前沿。這(This)些公司包括RISC Zero、Succinct和(And)Nexus。

構建可驗證計算非常困難，因此這(This)些公司專注于(At)構建堆棧的(Of)特定部分，例如 zkVM、證明者網絡或可定制電路。Nexus 以(By)完全不(No)同的(Of)視角來處理這(This)個(Indivual)問題。構建安全的(Of)互聯網需要(Want)重新發明零知識機器的(Of)設計和(And)使用(Use)方式。我們相信 Nexus 擁有從頭開始構建全新可驗證計算機的(Of)才能和(And)獨創性，以(By)優化 zkVM 的(Of)每一(One)層，從而構建最快、最高效的(Of)可驗證計算機。

什麽是(Yes)可驗證計算？

在(Exist)現代社會，真相難以(By)核實。人(People)工智能、深度僞造、VPN、遠程黑客和(And)網絡釣魚使得掩蓋計算背後的(Of)真相變得比以(By)往任何時(Hour)候都容易。目前，在(Exist)我們的(Of)計算機中，CPU 運行代碼并輸出(Out)解決方案。使用(Use) Nexus 0.0，代碼輸入會輸出(Out)解決方案和(And)相應的(Of)零知識證明，證明解決方案是(Yes)正确創建的(Of)，這(This)使我們能夠确定輸出(Out)是(Yes)有效的(Of)。通過這(This)種方式，可以(By)證明任何信息都是(Yes)真實的(Of)，而無需透露任何有關底層信息的(Of)信息。

進展和(And)裏程碑

Nexus建立在(Exist)數十年的(Of)零知識證明研究基礎之上(Superior)，簡而言之，零知識證明允許用(Use)戶證明計算已正确完成，而無需透露有關底層輸入的(Of)任何信息。醫療記錄、軍事機密、身份和(And)浏覽活動；這(This)些都是(Yes)過去未能保持安全的(Of)行業。可驗證計算是(Yes)靈丹妙藥，但面臨巨大(Big)障礙。當前的(Of) ZK 應用(Use)程序速度很慢，無法運行任意計算，并且爲(For)開發人(People)員提供了(Got it)糟糕的(Of)體驗。

Nexus 1.0 構建了(Got it)一(One)台可以(By)證明任意 Rust 代碼的(Of)機器，并設計了(Got it)一(One)個(Indivual)針對創新和(And)可擴展性進行優化的(Of)技術堆棧。最終目标是(Yes)擴展驗證以(By)适應任何應用(Use)程序，甚至像互聯網一(One)樣大(Big)。Nexus 0.0 以(By) 1Hz（每秒 1 個(Indivual) CPU 周期）運行，并于(At) 2023 年 9 月問世。在(Exist) 2024 年 2 月的(Of) EthDenver 上(Superior)，新版本 Nexus 1.0 以(By) ~100Hz 的(Of)速度運行，這(This)在(Exist)短短 5 個(Indivual)月内就提高了(Got it)約 100 倍。該團隊希望成倍提高 Nexus zkVM 的(Of)速度。

這(This)種指數級增長源自 Nexus 1.0 的(Of)模塊化設計，允許從證明者到證明壓縮的(Of)每個(Indivual)部分進行單獨優化，以(By)使用(Use)零知識證明領域中最新和(And)最出(Out)色的(Of)研究成果。這(This)也使 Nexus 能夠非常輕松地将其技術應用(Use)于(At)區塊鏈。

加密應用(Use)

Nexus 的(Of)模塊化意味着它可以(By)用(Use)于(At)整體應用(Use)程序，也可以(By)使用(Use)單個(Indivual)部分來支持其他(He)模塊化應用(Use)程序。例如，壓縮層将許多大(Big)型證明組合成一(One)個(Indivual)簡潔的(Of)證明。這(This)項技術依賴于(At) Nova，這(This)是(Yes)一(One)種折疊方案，直到 2022 年才通過一(One)篇研究論文發明。Nexus 構建了(Got it)世界上(Superior)唯一(One)的(Of)生産級折疊實現，允許高效遞歸和(And)證明聚合。該層可以(By)獨立用(Use)于(At)支持其他(He) zkVM。

這(This)種設計還很容易與當前的(Of)區塊鏈共識和(And)安全标準集成。例如，在(Exist) NVM 或 Nexus 虛拟機中，“預編譯”允許開發人(People)員使用(Use)自定義指令擴展機器，以(By)預編譯常見方案，如 Keccak-256（用(Use)于(At)在(Exist)以(By)太坊上(Superior)創建和(And)驗證交易）。這(This)意味着 Nexus 可以(By)集成和(And)驗證在(Exist) EVM（和(And)許多其他(He)）鏈上(Superior)完成的(Of)計算。

如今，ZK 應用(Use)花費數百萬美元在(Exist) L1 上(Superior)生成和(And)驗證證明。Nexus 證明、壓縮和(And)編譯器節點網絡将大(Big)幅提高現有 ZK 應用(Use)程序的(Of)性能，同時(Hour)在(Exist)現有 ZK 鏈行業中占據巨大(Big)的(Of)市場份額，價值可能達到數十億美元。ZK 行業發展迅速，Nexus 憑借從證明到壓縮的(Of)整個(Indivual)技術堆棧中一(One)流的(Of)設計占據市場主導地位。

團隊關鍵成員

Nexus團隊彙聚了(Got it)密碼學和(And)計算機科學領域最傑出(Out)的(Of)人(People)才。

管理團隊包括：

• Daniel Marin ，首席執行官：斯坦福大(Big)學應屆畢業生，受著名密碼學家Dan Boneh指導。 

• Jens Groth ，首席科學家：曾任DFINITY研究主任，倫敦大(Big)學學院教授， 最廣泛使用(Use)的(Of)zk-SNARK Groth16的(Of)發明者。

• Alex Fowler ，首席戰略官： Blockstream 聯合創始人(People)兼前高級副總裁、Mozilla 首席隐私官。 

• Don Beaver ，密碼學副總裁：曾任 Jump Crypto 首席密碼學家，以(By)及 Meta、Uber、Apple 和(And) Google 的(Of)高級研究員和(And)科學家。

核心團隊密碼學專家有：

• Michel Abdalla：高級密碼學科學家、國(Country)際密碼學研究協會（IACR）主席、前法國(Country)高等師範學院教授、DFINITY 研究員。

• Samuel Judson ：密碼學工程師，擁有耶魯大(Big)學密碼學博士學位，師從 Ruzica Piskac，曾擔任 Auth0 安全工程師。他(He)在(Exist) ZKP、形式化方法和(And) AI 領域撰寫了(Got it) 7 篇以(By)上(Superior)論文。

• Kristian Sosnin：密碼學工程師，曾擔任 Matter Labs 和(And) Parity 的(Of) Rust 工程師。 

• Vamsi Policharla：密碼學工程師，正在(Exist)伯克利攻讀密碼學博士學位，導師是(Yes) Sanjam Garg。他(He)是(Yes)伯克利密碼學小組的(Of)核心 Rust 工程師，撰寫了(Got it) 4 篇以(By)上(Superior) ZKP 論文。

• Yinuo Zhang：密碼學科學家，目前在(Exist)伯克利大(Big)學 Sanjam Garg 的(Of)指導下攻讀密碼學博士學位。他(He)之前曾在(Exist) a16z Crypto '23 實習，從事 zkVM 研究，并撰寫了(Got it) 5 篇以(By)上(Superior) ZKP 論文。

我們相信，如果有任何團隊能夠在(Exist)互聯網規模上(Superior)創建可驗證的(Of)計算，那就是(Yes)Nexus這(This)個(Indivual)團隊。

Pantera與 Lightspeed Venture Partners于(At)2024年6月10日宣布共同領投了(Got it)Nexus 的(Of)2500 萬美元 A 輪融資。

Nexus 1.0 已經公開發布，這(This)意味着任何人(People)都可以(By)僅用(Use)幾行代碼來證明任意 Rust 程序。按照此處的(Of)步驟（https://docs.nexus.xyz/）親自嘗試一(One)下。

結論

Nexus 正憑借星光熠熠的(Of)團隊陣容和(And)精妙的(Of)技術設計，攻克可擴展可驗證計算的(Of)嶄新世界。我們相信 Nexus 是(Yes)人(People)類未來創建安全互聯網的(Of)重要(Want)一(One)步。零知識證明曆來速度緩慢、不(No)通用(Use)，并且開發人(People)員體驗不(No)佳。

Nexus 通過将數十年的(Of)創新與高度并行化和(And)模塊化的(Of)系統相結合，解決了(Got it)這(This)三個(Indivual)問題。

我們相信 Nexus 将成爲(For)高效可驗證計算的(Of)首選之地，并确保接下來的(Of)萬億次計算是(Yes)安全、可驗證和(And)高效的(Of)。