Zero Knowledge VM (zkVM)

Qu'est-ce que Zero Knowledge VM (zkVM) ?

La Zero Knowledge VM est une machine virtuelle qui exécute du code et produit une preuve que l'exécution a été correcte, sans révéler les entrées. Imaginez un arbitre qui confirme le score tout en gardant le plan de jeu secret. Même résultat, moins d'informations divulguées.

Comment fonctionne Zero Knowledge VM (zkVM)

Imaginez un programme qui s'exécute hors chaîne, puis envoie un petit justificatif mathématique sur la blockchain indiquant « ceci a été fait correctement ». Présentation rapide plus bas.

• Étape 1 : Un développeur écrit ou compile du code pour s'exécuter dans la Zero Knowledge VM.
• Étape 2 : Le programme s'exécute hors chaîne et produit une preuve, par exemple prouvant qu'une transaction a été correctement évaluée sans montrer les données du participant.
• Étape 3 : Cette preuve, accompagnée de données minimales, est envoyée à un vérificateur sur la chaîne.
• Étape 4 : Le vérificateur vérifie la preuve rapidement et enregistre une réponse positive ou négative.
• Étape 5 : D'autres contrats et utilisateurs font confiance au résultat sans refaire le calcul lourd.

En interne, cela repose sur preuves à connaissance nulle pour garantir l'exécution. Oui, des mathématiques comme témoin.

Pourquoi Zero Knowledge VM (zkVM) est utile

Cela vous intéresse car cela renverse le modèle de coûts. Grosse puissance de calcul hors chaîne, vérifications minimes sur la blockchain.

• Avantage : Vitesse et frais s'améliorent puisque la vérification est peu coûteuse tandis que le travail intensif se fait ailleurs.
• Perspective : Vous pouvez garder des données sensibles cachées tout en offrant de la transparence sur le résultat.
• Pertinence : On peut s'attendre à le voir dans DeFi, le jeu, l'identité et d'autres domaines où la confidentialité et les preuves mathématiques vérifiables sont importantes.

Caractéristiques clés de Zero Knowledge VM (zkVM)

Voici les traits que l'on vérifie réellement :

1. Général : Exécute plusieurs types de programmes au lieu d'un seul circuit dédié.
2. Portable : Les preuves peuvent être vérifiées entre chaînes par un petit contrat intelligent.
3. Sélectif : Permet aux applications de choisir quelles entrées restent cachées et quelles sorties sont publiques.
4. Efficace : La vérification de la preuve est rapide même si l'exécution initiale était lourde.
5. Composabilité : Les preuves peuvent être regroupées ou imbriquées afin que les systèmes montent en charge avec moins de bruit.

Variantes

Toutes les Zero Knowledge VM (zkVM) ne se ressemblent pas. Voici des variantes courantes :

• EVM : Vise à exécuter une logique de type Solidity et à la prouver, pratique pour la réutilisation directe d'applications.
• LLVM : Compile à partir de langages généraux comme Rust ou C en une forme prouvable.
• Rollup : Utilisé à l'intérieur de rollups de validité où les preuves sont publiées sur une chaîne de base.
• Sovereign : Vérifie sur sa propre chaîne tout en transmettant les preuves vers l'extérieur.

Exemple

Une application de prêt évalue la garantie à l'intérieur d'une Zero Knowledge VM (zkVM), puis publie uniquement la preuve sur la blockchain afin que les liquidations se déclenchent de façon équitable sans exposer les données de l'emprunteur.

Fait amusant

L'idée de base remonte aux recherches des années 80 où des cryptographes ont montré qu'on pouvait prouver la connaissance d'un secret sans le révéler. Crypto Twitter en a fait une tendance.

Conclusion

En une phrase, Zero Knowledge VM (zkVM) est un ordinateur de preuve qui permet aux chaînes de vérifier rapidement le travail tout en maintenant les entrées sensibles hors de vue.