We are excited to introduce the Nexus Project, a scientific and engineering effort aiming to bring truth to the field of computation.
We’re bringing to life a new form of compute: verifiable computation, and are powering it with open science and open-source software so it can benefit everyone.
Our work aims to bring to life decades of advancements in zero-knowledge cryptography by many scientists, engineers and mathematicians, into a single software system we call the Nexus 1.0.
Nexus 1.0: The Zero Knowledge Machine
The Nexus system enables developers to build the next generation of highly secure software. Our goal is to enable developers to build a new verifiable Internet, an Internet where truth can be easily proven by mathematics.
To this end, we introduce the Nexus 1.0, a zero-knowledge machine that can prove any computation, including infinite ones.
More details on the science and architecture of the Nexus 1.0 will be released in a separate post.
The Path to 1 THz of Verifiable Compute
The Nexus Project aims to scale verifiable computation by orders of magnitude.
The goal of the Nexus Project is to build the world's most computationally powerful system, designed specifically for proof production. We aim to scale the Nexus machine to 1 trillion Hz of compute, through a combination of innovations on the zkVM frontier itself, and in collaboration with other partners in the industry.
A new form of computation
Much like a new element of nature, or a new fundamental force of physics, verifiable computation is a new form of computation.
Verifiable computation has been the subject of much theoretical research since the 1980s with the invention of zero-knowledge proofs, and the field has seen tremendous advancements over the last four decades.
Indeed, as discussed in the Nexus Whitepaper, the world has come a long way since Turing introduced in 1936 the Universal Turing Machine, a hypothetical machine capable of executing any computation, and which marked the birth of general-purpose computing. The Nexus system now presents a universal verifiable machine, a machine capable of proving any computation, by building on top of almost 100 years of scientific research.
The importance of this achievement by the scientific community is hard to overstate: there have only been a few moments in history when a new form of computation has been introduced. We see the creation of verifiable computation as being comparable to the inventions of AI, cloud computing, and the Internet itself.
Unification
The Nexus Project seeks to unify decades of advancements across many areas of computer science, from zero-knowledge cryptography, to complexity theory, high-performance computing, compilers research, distributed computing, and much more, into a single, unified, machine.
Most importantly, the Nexus project aims to bring together people. We believe that the combined intellectual and economic forces of people joining together will bring about a better future for the Internet: a future powered by truth.
