NovaNet

NovaNet 是無處不在的零知識證明的激勵和協調網絡：用於隱私、可驗證計算等。它是唯一一個模塊化的 ZKP 激勵網絡，可爲瀏覽器、消費設備和跨區塊鏈提供快速、保護隱私的證明。 NovaNet 是一個點對點的去中心化驗證網絡。它建立在SuperNOVA驗證方案中的非均勻增量可驗證計算（NIVC）的概念基礎上，以實現高度可移植和可定製的零知識虛擬機和基於操作碼的證明器框架。爲什麼要使用 NIVC？因爲它具有卓越的內存效率，允許 NovaNet 驗證器在各種類型的設備上運行。 允許使用多種類型的設備允許任何人以證明者的身份加入網絡。用戶有可能在玩自己喜歡的zkGames、使用基於瀏覽器的應用程序，甚至以專業驗證者的身份加入網絡（ZK's e pluribus unum）時賺取代幣。研究人員可以創建專門的證明方案，並因在現實世界中使用而獲得獎勵。 NovaNet的第一個實現適用於WASM可執行文件，但將來可能會擴展到RISC或其他虛擬機。WASM 已被選爲其最佳便攜性的首選目標。WASM 適用於瀏覽器、服務器、區塊鏈和其他各種設置。NovaNet 還支持專門的操作碼，用於零知識機器學習 (zkML)、其他虛擬機 (JOLT) 以及任何其他專業電路勝過通用 zkVM 的東西。 存在許多prover服務，並且正在使用集中式prover堆棧進行構建。這個想法是，集中化的證明者可以允許 “證明賽車”，而競爭將帶來最佳速度。這種假設通常限制隱私保護和本地執行證明的用例。當你向非本地證明者提供數據時，你會失去隱私；就這麼簡單。此外，我們認爲，通過對IVC的泛化可以實現並行化：證明攜帶數據（PCD）可以對NovaNet進行博弈論優化。這可以更好地激勵參與者，並允許在許多環境中加快驗證速度。 NovaNet 允許開發人員在他們喜歡的任何設置中託管驗證器。它可能在以太坊、另一個區塊鏈上，甚至是雲服務器上。你可以自由選擇。我們決定不用 NovaNet 專用 zk-L1 重新創建輪子。NovaNet 代幣層是跨鏈的，核心組件在各種鏈上運行，待公佈。Orchestration 智能合約處理代幣經濟學、託管、驗證器和其他細節。它們對使用網絡的應用程序開發人員來說大多是不透明的，但是當它們生活在鏈上時，任何人都可以對其進行檢查。