$ZKP è molto difficile