o1labs.org

11 - 25 Employees
< 10 Engineers
$10M - $25M Funding
Pre-Series A

Coda is the first cryptocurrency protocol with a constant-sized blockchain. Coda compresses the entire blockchain into a tiny snapshot the size of a few tweets.

That means that no matter how many transactions are performed, verifying the blockchain remains inexpensive and accessible to everyone.


Why join us?
  • This is a chance to join a small, collaborative team and have a ton of independence while working on fascinating cross-disciplinary problems in computing. We also offer competitive compensation both in salary and equity as well as top-of-the-market benefits.

  • O(1) Labs is a small, well-funded startup aiming to develop the first cryptocurrency protocol that can deliver on the promise of supporting real-world applications and widespread use. Our team is based in San Francisco, and we are funded by top investors (including Polychain, Metastable, Max Levchin, and Naval Ravikant).


Engineering at o1labs.org
Engineering team and processes

We're a reasonably small team, so don't need too much process overhead. We have weekly engineering meetings where people coordinate what they're working on, code reviews, a github trello board, github issues, and weekly 1 on 1s.

Technical Challenges

We work with cutting-edge and experimental techniques in distributed systems, functional programming, and cryptography, so technical challenges abound. Sometimes that means understanding systems in academic papers and adapting them to our context; other times it's pushing the performance of burgeoning fields in computing; inventing novel data structures; or thinking adversarially about incentives in a distributed marketplace.

Projects you might work on
  • Our CTO wrote an embedded DSL that greatly streamlines construction of complex zk-SNARK circuits;

  • Other engineers worked on creating a distributed, verifiable compute market designed to operate at theoretical optimal efficiency;

  • A third engineer worked on improving the performance of constructing zk-SNARK proving keys by implementing them on GPUs, which yielded several order of magnitude improvements on the state of the art in early trials.

Tech stack
OCaml DSL for writing zk-SNARKs
functional programming
programming language theory
security
distributed systems
cryptography
cryptocurrency
OCaml

Working at o1labs.org
Free Food
Company Retreats
Health Insurance
Team Activities
401(k) Contribution
Workshops/Conferences
Relocation

Interested in this company?
Skip straight to final-round interviews by applying through Triplebyte.

Apply