o1Labs develops zero-knowledge cryptography infrastructure, including the Mina Protocol and the o1js framework for building zkApps and proofs.
