andiamo $ZKP