Founded at Stanford University in 2022, Nexus is a scientific effort enabling large-scale verifiable computing, powered by zero-knowledge proofs. Nexus is 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. Our team consists of some of the world’s top cryptographers, mathematicians, and engineers, all working together with one goal: to unite the world’s computers and prove all of humanity’s computation.