Nexus项目致力于构建一个全新的可验证计算机，旨在解决零知识证明（ZK）领域速度慢、通用性差、开发者体验不佳等问题。

零知识密码项目主要分为专用ZK（如zk-rollup）和通用ZK（zkVM）两类。Nexus属于通用ZK，它旨在通过构建一个zkVM，让开发者能够快速、便捷地进行ZK应用开发。

Nexus 0.0版本于2023年9月发布，运行速度为1Hz；而Nexus 1.0版本在2024年2月EthDenver上发布，速度提升至约100Hz，实现了百倍增长。这得益于其模块化设计，允许对证明者、证明压缩等各个部分进行单独优化。

Nexus的技术栈包含多个关键组件：

• zkVM: 能够证明任意Rust代码的虚拟机。
• 压缩层: 使用Nova折叠方案，将多个大型证明组合成一个简洁的证明，提高效率。
• 编译器节点网络: 进一步提升证明生成和验证速度。

Nexus的模块化设计使其易于与现有区块链集成，例如通过预编译支持EVM上的计算。其技术还可以独立应用于其他ZK应用。

Nexus团队由密码学和计算机科学领域的顶尖人才组成，包括斯坦福大学毕业生Daniel Marin（CEO）、zk-SNARK Groth16的发明者Jens Groth（首席科学家）以及其他来自Meta、Uber、Apple、Google等公司的资深专家。

2024年6月，Nexus获得了由Pantera和Lightspeed Venture Partners领投的2500万美元A轮融资。Nexus 1.0现已公开发布，开发者可以轻松上手体验。

Nexus致力于成为高效可验证计算的首选方案，为构建安全、可验证和高效的互联网未来贡献力量。