$ZKP può essere vuoto. Penso che