John Guibas
Co-Founder at Succinct
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolJohn Guibas is a co-founder and software engineer based in San Francisco with nine years of experience at the intersection of applied cryptography, machine learning, and systems. He currently leads Succinct, a startup focused on provable software correctness that has raised $55M+ led by Paradigm, and previously worked on zero-knowledge proofs at 0xPARC. His research background includes DAWN Lab at Stanford and applied deep learning at NVIDIA, with hands-on work in vision transformers and ML/database systems integration. John blends academic rigor with startup velocity, translating research-grade cryptography and ML techniques into production-ready tooling. Notably, his career emphasis is on auditable, provable systems—an uncommon focus that informs both his product and research choices. He holds CS studies at Stanford, bringing both deep technical breadth and entrepreneurial drive to high-assurance software.
9 years of coding experience
2 years of employment as a software developer
Computer Science, Computer Science at Stanford University
Japanese, English, Greek
Github Skills (78)
tooling10
testing10
zksnark10
smart-contracts10
solidity10
modular10
private-key10
bytecode10
rust10
risc-v10
virtual-machine10
ethereum10
blockchain10
golang9
p2p9
Programming languages (12)
Github contributions (5)
succinctlabs/sp1
Feb 2024 - Jun 2025
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Contributions:9 releases, 649 reviews, 717 PRs in 1 year 4 months
risc-vvirtual-machineblockchaincontributor-friendlyethereum
succinctlabs/plonky3
Feb 2024 - Dec 2024
Contributions:52 releases, 2 reviews, 1 PR in 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.