Nexus 专访｜Jens Groth 揭秘如何构建全球可验证计算的未来？

受访者: Jens Groth，Nexus 首席科学家

采访及撰文：Alex, OpenBuild 内容团队

在 AI、大数据与 Web3 加速融合的当下，如何验证大规模计算的真实性，正成为数字世界面临的核心技术挑战。Nexus 正在推动一项前沿探索 —— 构建一个全球协同运行的可验证计算基础设施，融合零知识虚拟机 zkVM[1] 与分布式 prover 网络[2]，打造一台可信的「超级计算机」。

在本期专访中，OpenBuild 深度对话 Nexus 首席科学家、密码学权威 Jens Groth[3] 教授，围绕 zkVM 的技术演进、分布式计算架构设计、AI 场景下的可信执行路径等关键议题展开探讨。他还分享了 Nexus 如何在保障隐私的同时，实现性能与可扩展性的平衡，为构建可验证的数字文明提供底层支撑。

作为零知识证明领域的重要奠基人，Jens Groth 教授于 2016 年提出了广为应用的 Groth16[4] 系统，其研究成果为今日 zk 计算的发展奠定了坚实基础。

可验证世界的构建逻辑

OpenBuild：能否用一句话概括 Nexus 的愿景与使命？

Jens Groth：Nexus 是为「可验证世界」构建底层基础设施的平台。

我们相信，未来一切重要的数字活动——无论是数据生成、AI 决策，还是链上交易——都需要有可验证性保障，而 Nexus 正在为此打造技术基座。

zkVM 3.0 的技术演进

OpenBuild： 与前两个版本相比，zkVM 3.0 有哪些重要的技术迭代？

Jens Groth：这是一次从底层架构到执行性能的全面重写。

Nexus zkVM 3.0[5] 以 RISC-V[6] 为目标指令集，具备强大的模块化、可扩展性，并辅以形式化规范，确保安全性和标准化。

此外，我们引入了重新设计的 guest runtime、高效内存检查机制，并通过 StarkWare[7] 的 Stwo prover[8] 提供后端证明能力。最终结果是比 1.0 和 2.0 版本快上 1000 倍，同时更易用。

人人可参与的分布式算力网络

OpenBuild：Nexus 的分布式 prover 网络是如何运作的？普通用户可以参与吗？

Jens Groth：完全可以。我们降低了算力门槛，用户可通过笔计本电脑甚至手机一键接入网络，贡献闲置计算资源。每一台设备的接入都提升了网络整体算力。

我们不同于传统区块链的「矿工模型」，而是激活全球设备的潜能。用户贡献算力可获得 Nexus 提供的激励积分 NEX Points[9]。

开发者友好的可验证计算工具链

OpenBuild：Nexus 如何支持开发者构建基于 zkVM 的可验证应用？

Jens Groth：我们提供完善的 SDK、CLI 工具链以及详尽的文档[10]，帮助开发者轻松上手构建 Verifiable 程序。

我们的 API 设计具备防误用机制，并围绕性能、可验证性、安全性做了平衡，目标是让 Verifiable Executio[11]n 成为开发常规能力的一部分。

与 AI 场景的结合与落地

OpenBuild：Nexus 如何服务 AI 场景？有哪些典型应用？

Jens Groth：AI 的可信性问题[12]正在成为关键挑战。Nexus 的可验证计算能力可以应用在多个场景:

• AI 代理验证：比如验证 AI 是否在授权和预算范围内完成航班预订。

• 加密交易助手：确保 AI 工具不会生成「幻觉交易」。

• 可验证媒体：如相机拍摄图像自动签名地理坐标与时间，防范 deepfake。

这些都是通用场景，Nexus 致力于成为这些 AI 应用可信性[13]保障的底层标准。

隐私 vs 性能的设计哲学

OpenBuild：Nexus 如何在隐私保护与性能优化之间做出技术平衡？

Jens Groth：可验证计算的核心成本是生成 zk 证明，这一过程目前仍较为昂贵。Nexus 通过 prover 网络对计算进行并行化处理，显著降低延迟。

本地运行 Verifiable Computation 几乎可以免费获得隐私保护，因为 zk 证明本身既小巧又不暴露机密数据。分布式处理可能带来隐私风险，因此我们正积极研究在分布式架构中如何保持隐私与效率的双重保障。

路线图与未来规划

OpenBuild：Nexus 未来 1–2 年的重点是什么？

Jens Groth：我们计划今年再上线一个测试网，为主网正式发布做准备。同时，我们刚刚成立了 Verifiable AI Lab[14]，探索 AI 与可验证计算的深度结合。

在市场拓展方面，我们目标远大：希望未来整个数字世界都走向可验证。我们已与超 50 家项目建立合作，并坚持「快速交付、持续迭代」的产品哲学。

结语

通过这场专访我们可以看出，Nexus 并非在做又一个「链」，而是在重新定义数字世界中「可信计算」的方式。它所搭建的 zkVM 与分布式 prover 网络，将成为 AI、Web3、甚至传统互联网中，可信协作的新范式。

引用链接

[1]zkVM:https://nexus.xyz/zkvm

[2]prover 网络:https://blog.nexus.xyz/nexus-launches-worlds-first-open-prover-network/

[3]Jens Groth:http://www0.cs.ucl.ac.uk/staff/j.groth/

[4]Groth16:https://eprint.iacr.org/2016/260

[5]Nexus zkVM 3.0:https://blog.nexus.xyz/zkvm-3-0-and-beyond-toward-modular-distributed-zero-knowledge-proofs/

[6]RISC-V:https://riscv.org/

[7]StarkWare:https://starkware.co/

[8]Stwo prover:https://github.com/starkware-libs/stwo

[9]NEX Points:https://docs.nexus.xyz/layer-1/network-devnet/nex-points

[10]文档:https://docs.nexus.xyz/home

[11]Verifiable Executio:https://blog.nexus.xyz/the-nexus-execution-layer-incrementally-verifiable-computation/

[12]AI 的可信性问题:https://hbr.org/2024/05/ais-trust-problem

[13]AI 应用可信性:https://blog.nexus.xyz/nexus-zkmcp-verifiable-model-execution/

[14]Verifiable AI Lab:https://blog.nexus.xyz/nexus-verifiable-ai-lab/