Nexus 专访｜Jens Groth 揭秘如何构建全球可验证计算的未来？
受访者:JensGroth，Nexus首席科学家
采访及撰文：Alex,OpenBuild内容团队
在AI、大数据与Web3加速融合的当下，如何验证大规模计算的真实性，正成为数字世界面临的核心技术挑战。Nexus正在推动一项前沿探索——构建一个全球协同运行的可验证计算基础设施，融合零知识虚拟机zkVM[1]与分布式prover网络[2]，打造一台可信的「超级计算机」。
在本期专访中，OpenBuild深度对话Nexus首席科学家、密码学权威JensGroth[3]教授，围绕zkVM的技术演进、分布式计算架构设计、AI场景下的可信执行路径等关键议题展开探讨。他还分享了Nexus如何在保障隐私的同时，实现性能与可扩展性的平衡，为构建可验证的数字文明提供底层支撑。
作为零知识证明领域的重要奠基人，JensGroth教授于2016年提出了广为应用的Groth16[4]系统，其研究成果为今日zk计算的发展奠定了坚实基础。
可验证世界的构建逻辑OpenBuild：能否用一句话概括Nexus的愿景与使命？
JensGroth：Nexus是为「可验证世界」构建底层基础设施的平台。
我们相信，未来一切重要的数字活动——无论是数据生成、AI决策，还是链上交易——都需要有可验证性保障，而Nexus正在为此打造技术基座。
zkVM3.0的技术演进OpenBuild：与前两个版本相比，zkVM3.0有哪些重要的技术迭代？
JensGroth：这是一次从底层架构到执行性能的全面重写。
NexuszkVM3.0[5]以RISC-V[6]为目标指令集，具备强大的模块化、可扩展性，并辅以形式化规范，确保安全性和标准化。
此外，我们引入了重新设计的guestruntime、高效内存检查机制，并通过StarkWare[7]的Stwoprover[8]提供后端证明能力。最终结果是比1.0和2.0版本快上1000倍，同时更易用。
人人可参与的分布式算力网络OpenBuild：Nexus的分布式prover网络是如何运作的？普通用户可以参与吗？
JensGroth：完全可以。我们降低了算力门槛，用户可通过笔计本电脑甚至手机一键接入网络，贡献闲置计算资源。每一台设备的接入都提升了网络整体算力。
我们不同于传统区块链的「矿工模型」，而是激活全球设备的潜能。用户贡献算力可获得Nexus提供的激励积分NEXPoints[9]。
开发者友好的可验证计算工具链OpenBuild：Nexus如何支持开发者构建基于zkVM的可验证应用？
JensGroth：我们提供完善的SDK、CLI工具链以及详尽的文档[10]，帮助开发者轻松上手构建Verifiable程序。
我们的API设计具备防误用机制，并围绕性能、可验证性、安全性做了平衡，目标是让VerifiableExecutio[11]n成为开发常规能力的一部分。
与AI场景的结合与落地OpenBuild：Nexus如何服务AI场景？有哪些典型应用？
JensGroth：AI的可信性问题[12]正在成为关键挑战。Nexus的可验证计算能力可以应用在多个场景:
•AI代理验证：比如验证AI是否在授权和预算范围内完成航班预订。
•加密交易助手：确保AI工具不会生成「幻觉交易」。
•可验证媒体：如相机拍摄图像自动签名地理坐标与时间，防范deepfake。
这些都是通用场景，Nexus致力于成为这些AI应用可信性[13]保障的底层标准。
隐私vs性能的设计哲学OpenBuild：Nexus如何在隐私保护与性能优化之间做出技术平衡？
JensGroth：可验证计算的核心成本是生成zk证明，这一过程目前仍较为昂贵。Nexus通过prover网络对计算进行并行化处理，显著降低延迟。
本地运行VerifiableComputation几乎可以免费获得隐私保护，因为zk证明本身既小巧又不暴露机密数据。分布式处理可能带来隐私风险，因此我们正积极研究在分布式架构中如何保持隐私与效率的双重保障。
路线图与未来规划OpenBuild：Nexus未来1–2年的重点是什么？
JensGroth：我们计划今年再上线一个测试网，为主网正式发布做准备。同时，我们刚刚成立了VerifiableAILab[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]JensGroth:http://www0.cs.ucl.ac.uk/staff/j.groth/
[4]Groth16:https://eprint.iacr.org/2016/260
[5]NexuszkVM3.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]Stwoprover:https://github.com/starkware-libs/stwo
[9]NEXPoints:https://docs.nexus.xyz/layer-1/network-devnet/nex-points
[10]文档:https://docs.nexus.xyz/home
[11]VerifiableExecutio: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]VerifiableAILab:https://blog.nexus.xyz/nexus-verifiable-ai-lab/
