O(1) Labs
O(1) Labs is using cryptography and cryptocurrency to build computing systems that put people back in control of their digital lives.

Projects

Coda, the first cryptocurrency with a constant-sized blockchain.
Snarky, an OCaml DSL for verifiable computation.