Proofs, Arguments, and Zero Knowledge Working through Justin Thaler's manuscript from scratch in Python with no external libraries Counting Triangles blog