$ZKP es muy difícil