Publishing a zero knowledge proof rather than the solution is pretty clever.