Overview of o1js SDK
o1js is a TypeScript SDK used for building zero-knowledge (zk) applications. It provides tools for creating provable types, constraint systems, ZkPrograms, and smart contracts (zkApps) on the Mina Protocol. Key capabilities include recursive proofs and deployment to Mina networks.