The puzzles are hard to solve, yet easy to verify (sort of like a Sudoko puzzle).

Great analogy!