Chaque affirmation est expédiée avec sa propre preuve 🔍
$XMR protège une transaction en la mélangeant dans une foule de sorties leurres et des signatures en anneau, en cachant laquelle est la véritable.
Ce type de confidentialité protège très bien un transfert isolé. Vérifier ce qu’a fait un smart contract lors de son exécution pose un problème totalement différent.
Cardano a bâti sa crédibilité sur une idée similaire : avec $ADA smart contracts ayant recours à des preuves mathématiques formelles et évaluées par des pairs avant d’être déployés, afin que le code fasse ce qu’il affirme.
Midnight combine les deux réflexes grâce au protocole Kachina et aux zk-SNARKs, de sorte que l’exécution d’un smart contract soit vérifiée par des mathématiques qui voyagent avec la transaction elle-même.
Tout opérateur de nœud peut vérifier cette preuve de façon indépendante, et confirmer par lui-même ce qui s’est passé.
Les mathématiques dépendent uniquement du propre protocole de Midnight pour servir de base, vérifiable par quiconque exécute un nœud, et non sur la parole de quelqu’un.
#Privacy #ZK
$XMR protège une transaction en la mélangeant dans une foule de sorties leurres et des signatures en anneau, en cachant laquelle est la véritable.
Ce type de confidentialité protège très bien un transfert isolé. Vérifier ce qu’a fait un smart contract lors de son exécution pose un problème totalement différent.
Cardano a bâti sa crédibilité sur une idée similaire : avec $ADA smart contracts ayant recours à des preuves mathématiques formelles et évaluées par des pairs avant d’être déployés, afin que le code fasse ce qu’il affirme.
Midnight combine les deux réflexes grâce au protocole Kachina et aux zk-SNARKs, de sorte que l’exécution d’un smart contract soit vérifiée par des mathématiques qui voyagent avec la transaction elle-même.
Tout opérateur de nœud peut vérifier cette preuve de façon indépendante, et confirmer par lui-même ce qui s’est passé.
Les mathématiques dépendent uniquement du propre protocole de Midnight pour servir de base, vérifiable par quiconque exécute un nœud, et non sur la parole de quelqu’un.
#Privacy #ZK
