Nexus：构建安全互联网的可验证计算

前言

零知识密码项目一般分为两类：专用 ZK 和通用 ZK。专用 ZK 致力于通过证明特定计算来提高区块链的可扩展性，例如 zk-rollup 堆栈、zkEVM、ZK 证明聚合等，代表公司包括 zkSync Era 和 Starknet。通用 ZK 则试图证明任何计算，无论使用哪种编程语言，被称为 zkVM，旨在让开发人员快速交付 ZK 项目，专注于编写普通代码。Nexus 属于通用 ZK，其目标是从底层构建一个全新的系统，需要行业领导者拓展 ZK 研究的前沿。

什么是可验证计算？

现代社会中，真相难以核实。Nexus 0.0 通过输出解决方案和相应的零知识证明，证明解决方案的正确性，从而确保输出有效。这种方式可以证明任何信息都是真实的，而无需透露任何有关底层信息的信息。

进展和里程碑

Nexus 建立在数十年的零知识证明研究基础之上，它允许用户证明计算已正确完成，而无需透露有关底层输入的任何信息。当前的 ZK 应用程序速度慢，无法运行任意计算，并且为开发人员提供了糟糕的体验。Nexus 1.0 构建了一台可以证明任意 Rust 代码的机器，并设计了一个针对创新和可扩展性进行优化的技术堆栈。Nexus 1.0 比 0.0 版本速度提高了 100 倍，这得益于其模块化设计，允许从证明者到证明压缩的每个部分进行单独优化，以使用零知识证明领域中最新和最出色的研究成果。

加密应用

Nexus 的模块化意味着它可以用于整体应用程序，也可以使用单个部分来支持其他模块化应用程序。例如，压缩层将许多大型证明组合成一个简洁的证明，这项技术依赖于 Nova，这是一种折叠方案，直到 2022 年才通过一篇研究论文发明。Nexus 构建了世界上唯一的生产级折叠实现，允许高效递归和证明聚合。该层可以独立用于支持其他 zkVM。

团队

Nexus 团队汇聚了密码学和计算机科学领域最杰出的人才，包括首席执行官 Daniel Marin、首席科学家 Jens Groth、首席战略官 Alex Fowler、密码学副总裁 Don Beaver 等。核心团队成员在密码学领域拥有丰富的经验和研究成果。

融资

Pantera 与 Lightspeed Venture Partners 于 2024 年 6 月 10 日共同领投了 Nexus 的 2500 万美元 A 轮融资。

结论

Nexus 正凭借星光熠熠的团队阵容和精妙的技术设计，攻克可扩展可验证计算的崭新世界。我们相信 Nexus 是人类未来创建安全互联网的重要一步。零知识证明历来速度缓慢、不通用，并且开发人员体验不佳。Nexus 通过将数十年的创新与高度并行化和模块化的系统相结合，解决了这三个问题。我们相信 Nexus 将成为高效可验证计算的首选之地，并确保接下来的万亿次计算是安全、可验证和高效的。