N E X U S

N E X U S

Enabling the Verifiable Internet

Nexus 1.0: The Zero Knowledge Machine

The Nexus 1.0 is the first machine that can prove any computation, of any length.

The zkVM for Rust, written in Rust

Powered by breakthroughs in science, mathematics and engineering, the Nexus 1.0 presents a modular, extensible, open-source, highly-parallelized, prover-optimized, and contributor-friendly, architecture.

The Path to 1 Trillion Hz

At ~100x faster than the Nexus 0.0 machine, the Nexus 1.0 is a major step towards our goal of building a zkVM that runs at 1 trillion Hz.

How it Works

The Nexus 1.0 starts with the user providing a normal Rust program. After compiling, the Nexus zkVM runs the program, generating a trace of its execution. The zkVM then partitions the trace into chunks, which the Nexus Network distributes to its participating computers, enabling highly-efficient, massively-parallelized proving. The Network finally aggregates these individual proofs together to generate a single succinct proof as the final output of the machine.

Nexus Prover 1.0

The first production-grade implementations of folding-scheme provers like Nova, SuperNova, HyperNova, and more, enabling highly efficient Incrementally Verifiable Computation (IVC).

Nexus Virtual Machine 1.0

A minimal, general-purpose virtual machine designed to optimize prover performance. The NVM can run programs in any high-level language, with particular focus on Rust programs, or emulate with minimal overhead any Instruction Set Architecture (ISA) (e.g. RISC-V, EVM, Wasm).

Nexus Precompile System 1.0

Nexus precompiles extend the NVM instruction set, accelerating specific computations like SHA-256, matrix multiplication, and more. Developers can write their own custom precompiles, as well as draw from — and contribute back to — an open ecosystem. This is possible due to support for non-uniform IVC.

Proof Compression System 1.0

A sequence of recursive SNARKs that compresses the proof smaller and smaller each time. Nexus (Nova) proofs are inherently large, but can be compressed by this system down to a few bytes.

Nexus Compiler 1.0

A safe and correct compiler infrastructure that compiles high-level languages and other ISAs to the NVM while optimizing to maximize prover performance.

Memory Checking Mechanism 1.0

Using Merkle trees as a vector commitment mechanism the zkVM ensures global memory consistency through multiple IVC steps.

Building the Future of Computing

Nexus 1.0 embodies our vision for the future of computing — one that prioritizes correctness, transparency, security, and accountability — and marks a potential turning point for bringing a new level of verifiability into the digital world at a global scale.

A Fully Open Source zkVM

Developers, researchers, and enthusiasts can explore and build on our work, which is documented and freely available under both MIT and Apache 2.0 open source licenses. We look forward to you joining us!

About Nexus

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.

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.

Investors

Team

Daniel Marin

Chief Executive

B.S. in CS @ Stanford
2x IPhO Medallist

Jens Groth

Chief Scientist

Inventor of pairing-based zkSNARKs
Prev. Director of Research @ DFINITY
Prev. Professor of Cryptography @ UCL, London

Alex Fowler

Chief Strategy Officer

Prev. Co-Founder & SVP at Blockstream

Prev. Chief Privacy Officer at Mozilla

Prev. with Transparent, PwC, Zero-Knowledge Systems, EFF, and AAAS

Don Beaver

Vice President, Cryptography

Prev. Chief Cryptographer @Jump
Prev. Staff Research Scientist @Meta
Inventor of Triples, SumCalc, Decentralized Beacons, Correlated Pseudorandomness

John Slater

Vice President, Brand & Creative

Prev. Brand Creative Director @ Meta
Prev. Creative Director @ Twitter
Prev. Director of Creative @ Mozilla

Michel Abdalla

Senior Cryptography Scientist

President @ International Association for Cryptologic Research (IACR)
Prev. Professor of Cryptography @ ENS, France

Kristian Sosnin

Cryptography Engineer

B.S. in Math @ Moscow State
Prev. Rust Developer @ Matter Labs
Prev. Rust Core Engineer @ Parity

Samuel Judson

Cryptography Engineer

Ph.D. in CS @ Yale
Prev. Security Engineer @ Auth0
7+ papers in ZKPs, Formal Methods & AI

Sage Mitchell

Senior Software Engineer

B.S.s in CS and Math @ UMass Amherst

Prev. Sr Research Software Engineer @ Microsoft Research

Prev. DevOps Engineer and Director @ Input Output HK

Sean Martell

Director of Design

Prev. Design Lead, Brand @ Technical Magic
Prev. Director, Brand Design @ DuckDuckGo

Prev. Creative Lead, Brand @ Mozilla

Guru Vamsi Policharla

Cryptography Engineer

Ph.D. in Cryptography @ Berkeley
4+ papers in Zero-Knowledge Proofs
Advised by Sanjam Garg.

Yinuo Zhang

Cryptography Scientist

Ph.D. in Cryptography @ Berkeley
5+ papers in Zero-Knowledge Proofs
Prev. zkVM Research Intern @ a16z Crypto.

Advisors

Yevgeniy Dodis

Head of Cryptography @ NYU

Ph.D. in Cryptography @ MIT
Prev. Visiting Professor @ Harvard & Berkeley

Chelsea Komlo

Chief Scientist @ Zcash

Ph.D. in Cryptography @ UWaterloo
Board of Directors @ Tor Project

Zhenfei Zhang

Cryptographer @ Ethereum

Prev. Algorand, Espresso
Co-author of HyperPlonk, VeriZexe, etc.

Giuseppe Persiano

Cryptographer @ Google

Professor @ U. Salerno, Italy
Ph.D. in CS @ Harvard
Co-Inventor of Non-Interactive Zero-Knowledge Proofs

David Wu

Professor of Cryptography @ UT Austin

Ph.D. in CS @ Stanford
M.S. and B.S. in CS @ Stanford

Helger Lipmaa

Professor of Cryptography @ U. Tartu

20+ years of publications in zkSNARKs

Daniel Vogel

CEO & Co-Founder @ Bitso

MBA @ Harvard
B.S. in CS & Econ @ Stanford

Gengmo Qi

Partner @ Dragonfly

Ph.D. in CS @ Cornell
Prev. Researcher @ Chainlink

© 2024 Nexus Laboratories, Inc.