Cosa sono le prove a conoscenza zero e in che modo l'audit delle ZK differisce dai contratti intelligenti? @AlpAtVeridise spiega tutto.