o1Labs is a global, remote company working on Web3 and zero-knowledge cryptography. It incubated the Mina Protocol and develops o1js, a TypeScript library for zero-knowledge applications.