Enabling General-Purpose
Verifiable Computing

Powered by zero-knowledge proofs.

A scientific effort enabling a new paradigm for computation.

Engineering & Research

Daniel Marin


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

Paul Govereau

Senior Cryptography Engineer

Ph.D. in CS @ Harvard
B.S. in Physics @ MIT
Prev. Microsoft, Oracle, Cooper River

Daniel Dore

Cryptography Research Scientist

Ph.D. in Math @ Stanford
B.S. in Math @ Princeton
Prev. Research Scientist @ MobileCoin

Geoff Ramseyer

Research Scientist

Ph.D. in CS @ Stanford
B.S. in Math @ UChicago
Prev. Research Scientist @ Stellar

Kristian Sosnin

Cryptography Engineer

B.S. in Math @ Moscow University
Prev. Rust Engineer @ zkSync


Chelsea Komlo

Chief Scientist @ Zcash

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

Zhenfei Zhang

Cryptographer @ Ethereum

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

Giuseppe Persiano

Research Scientist @ Google

Ph.D. in CS @ Harvard
Co-Inventor of Non-Interactive Zero-Knowledge Proofs

Daniel Vogel

CEO & Co-Founder @ Bitso

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

David Wu

Assistant Professor @ UT Austin

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

Gengmo Qi

Partner @ Dragonfly

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