ZK (Zero-Knowledge Proof) méthode cryptographique confirmer l ' approbation sans divulguer l ' information.
L'opération est menée par 2 côtés:
- Prover Elle est dotée d'une science.
- Verifier Elle vérifie.
Exemple: un crédit#
Le prêteur veut s'assurer de la solvabilité de l'emprunteur, mais il veut rester. Je suis incognito ..
→ La preuve ZK garantit la capacité de paiement sans révéler son identité et de sécurité.
Le récit#
1985 publié par Silvio Micali, Avi Vigderson, Oded Goldreich La complexité des connaissances des systèmes de preuve interactifs.
Dans le travail:
- Le terme a été introduit preuve à divulgation nulle;
- La technologie cryptographique est décrite;
- Les preuves Ne pas ouvrir les données privéesMais elle impose une communication obligatoire.
Catégories#
zk-SNARKs
Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.
- Les preuves sans révéler l'information;
- Requiert une clé secrète, créé à l'avance;
- Exemple d'application: Zcash le premier jeton de confidentialité largement accessible sur zk-SNARKs;
- Une confirmation est arrivée lors du transfert de Zcash → sans révélation des parties et des sommes.
zk-STARKs
Zero-Knowledge Scalable Transparent Arguments of Knowledge.
- Les ouvertes analysées au hasard les preuves;
- Ne nécessite aucune configuration initiale;
- Ne pas divulguer les données confidentielles à une tierce partie;
- On les appelle aussi Il y a un problème avec les protocoles Arthur-Merlin ..
Comparaison
| Paramètre | zk-SNARKs | zk-STARKs |
|---|---|---|
| Taille de la preuve | Le petit | Plus de détails |
| Trusted setup | Je sais. | Je ne veux pas. |
| Post-quantum security | Vulnérables | Il est stable. |
| Vitesse de vérification | Je vous en prie ! | Plus rapide pour les données volumineuses |
Propriétés ZK#
- La précision (Completeness) true affirmation → peut convaincre le vérificateur;
- L' authenticité (Soundness) false affirmation → ne peut pas convaincre le vérificateur;
- Tout est confidentiel . (Zero-knowledge) le vérificateur ne connaît rien d'autre que le fait de la vérité.
L'utilisation#
| La sphère | Utilisation |
|---|---|
| Le blockchain | Transactions avec confirmation sans divulgation des données |
| Les finances | Protection des données des clients + normes réglementaires |
| Identifier | Vérification de l'identité sans divulgation |
| La médecine | Accès aux données des patients sans violer la vie privée |
ZK au TON#
| Fonction | Définition |
|---|---|
| Identifier | Vérification sans divulgation de renseignements personnels |
| La cybersécurité | Vérifier la fiabilité des données sans révéler les clés |
| Protocoles d'échange | La preuve des conditions sans divulgation des données initiales |
Les projets
- ZK on TON documentation et tutoriels;
- Tonnel Network les transactions privées (Une tornade à TON), GitHub.
Les sources#
- ZK-STARK sur Wikipédia;
- What are zk-SNARKs (Zcash);
- ZK dans la blockchain TON (tonblockchain.ru);
- Binance Academy: zk-SNARKs vs zk-STARKs.