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 智能合约处理代币经济学、托管、验证器和其他细节。它们对使用网络的应用程序开发人员来说大多是不透明的，但是当它们生活在链上时，任何人都可以对其进行检查。