O(1) Labs is using cryptography and cryptocurrency to build computing systems that put people back in control of their digital lives.
Mina is the world's lightest blockchain, powered by participants
View ➝
CODA is the first cryptocurrency protocol with a constant-sized blockchain.
snarky is an OCaml front-end for writing R1CS SNARKs.