What is Nexus?

Nexus is building a world supercomputer by leveraging the latest advancements in cryptography, engineering and science. The goal of the supercomputer is to enable verifiable computation at planetary scale, or what we call the Verifiable Internet.

Nexus is backed by premier investors and has a team of world-leading experts developing and deploying the Nexus Layer 1, the Nexus Network and Nexus zkVM in support of our mission.

Whether as an employee, partner or community member, we invite you to join us and be part building the verifiable Internet.

Nexus is building a world supercomputer by leveraging the latest advancements in cryptography, engineering and science. The goal of the supercomputer is to enable verifiable computation at planetary scale, or what we call the Verifiable Internet.

Nexus is backed by premier investors and has a team of world-leading experts developing and deploying the Nexus Layer 1, the Nexus Network and Nexus zkVM in support of our mission.

Whether as an employee, partner or community member, we invite you to join us and be part building the verifiable Internet.

First three photos from ZK Proof 6

First two photos from ZK Proof 6

internal

Leadership

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

B.A. @ Brown, M.A. @ George Washington

Prev. Co-Founder & SVP @ Blockstream

Prev. Chief Privacy Officer @ Mozilla

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

John Slater

Vice President, Brand

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

Lauren Dresnick

Vice President, Global Marketing

Prev. Director, Growth Marketing @ Ripple
Prev. Head of US Growth & Customer Marketing

@ Arta Finance
Prev. Marketing Advisor & Interim VP of Marketing

@ Mina Foundation

Lisa Haugh

Vice President, People

Prev. Chief People Officer @ Agility Robotics
Prev. Chief People Officer and General Counsel @ SigFig
Prev. VP of People and General Counsel @ Udemy
BA @ UCLA, JD @ Santa Clara University

Diego Prats

Vice President, Engineering

AB @ Harvard, MS in Engineering @ USC
Prev: Principal, R&D @ DFINITY
Prev: Director @ DFINITY
Prev: VP, Engineering @ Overnight

Engineering & Research

Michel Abdalla

Member of Technical Staff

Ph.D. in Cryptography @ UCSD

Advised by Mihir Bellare

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

Arka Rai Choudhuri

Member of Technical Staff

Ph.D. in Cryptography @ Johns Hopkins University

Advised by Abhishek Jain

Prev: Postdoctoral researcher, NTT Research

Prev: Postdoctoral researcher, UC Berkeley

Matt Faulkner

Member of Technical Staff

Ph.D. in CS @ CalTech; B.S. & M.S. @  MIT

Prev. Chief Architect @ MobileCoin

Prev. Chief Research Scientist @ Expanse, acquired by Palo Alto Networks

Ben Hoberman

Member of Technical Staff

B.S. in EECS @ Berkeley

Research @ RISE/Sky Computing Lab

Prev. Systems Security Engineer @ Opaque Systems

Alec Huang

Member of Technical Staff

BA in Math, CS @ Berkeley

Prev Software Engineer @ Magic Eden

Prev Staff Engineer @ Uber

Prev Software Engineer @ Meta AI

Collin Jackson

Member of Technical Staff

Ph.D. in CS @ Stanford

Advised by Dan Boneh

B.S. in CS @ Yale

Prev. Research Faculty, Carnegie Mellon University

Prev. Staff Software Engineer, Flutter @ Google

Inventor of HTTP Strict Transport Security


Samuel Judson

Member of Technical Staff

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

Victor Miller

Member of Technical Staff

Co-inventor of Elliptic Curve Cryptography.
Ph.D. in Mathematics @ Harvard (advised by Barry Mazur)
Fellow of the IACR, IEEE, and ACM. IEEE Third Millennium Medal, ISSA Hall of Fame

Duc Nguyen

Member of Technical Staff

Ph.D. in Cryptography @ GMU

3x NSUCRYPTO medalist

Evan Schott

Member of Technical Staff

B.S. in CS @ Yale

Prev. Compiler Engineer @ Provable

Kristian Sosnin

Member of Technical Staff

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

Yinuo Zhang

Member of Technical Staff

Ph.D. in Cryptography @ Berkeley

Advised by Sanjam Garg
5+ papers in Zero-Knowledge Proofs
Prev. zkVM Research Intern @ a16z Crypto.


external

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