Jens Groth on Building the Future of Universal Verifiable Computation
In a recent interview, Jens Groth, the cryptographer whose 2016 Groth16 protocol became a cornerstone of zero-knowledge (zk) proofs, outlined his vision for a global, verifiable computing infrastructure. Groth, now a research scientist at Nexus, discussed how his foundational work is being extended to make zk-proofs practical for general-purpose computation, not just specialized blockchain tasks.
From Groth16 to Universal Verification
Groth16 remains one of the most efficient zk-SNARK constructions, widely used in blockchain systems like Zcash and numerous Layer-2 scaling solutions. However, its design is tailored for circuit-specific verification, requiring a new trusted setup for each application. Groth emphasized that the next frontier is achieving universal verifiability—enabling any computation, from AI inference to database queries, to be verified without per-application ceremony or massive overhead.
“The key is to decouple the proving system from the application logic,” Groth explained in the interview. “We want developers to write code normally and have it automatically compile into a zk-proof. That requires a robust intermediate representation and a proving system that can handle dynamic control flow.”
Nexus is building a zkVM (zero-knowledge virtual machine) that aims to provide this layer of abstraction. By leveraging a RISC-V instruction set architecture, the project seeks to create a universal backend that can prove execution of any program compiled to that standard. This approach contrasts with earlier zk-rollups that were limited to simple token transfers or specific DeFi operations.
Implications for the Industry
The move toward universal zk computation has profound implications:
- Scalability: If any smart contract or off-chain computation can be verified succinctly on-chain, blockchain throughput could scale horizontally without sacrificing decentralization.
- Interoperability: A universal proving layer could serve as a bridge between different chains, allowing state transitions from one network to be verified on another with cryptographic certainty.
- Privacy: Verifiable computation enables private smart contracts, where inputs remain hidden but outputs are proven correct—a crucial feature for institutional adoption.
- Cost Reduction: Groth16 already proved that efficient proofs are possible; universal systems aim to bring these costs down to consumer hardware, enabling mobile and IoT participation.
Challenges Ahead
Despite the promise, significant hurdles remain. Proving general-purpose code is computationally intensive, often requiring orders of magnitude more resources than native execution. Groth acknowledged that developer experience is another bottleneck: “We need better tooling so that proving is as easy as writing a unit test.”
Moreover, the security of these systems hinges on rigorous formal verification and continuous auditing. As the technology matures, we may see a shift from application-specific circuits to shared, audited proving frameworks—a move that could standardize trust across the ecosystem.
Forward-Looking Perspective
Groth’s work at Nexus signals a broader trend: the convergence of cryptography and mainstream software engineering. Over the next few years, we can expect zkVMs to power not only blockchain networks but also traditional cloud services, enabling verifiable claims about data processing without revealing sensitive details.
“We are at the inflection point,” Groth noted. “In the next decade, verifiable computation could become as ubiquitous as encryption is today.” If that vision materializes, the internet’s trust layer will be fundamentally rewired, and Groth’s early contributions will be seen as the seed of that transformation.
