作者:Paul Veradittakit,Pantara合夥人;編譯:0xjs@金色財經
前言
零知識密碼項目一般分爲兩類:
專用 ZK:這些嘗試通過證明特定計算來提高區塊鏈的可擴展性。例如,zk-rollup 堆棧、用於執行層的 zkEVM、ZK 證明聚合、結算等。這些公司包括 zkSync Era 和 Starknet。
通用 ZK:這些 ZK 試圖證明任何計算,無論使用哪種編程語言,它們被稱爲 zkVM。它們旨在讓開發人員在幾天內(而不是幾個月內)交付 ZK 項目,讓他們專注於編寫普通代碼,而不是電路。
後者依賴於從底層構建一個全新的系統,需要行業領導者拓展ZK研究的前沿。這些公司包括RISC Zero、Succinct和Nexus。
構建可驗證計算非常困難,因此這些公司專注於構建堆棧的特定部分,例如 zkVM、證明者網絡或可定製電路。Nexus 以完全不同的視角來處理這個問題。構建安全的互聯網需要重新發明零知識機器的設計和使用方式。我們相信 Nexus 擁有從頭開始構建全新可驗證計算機的才能和獨創性,以優化 zkVM 的每一層,從而構建最快、最高效的可驗證計算機。
什麼是可驗證計算?
在現代社會,真相難以覈實。人工智能、深度僞造、VPN、遠程黑客和網絡釣魚使得掩蓋計算背後的真相變得比以往任何時候都容易。目前,在我們的計算機中,CPU 運行代碼並輸出解決方案。使用 Nexus 0.0,代碼輸入會輸出解決方案和相應的零知識證明,證明解決方案是正確創建的,這使我們能夠確定輸出是有效的。通過這種方式,可以證明任何信息都是真實的,而無需透露任何有關底層信息的信息。
進展和里程碑
Nexus建立在數十年的零知識證明研究基礎之上,簡而言之,零知識證明允許用戶證明計算已正確完成,而無需透露有關底層輸入的任何信息。醫療記錄、軍事機密、身份和瀏覽活動;這些都是過去未能保持安全的行業。可驗證計算是靈丹妙藥,但面臨巨大障礙。當前的 ZK 應用程序速度很慢,無法運行任意計算,並且爲開發人員提供了糟糕的體驗。
Nexus 1.0 構建了一臺可以證明任意 Rust 代碼的機器,並設計了一個針對創新和可擴展性進行優化的技術堆棧。最終目標是擴展驗證以適應任何應用程序,甚至像互聯網一樣大。Nexus 0.0 以 1Hz(每秒 1 個 CPU 週期)運行,並於 2023 年 9 月問世。在 2024 年 2 月的 EthDenver 上,新版本 Nexus 1.0 以 ~100Hz 的速度運行,這在短短 5 個月內就提高了約 100 倍。該團隊希望成倍提高 Nexus zkVM 的速度。
這種指數級增長源自 Nexus 1.0 的模塊化設計,允許從證明者到證明壓縮的每個部分進行單獨優化,以使用零知識證明領域中最新和最出色的研究成果。這也使 Nexus 能夠非常輕鬆地將其技術應用於區塊鏈。
加密應用
Nexus 的模塊化意味着它可以用於整體應用程序,也可以使用單個部分來支持其他模塊化應用程序。例如,壓縮層將許多大型證明組合成一個簡潔的證明。這項技術依賴於 Nova,這是一種摺疊方案,直到 2022 年才通過一篇研究論文發明。Nexus 構建了世界上唯一的生產級摺疊實現,允許高效遞歸和證明聚合。該層可以獨立用於支持其他 zkVM。
這種設計還很容易與當前的區塊鏈共識和安全標準集成。例如,在 NVM 或 Nexus 虛擬機中,“預編譯”允許開發人員使用自定義指令擴展機器,以預編譯常見方案,如 Keccak-256(用於在以太坊上創建和驗證交易)。這意味着 Nexus 可以集成和驗證在 EVM(和許多其他)鏈上完成的計算。
如今,ZK 應用花費數百萬美元在 L1 上生成和驗證證明。Nexus 證明、壓縮和編譯器節點網絡將大幅提高現有 ZK 應用程序的性能,同時在現有 ZK 鏈行業中佔據巨大的市場份額,價值可能達到數十億美元。ZK 行業發展迅速,Nexus 憑藉從證明到壓縮的整個技術堆棧中一流的設計佔據市場主導地位。
團隊關鍵成員
Nexus團隊匯聚了密碼學和計算機科學領域最傑出的人才。
管理團隊包括:
Daniel Marin ,首席執行官:斯坦福大學應屆畢業生,受著名密碼學家Dan Boneh指導。
Jens Groth ,首席科學家:曾任DFINITY研究主任,倫敦大學學院教授, 最廣泛使用的zk-SNARK Groth16的發明者。
Alex Fowler ,首席戰略官: Blockstream 聯合創始人兼前高級副總裁、Mozilla 首席隱私官。
Don Beaver ,密碼學副總裁:曾任 Jump Crypto 首席密碼學家,以及 Meta、Uber、Apple 和 Google 的高級研究員和科學家。
核心團隊密碼學專家有:
Michel Abdalla:高級密碼學科學家、國際密碼學研究協會(IACR)主席、前法國高等師範學院教授、DFINITY 研究員。
Samuel Judson :密碼學工程師,擁有耶魯大學密碼學博士學位,師從 Ruzica Piskac,曾擔任 Auth0 安全工程師。他在 ZKP、形式化方法和 AI 領域撰寫了 7 篇以上論文。
Kristian Sosnin:密碼學工程師,曾擔任 Matter Labs 和 Parity 的 Rust 工程師。
Vamsi Policharla:密碼學工程師,正在伯克利攻讀密碼學博士學位,導師是 Sanjam Garg。他是伯克利密碼學小組的核心 Rust 工程師,撰寫了 4 篇以上 ZKP 論文。
Yinuo Zhang:密碼學科學家,目前在伯克利大學 Sanjam Garg 的指導下攻讀密碼學博士學位。他之前曾在 a16z Crypto '23 實習,從事 zkVM 研究,並撰寫了 5 篇以上 ZKP 論文。
我們相信,如果有任何團隊能夠在互聯網規模上創建可驗證的計算,那就是Nexus這個團隊。
Pantera與 Lightspeed Venture Partners於2024年6月10日宣佈共同領投了Nexus 的2500 萬美元 A 輪融資。
Nexus 1.0 已經公開發布,這意味着任何人都可以僅用幾行代碼來證明任意 Rust 程序。按照此處的步驟(https://docs.nexus.xyz/)親自嘗試一下。
結論
Nexus 正憑藉星光熠熠的團隊陣容和精妙的技術設計,攻克可擴展可驗證計算的嶄新世界。我們相信 Nexus 是人類未來創建安全互聯網的重要一步。零知識證明歷來速度緩慢、不通用,並且開發人員體驗不佳。
Nexus 通過將數十年的創新與高度並行化和模塊化的系統相結合,解決了這三個問題。
我們相信 Nexus 將成爲高效可驗證計算的首選之地,並確保接下來的萬億次計算是安全、可驗證和高效的。