🚀 這是我們在 @eth_proofs Call #1 中，與其他 21 個 zkVM 一同發布的最新簡報重點：

隆重推出基於 NIVC folding 建構的尖端 zkVM：NovaNet！

從 Nova 到 SuperNova 再到 NeutronNova，我們打造了一個基於 WASM 的證明網路，重新定義了零知識證明。

NovaNet 在兩個強大的使用案例中大放異彩：

1⃣由上而下：在多台機器上並行處理大規模證明任務，將其分解為可管理的小塊。
2⃣由下而上：高效地聚合隱私證明，並以最小的開銷將其發布在鏈上。

為什麼 folding 如此重要？ 它是 NovaNet 創新的支柱：

☑️去中心化：可調整的步長允許小型設備和強大的伺服器加入網路，促進包容性。
☑️活性：增量可驗證計算意味著您可以中途暫停證明，並且任何人都可以驗證 - 無需像單體系統那樣重新啟動。
☑️效率：Folding 為文獻中連續性提供了最低的開銷，僅提交證明的寬度。

隱私？ NovaNet 為您提供保障🤝

與大多數 zkVM 不同，我們預設是私有的。 更新後的 HyperNova 論文中的一個巧妙技巧使我們能夠僅通過一次 folding 實現純 ZK。 此外，我們的鏈上驗證器是一個精簡的野獸，以約 150,000 gas 💸 發布證明。

NovaNet 的 NIVC 設計還支援按 opcode 付費證明，邀請像 Jolt 這樣的專業證明者加入。 Jolt 證明可以通過即時 folding 或連續性（向 Justin 的最新論文致敬）進行整合，跨機器運行以實現終極靈活性。

展望未來，我們將跳過基於雜湊的方案。 相反，我們正在朝以下方向發展：

🔹NeutronNova：Nebula 速度提高 10 倍，基準測試即將發布。 它可能略遜於 Starkish 系統，但為更大的收益奠定了基礎。
🔹NEO：基於 Lattice，具有長期前景和抗量子性。

最好的部分？ NovaNet 是完全開源的！ 深入研究 zkEngine（連結在個人簡介中）並在您的瀏覽器中嘗試。 WebGPU 支援也即將推出！

🎥 觀看下面的完整 2 分鐘簡報👇

PS：有問題嗎？ 請在評論中提出或加入我們的 TG（連結在個人簡介中）#zkVM