N E X U S

Enabling the Verifiable Internet

N E X U S

Enabling the Verifiable Internet

N E X U S

Enabling the Verifiable Internet

Nexus 2.0: The Zero Knowledge Machine

The latest version of our zkVM offers a range of upgrades, including:

  • A new prover frontend, powered by the Jolt arithmetization system

  • A new prover backend, powered by the HyperNova recursive proof system

  • The Nexus SDK, a programmatic framework for producing multiple proofs in parallel and at scale

We're Hiring

Come join our talented team at the forefront of the next generation of computing – we’re hiring for a variety of engineering and other roles in our San Francisco office. We offer competitive salaries, equity compensation and a dynamic startup culture where creativity and autonomy are highly valued.

About Nexus

Nexus recently raised a $25M Series A from renowned Silicon Valley investors Lightspeed, Pantera, Dragonfly, SV Angel, and more. Our team consists of some of the world's top scientists, mathematicians, and engineers working together with one goal: to prove all of humanity's computations, and bring about a new verifiable Internet.

We are an open scientific project, attempting to culminate decades of research in cryptography, mathematics and computer science, into the first general-purpose system for verifiable computation: The Nexus zkVM.

Nexus recently raised a $25M Series A from renowned Silicon Valley investors Lightspeed, Pantera, Dragonfly, SV Angel, and more. Our team consists of some of the world's top scientists, mathematicians, and engineers working together with one goal: to prove all of humanity's computations, and bring about a new verifiable Internet.

We are an open scientific project, attempting to culminate decades of research in cryptography, mathematics and computer science, into the first general-purpose system for verifiable computation: The Nexus zkVM.