Getting Started with o1js: A Beginner's Guide to Zero Knowledge Programming

o1js is a TypeScript library for writing general-purpose zero knowledge programs and zk smart contracts, called zkApps, on the Mina blockchain. The tutorial covers its core concepts, including Field elements that store integers up to about 256 bits, data types such as Bool, UInt64, and CircuitString with a 128-character limit, and hashing and signing with Poseidon, PrivateKey, and Signature. It notes that traditional if statements are unsupported and recommends Circuit.if() for conditional logic instead.