Qu'est-ce que les preuves à divulgation nulle de connaissance, et en quoi l'audit des ZK diffère-t-il des contrats intelligents ? @AlpAtVeridise explique tout.