$ZKP se ha resuelto