[MCSP]

You're exactly right. The definition via primes ensures there is only one color consistent with each number (formally, this is called a perfectly binding commitment scheme). Also, here's the link if you want to go back: rahulilango.com/coloring/zk

[hcs]

Thanks! And this is a great exercise, thanks for sharing it.