Grazie mille, mi permetto di scrivere la risposta in inglese, cosi se qualche utente internazionale si pone la stessa domanda trova la risposta.

Answer for international readers:
NaCl (salt) is a old and unsupported library.
Depending on your needs, php-sodium or php-openssh are both valid choices.