Personne n’a à faire confiance aux paroles de Midnight 🔍

$XMR protège la confidentialité grâce aux signatures en anneau et aux sorties leurres, en mélangeant une transaction au sein d’une foule d’alternatives plausibles.

$ADA s’est bâti sa réputation en partie grâce à des méthodes formelles, en s’appuyant sur des recherches publiées et des preuves mathématiques pour montrer que le code fait bien ce qu’il affirme avant même d’être livré.

Midnight pousse cette même idée plus loin avec le protocole Kachina et les zk-SNARKs pour rendre l’exécution de contrats intelligents vérifiable de manière privée. La sortie d’un programme devient quelque chose que n’importe qui peut vérifier par ses propres moyens, grâce aux mathématiques.

La preuve voyage avec la transaction, et toute personne exécutant un nœud peut la vérifier indépendamment, de son côté.

Chaque preuve dépend uniquement du propre protocole de Midnight pour accomplir sa tâche.

#Privacy #ZK