S/Kademlia dynamic crypto puzzle
It's part of the solution to the cryptopuzzle.  The goal is to find $x$ that makes $P$ satisfy the criterion; once you've found such an $x$, you can verify that it is a valid solution (and so can anyone else).