Cairo Circuits Hands-On: Building Real Arithmetic Circuits That Actually Compile and Prove (No Fluff, Just What Ships)