Dans une preuve à divulgation nulle, quelle propriété garantit que le vérifieur n'apprend rien d'autre que la validité de l'affirmation ?
