Nexus Labs 是一家專門從事零知識加密的公司，該公司推出了第二代 Nexus 2.0 zkVM，代表了其零知識機器的最新版本。

Nexus 2.0 引入了多項新功能，包括使用 Jolt 算術系統設計的證明器前端。該證明系統由投資公司 16z 的研究團隊開發，通過減小電路尺寸來提高證明效率。

它還集成了 HyperNova 遞歸證明系統支持的新證明器后端。HyperNova 是 Nova 后端的后繼者，可實現更通用、更高效的折疊。HyperNova 通過集成兩個工具擴展了 Nova：SumCheck 和可定制約束系統 (CCS)。CCS 將用于描述約束的各種算術表達式整合到一個統一的框架中。SumCheck 是一種基于超立方體求和的簡單且成熟的代數證明方法，它從根本上與多線性多項式求值相關。

此外，Nexus 2.0 還具有 Nexus SDK 編程框架，可以同時大規模創建各種證明。

新機器完全用 Rust 開發，是開源的，獲得 MIT 許可，并建立在開放科學研究的基礎上。它代表了上個月發布的 1.0 zkVM 的進步，并符合 Nexus Labs 擴展 ZK 技術以實現 1 萬億赫茲計算能力的目標。

1/ 今天我們宣布推出 Nexus 2.0 zkVM - 這是上個月 1.0 版本的重大飛躍，也是我們向將 ZK 擴展到 1 萬億赫茲計算能力的目標邁出的下一步。#zkvm #zeroknowledge pic.twitter.com/3qgPlXGX62

— Nexus (@NexusLabsHQ) 2024 年 7 月 16 日

Nexus Labs 籌集 2500 萬美元以加速 Nexus 1.0 開發

Nexus Labs 開發的 Nexus zkVM 是一款模塊化、可擴展、開源且高度并行化的 zkVM，采用 Rust 開發，并針對性能和安全性進行了優化。它具有高度優化的組件，例如 Nexus Prover、Nexus 虛擬機 (NVM) 和 Nexus 證明壓縮機制，所有這些組件都旨在增強安全性、性能、模塊化和可擴展性。

最近，該公司在 A 輪融資中籌集了 2500 萬美元，由 Lightspeed Venture Partners 和 Pantera Capital 共同領投，其他知名投資者也參與其中。該項目打算利用新資金加快 Nexus 1.0 的開發并擴大其工程團隊。

Nexus Labs 發布由 Jolt 和 HyperNova 提供支持的 Nexus 2.0 以改進零知識擴展，該文章最先出現在 Metaverse Post 上。

熱點：JOLT LABS 擴展 提供