前言
零知识密码项目一般分为两类:
专用 ZK:这些尝试通过证明特定计算来提高区块链的可扩展性。例如,zk-rollup 堆栈、用于执行层的 zkEVM、ZK 证明聚合、结算等。这些公司包括 zkSync Era 和 Starknet。
通用 ZK:这些 ZK 试图证明任何计算,无论使用哪种编程语言,它们被称为 zkVM。它们旨在让开发人员在几天内(而不是几个月内)交付 ZK 项目,让他们专注于编写普通代码,而不是电路。
后者依赖于从底层构建一个全新的系统,需要行业领导者拓展ZK研究的前沿。这些公司包括RISC Zero、Succinct和Nexus。
构建可验证计算非常困难,因此这些公司专注于构建堆栈的特定部分,例如 zkVM、证明者网络或可定制电路。Nexus 以完全不同的视角来处理这个问题。构建安全的互联网需要重新发明零知识机器的设计和使用方式。我们相信 Nexus 拥有从头开始构建全新可验证计算机的才能和独创性,以优化 zkVM 的每一层,从而构建最快、最高效的可验证计算机。
什么是可验证计算?
在现代社会,真相难以核实。人工智能、深度伪造、VPN、远程黑客和网络钓鱼使得掩盖计算背后的真相变得比以往任何时候都容易。目前,在我们的计算机中,CPU 运行代码并输出解决方案。使用 Nexus 0.0,代码输入会输出解决方案和相应的零知识证明,证明解决方案是正确创建的,这使我们能够确定输出是有效的。通过这种方式,可以证明任何信息都是真实的,而无需透露任何有关底层信息的信息。
进展和里程碑
Nexus建立在数十年的零知识证明研究基础之上,简而言之,零知识证明允许用户证明计算已正确完成,而无需透露有关底层输入的任何信息。医疗记录、军事机密、身份和浏览活动;这些都是过去未能保持安全的行业。可验证计算是灵丹妙药,但面临巨大障碍。当前的 ZK 应用程序速度很慢,无法运行任意计算,并且为开发人员提供了糟糕的体验。
Nexus 1.0 构建了一台可以证明任意 Rust 代码的机器,并设计了一个针对创新和可扩展性进行优化的技术堆栈。最终目标是扩展验证以适应任何应用程序,甚至像互联网一样大。Nexus 0.0 以 1Hz(每秒 1 个 CPU 周期)运行,并于 2023 年 9 月问世。在 2024 年 2 月的 EthDenver 上,新版本 Nexus 1.0 以 ~100Hz 的速度运行,这在短短 5 个月内就提高了约 100 倍。该团队希望成倍提高 Nexus zkVM 的速度。
这种指数级增长源自 Nexus 1.0 的模块化设计,允许从证明者到证明压缩的每个部分进行单独优化,以使用零知识证明领域中最新和最出色的研究成果。这也使 Nexus 能够非常轻松地将其技术应用于区块链。
加密应用
Nexus 的模块化意味着它可以用于整体应用程序,也可以使用单个部分来支持其他模块化应用程序。例如,压缩层将许多大型证明组合成一个简洁的证明。这项技术依赖于 Nova,这是一种折叠方案,直到 2022 年才通过一篇研究论文发明。Nexus 构建了世界上唯一的生产级折叠实现,允许高效递归和证明聚合。该层可以独立用于支持其他 zkVM。
这种设计还很容易与当前的区块链共识和安全标准集成。例如,在 NVM 或 Nexus 虚拟机中,“预编译”允许开发人员使用自定义指令扩展机器,以预编译常见方案,如 Keccak-256(用于在以太坊上创建和验证交易)。这意味着 Nexus 可以集成和验证在 EVM(和许多其他)链上完成的计算。
如今,ZK 应用花费数百万美元在 L1 上生成和验证证明。Nexus 证明、压缩和编译器节点网络将大幅提高现有 ZK 应用程序的性能,同时在现有 ZK 链行业中占据巨大的市场份额,价值可能达到数十亿美元。ZK 行业发展迅速,Nexus 凭借从证明到压缩的整个技术堆栈中一流的设计占据市场主导地位。
团队关键成员
Nexus团队汇聚了密码学和计算机科学领域最杰出的人才。
管理团队包括:
Daniel Marin,首席执行官:斯坦福大学应届毕业生,受著名密码学家Dan Boneh指导。
Jens Groth,首席科学家:曾任DFINITY研究主任,伦敦大学学院教授, 最广泛使用的zk-SNARK Groth16的发明者。
Alex Fowler,首席战略官:Blockstream 联合创始人兼前高级副总裁、Mozilla 首席隐私官。
Don Beaver,密码学副总裁:曾任 Jump Crypto 首席密码学家,以及 Meta、Uber、Apple 和 Google 的高级研究员和科学家。
核心团队密码学专家有:
Michel Abdalla:高级密码学科学家、国际密码学研究协会(IACR)主席、前法国高等师范学院教授、DFINITY 研究员。
Samuel Judson:密码学工程师,拥有耶鲁大学密码学博士学位,师从 Ruzica Piskac,曾担任 Auth0 安全工程师。他在 ZKP、形式化方法和 AI 领域撰写了 7 篇以上论文。
Kristian Sosnin:密码学工程师,曾担任 Matter Labs 和 Parity 的 Rust 工程师。
Vamsi Policharla:密码学工程师,正在伯克利攻读密码学博士学位,导师是 Sanjam Garg。他是伯克利密码学小组的核心 Rust 工程师,撰写了 4 篇以上 ZKP 论文。
Yinuo Zhang:密码学科学家,目前在伯克利大学 Sanjam Garg 的指导下攻读密码学博士学位。他之前曾在 a16z Crypto '23 实习,从事 zkVM 研究,并撰写了 5 篇以上 ZKP 论文。
我们相信,如果有任何团队能够在互联网规模上创建可验证的计算,那就是Nexus这个团队。
Pantera与 Lightspeed Venture Partners于2024年6月10日宣布共同领投了Nexus 的2500 万美元 A 轮融资。
Nexus 1.0 已经公开发布,这意味着任何人都可以仅用几行代码来证明任意 Rust 程序。按照此处的步骤(https://docs.nexus.xyz/)亲自尝试一下。
结论
Nexus 正凭借星光熠熠的团队阵容和精妙的技术设计,攻克可扩展可验证计算的崭新世界。我们相信 Nexus 是人类未来创建安全互联网的重要一步。零知识证明历来速度缓慢、不通用,并且开发人员体验不佳。
Nexus 通过将数十年的创新与高度并行化和模块化的系统相结合,解决了这三个问题。
我们相信 Nexus 将成为高效可验证计算的首选之地,并确保接下来的万亿次计算是安全、可验证和高效的。