Enabling the

Verifiable Internet

Documentation

Whitepaper

The Nexus zkVM

Prove any computation

A modular, extensible, open-source, highly-parallelized, prover-optimized, and contributor-friendly architecture for developers.

Learn More

Verify any computation,
of any length

Explore the modular zkVM stack

Prove any
Rust program

Documentation

Executive 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

BA @ Brown, MA @ George Washington

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

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

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

Nexus raises $25M in Series A funding to bring zero-knowledge proofs to Internet scale

Enabling the

Verifiable Internet

Documentation

Whitepaper

The Nexus zkVM

Prove any computation

A modular, extensible, open-source, highly-parallelized, prover-optimized, and contributor-friendly architecture for developers.

Learn More

Verify any computation,
of any length

Explore the modular zkVM stack

Prove any
Rust program

Documentation

Executive 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

BA @ Brown, MA @ George Washington

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

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

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

Nexus raises $25M in Series A funding to bring zero-knowledge proofs to Internet scale

Enabling the

Verifiable Internet

Documentation

Whitepaper

The Nexus zkVM

Prove any computation

A modular, extensible, open-source, highly-parallelized, prover-optimized, and contributor-friendly architecture for developers.

Learn More

Verify any computation,
of any length

Explore the modular zkVM stack

Prove any
Rust program

Documentation

Executive 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

BA @ Brown, MA @ George Washington

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

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

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

Nexus raises $25M in Series A funding to bring zero-knowledge proofs to Internet scale