Deux types de preuves à divulgation nulle de connaissance 1⃣ Preuve interactive à divulgation nulle de connaissance ▰ Le vérificateur pose des questions (défis) ▰ Le prouveur répond en fonction du défi ▰ Plusieurs allers-retours, le vérificateur confirme que la preuve est valide 2⃣ Preuve non interactive à divulgation nulle de connaissance ▰ Le prouveur n'a besoin de générer qu'un seul fichier (preuve) ▰ Le vérificateur peut l'utiliser pour vérifier de manière indépendante, sans interaction Les trois caractéristiques de la preuve ZK ▰ Complétude - Completeness Si l'énoncé est vrai, la preuve doit passer la vérification ▰ Fiabilité - Soundness Si l'énoncé est faux, personne ne peut produire une fausse preuve qui passe la vérification ▰ Zero Knowledge - Zero Knowledge Le vérificateur ne peut pas déduire l'entrée secrète à partir de la preuve En raison des propriétés de la blockchain, dans les applications réelles, il s'agit principalement de preuves non interactives à divulgation nulle de connaissance. La preuve non interactive à divulgation nulle de connaissance utilise un défi aléatoire auto-généré par le prouveur pour déterminer la véracité de la preuve. @brevis_zk Notes d'apprentissage ～