Jens Groth专访：构建全球可验证计算的未来
在近期一次专访中，零知识证明领域奠基人、Groth16协议发明者Jens Groth教授分享了他在Nexus团队中推动通用可验证计算基础设施的愿景。Groth16自2016年提出以来，已成为众多区块链系统的核心组件，而Groth现在正致力于将其扩展至更广泛的计算场景。
从Groth16到通用验证
Groth16作为最高效的zk-SNARK构造之一，广泛应用于Zcash和各类Layer-2扩容方案。然而，其设计针对特定电路，每次应用都需新的可信设置。Groth强调，下一前沿是实现通用可验证性——让任意计算（从AI推理到数据库查询）都能高效验证，而无需重复设置或高昂开销。
“关键是将证明系统与应用逻辑解耦，”Groth在采访中表示，“我们希望开发者正常编写代码，然后自动编译为zk证明。这需要健壮的中间表示以及能处理动态控制流的证明系统。”
Nexus正在构建一个zkVM（零知识虚拟机），旨在提供这种抽象层。通过采用RISC-V指令集架构，该项目力求创建一个通用后端，能够证明任何编译为该标准的程序的执行。这一方法不同于早期仅支持简单代币转账或特定DeFi操作的zk-Rollup。
行业影响
- 可扩展性：若任意智能合约或链下计算都能在链上简洁验证，区块链吞吐量可在不牺牲去中心化的情况下水平扩展。
- 互操作性：通用证明层可作为跨链桥梁，使一条链的状态转换能在另一条链上以密码学方式验证。
- 隐私性：可验证计算支持私有智能合约，输入保持隐藏但输出被证明正确——这对机构采用至关重要。
- 成本降低：Groth16已证明高效证明可行；通用系统旨在将成本降至消费级硬件，支持移动和IoT参与。
挑战与前景
尽管前景广阔，挑战依然存在。证明通用代码计算密集度高，通常需要比原生执行多出数个数量级的资源。Groth承认开发者体验是另一瓶颈：“我们需要更好的工具，让证明像编写单元测试一样简单。”
此外，系统的安全性依赖严格的形式化验证和持续审计。随着技术成熟，我们可能会看到从应用特定电路转向共享、审计的证明框架——这可能标准化整个生态的信任机制。
未来展望
Groth在Nexus的工作标志着密码学与主流软件工程融合的更广泛趋势。未来几年，zkVM不仅将驱动区块链网络，还可能服务于传统云服务，实现数据处理的可验证声明而不泄露敏感细节。
“我们正处于拐点，”Groth指出，“未来十年，可验证计算可能像今天的加密技术一样无处不在。”若此愿景实现，互联网的信任层将被根本重塑，而Groth的早期贡献将被视为这场变革的种子。
