🚀 这是我们最新演示的重点，在来自 @eth_proofs Call #1 的其他 21 个 zkVM 中脱颖而出！

隆重推出基于 NIVC folding 构建的 NovaNet 前沿 zkVM！

从 Nova 到 SuperNova 再到 NeutronNova，我们设计了一个基于 WASM 的证明网络，它正在重新定义零知识证明。

NovaNet 在两个强大的用例中大放异彩：

1⃣自上而下：跨多台机器并行处理大规模证明任务，将其分解为可管理的块
2⃣自下而上：高效地聚合隐私证明，并以最小的开销将其发布在链上

为什么 folding 如此关键？ 它是 NovaNet 创新的支柱：

☑️去中心化：可调节的步长让小型设备和强大的服务器都能加入网络，从而促进包容性
☑️活跃性：增量可验证计算意味着您可以暂停证明过程，并且任何人都可以验证 - 与单片系统不同，无需重新启动
☑️效率：Folding 为文献中的延续提供了最低的开销，仅提交到证明的宽度

隐私？ NovaNet 为您保驾护航 🤝

与大多数 zkVM 不同，我们默认是私有的。 更新后的 HyperNova 论文中的一个巧妙技巧使我们能够仅通过一次 fold 实现纯 ZK。 此外，我们的链上验证器是一个精简的野兽，以约 150,000 gas 💸 发布证明

NovaNet 的 NIVC 设计还支持按操作码付费证明，邀请像 Jolt 这样的专业证明者加入。 Jolt 证明可以通过实时 folding 或延续（感谢 Justin 的最新论文）集成，跨机器运行以实现终极灵活性

展望未来，我们将跳过基于哈希的方案。 相反，我们正在朝着以下方向发展：

🔹NeutronNova：Nebula 上的速度提高 10 倍，基准测试即将发布。 它可能略微落后于 Starkish 系统，但为更大的收益奠定了基础
🔹NEO：基于 Lattice，具有长期前景和抗量子性

最好的部分？ NovaNet 是完全开源的！ 深入研究 zkEngine（链接在 bio 中）并在您的浏览器中尝试一下。 WebGPU 支持也即将推出！

🎥 在下面观看完整的 2 分钟演示👇

PS：有问题吗？ 将它们放在评论中或加入我们的 TG（链接在 bio 中）#zkVM