Cardano prend déjà en charge la vérification de preuves à connaissance nulle directement sur sa chaîne principale. (preuve ZK) Plutus V3 a introduit des opérations de paire natives avec la mise à jour Chang en septembre 2024. Ces fonctionnalités fournissent aux contrats intelligents les outils cryptographiques nécessaires pour vérifier des preuves provenant de systèmes compatibles tels que Groth16. La preuve est générée en dehors de la blockchain, puis vérifiée par un contrat intelligent lors de la validation de la transaction. Le réseau peut confirmer qu'une condition a été remplie, tout en gardant les entrées privées derrière cette preuve confidentielles. Cela permet aux développeurs de créer des applications sur Cardano où une personne peut prouver son éligibilité sans publier l'ensemble de ses identifiants. Avec des systèmes de preuve adaptés, des calculs complexes peuvent également être effectués ailleurs, tandis que Cardano vérifie une preuve compacte du résultat. La vérification consomme des ressources, et la preuve ne démontre que ce que son circuit vérifie effectivement ; il existe des possibilités vraiment intéressantes sur Cardano qui, à mon avis, pourraient ouvrir une nouvelle porte à une utilité accrue pour les utilisateurs de l'écosystème.