$ZKP 1$