Zero Knowledge Application (zkApp)

Qu'est-ce que Zero Knowledge Application (zkApp) ?

Une Zero Knowledge Application (zkApp) est un programme blockchain qui prouve qu'il a respecté les règles sans révéler les données privées qu'il a utilisées. Pensez à un videur : vous prouvez que vous avez l'âge requis, mais votre date de naissance reste privée. La chaîne vérifie des calculs, pas des secrets.

Comment fonctionnent les zkApps

Imaginez ceci : une Zero Knowledge Application (zkApp) prouve que vous remplissez un ensemble de règles sans exposer vos données. Elle s'appuie sur preuves à connaissance nulle pour rendre cela vérifiable par tous.

• Étape 1 : Vous ouvrez l'application et choisissez ce que vous voulez prouver, par exemple un revenu supérieur à un seuil ou la possession d'un jeton.
• Étape 2 : Votre appareil crée une preuve que l'affirmation est vraie, en utilisant un circuit fourni par l'application. Aucune donnée brute ne quitte votre appareil.
• Étape 3 : La preuve accompagnée de métadonnées minimales est encapsulée dans une transaction et envoyée au réseau.
• Étape 4 : Le smart contract vérifie la preuve avec un vérificateur. Si elle est valide, le contrat poursuit son exécution.
• Étape 5 : La chaîne met à jour l'état, par exemple en accordant l'accès, en déplaçant des fonds ou en enregistrant un vote, sans révéler vos entrées privées.

Oui, c'est tout. Les mathématiques parlent à votre place, vos données n'ont pas à le faire.

Pourquoi les zkApps sont utiles

Qu'est-ce que cela vous apporte ?

• Avantage : Vraie confidentialité avec vérification publique, ce qui réduit les fuites et les démarches.
• Perspective : Elles arrivent à un moment où les gens veulent garder le contrôle de leurs données et obtenir une preuve d'authenticité, Rolex rencontre les fils Reddit.
• Pertinence : Attendez-vous à les voir dans des vérifications de crédit DeFi, des votes privés, un accès KYC allégé, le jeu et même les abonnements pour créateurs.

Caractéristiques clés des zkApps

Ce qui les distingue :

• Preuves : Elles démontrent la justesse d'un calcul sans exposer les entrées.
• Minimal : Seules les données nécessaires arrivent sur la chaîne, bon pour les frais et la confidentialité.
• Composabilité : Une preuve vérifiée dans une application peut déclencher des actions dans une autre.
• Local : Les traitements lourds peuvent se faire hors chaîne sur votre appareil, puis la chaîne se contente de vérifier.
• Auditable : Les mathématiques sont publiques, donc chacun peut vérifier le résultat indépendamment.

Variantes

Tous les développements ne sont pas identiques. Voici des variantes courantes que vous rencontrerez :

1. SNARK : zkApps basées sur des preuves succinctes qui se vérifient rapidement et restent compactes.
2. STARK : Preuves sans configuration de confiance, souvent plus volumineuses mais transparentes et évolutives.
3. Rollup : Applications dans des zk rollups qui regroupent de nombreuses actions avec une seule preuve.
4. Identité : Preuve de personne, d'âge, de résidence ou d'appartenance sans divulguer des informations personnelles.
5. DeFi : Échanges privés, vérifications de crédit et contrôles de collatéral avec divulgation sélective.

Exemple

Vous utilisez une Zero Knowledge Application (zkApp) pour prouver que votre compte détient un seuil de jetons afin de rejoindre un Discord privé, tandis que votre solde exact reste caché.

Fait amusant

Les mathématiques derrière les preuves zk remontent aux années 1980, mais l'étiquette zkApp n'a décollé que lorsque des développeurs ont commencé à intégrer ces preuves dans des applications blockchain du quotidien que l'on peut réellement cliquer.

Conclusion

En une phrase : une Zero Knowledge Application (zkApp) vous permet de prouver des éléments sur la chaîne sans en dévoiler trop, ce qui donne l'impression que l'internet grandit un peu.