O(1) Labs

Coda Protocol - Keeping cryptocurrency decentralized

11 - 25 employees

< 10 engineers

$10m - $25m funding

Pre-series a

Apply

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 O(1) Labs

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