Déballage des zk-SNARKs et zk-STARKs

L'anonymat déchire dans la crypto. Un grand coup. Il aide à la fongibilité - un incontournable pour toute monnaie sérieuse. La plupart des gens détenant des actifs crypto ne sont pas exactement ravis que leurs affaires financières soient exposées. Parmi les technologies de confidentialité pour les blockchains, les zk-SNARKs et les zk-STARKs semblent assez spéciaux.

zk-SNARK signifie Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. C'est assez long à dire. zk-STARK ? C'est Zero-Knowledge Scalable Transparent Argument of Knowledge. Zcash utilise des zk-SNARKs. JP Morgan Chase les utilise aussi dans certains projets. Ils sont un peu partout maintenant. Les zk-STARKs sont les nouveaux venus, censés corriger ce qui ne va pas avec le protocole plus ancien.

L'histoire de la grotte

En 1990, un cryptographe nommé Jean-Jacques Quisquater a raconté une histoire sur la grotte d'Alibaba pour expliquer les preuves à divulgation nulle de connaissance. Les gens adorent la raconter.

Imaginez une grotte circulaire. Une entrée. Une porte magique à l'intérieur. Un mot de passe est nécessaire pour cette porte.

Alice veut prouver à Bob qu'elle connaît ce mot de passe. Mais elle ne va pas simplement le lui dire. Pas question.

Bob attend dehors. Alice entre. Prend le chemin 1.

Plus tard, Bob apparaît et crie : "Sortez chemin 2 !"

Si Alice connaît le mot secret, elle ouvre la porte magique et apparaît là où Bob a demandé. Magie.

Faites cela plusieurs fois. Ce n'est pas juste de la chance.

Cette petite histoire montre de quoi il s'agit avec les preuves à connaissance nulle. Prouver que vous savez quelque chose sans révéler ce que c'est réellement.

zk-SNARK de Près

Zcash a été le précurseur des zk-SNARKs à grande échelle. Monero aborde la confidentialité différemment : illusions et miroirs avec des signatures en anneau. Mais les zk-SNARKs ? Ils changent complètement la donne. Transactions chiffrées qui sont néanmoins vérifiées. Épatant. Les validateurs du réseau n'ont pas besoin de tous les détails juteux. Juste une preuve. Pourtant, étrangement, les fonctionnalités de confidentialité de Zcash ne sont même pas activées par défaut. Vous devez activer ce commutateur vous-même.

Les preuves à divulgation nulle de connaissance permettent à quelqu'un de prouver qu'une chose est vraie sans révéler d'informations supplémentaires. Vous avez un prouveur et un vérificateur. Certaines preuves sont gardées secrètes. Le but ? Moins de partage de données. Beaucoup moins.

La partie "succincte" signifie que ces preuves sont rapides à vérifier. "Non interactif" signifie un minimum d'échanges. Les anciennes techniques de zero-knowledge nécessitaient une conversation. Pas celles-ci.

D'ici 2025 ( apparemment ), zk-SNARKs l'emportent pour des opérations simples. Preuves rapides. Tailles de preuve minuscules. Ils gagnent la course à l'adoption grâce à tous les outils et au soutien d'Ethereum.

Il y a un hic, cependant. Ces preuves nécessitent une "configuration de confiance"—des paramètres publics établis à l'avance. C'est comme établir des règles de jeu. Problème ? Peu de gens sont impliqués dans la création de ces paramètres. Risque de centralisation. Aïe.

Les chercheurs essaient de résoudre ce problème de confiance. La phase de mise en place est importante car quiconque connaît les valeurs aléatoires utilisées pourrait falsifier des preuves ayant l'apparence de validité. C'est mauvais.

À propos du bit "Arguments"—les zk-SNARKs sont généralement sécurisés à moins que vous ne disposiez d'une puissance de calcul massive. Cela rend certaines personnes nerveuses à propos des ordinateurs quantiques. L'avenir semble incertain à cet égard.

"Connaissance" signifie que le prouveur doit réellement connaître la chose qu'il prouve. Pas de faux permis.

Ces preuves vérifient rapidement et ne prennent pas beaucoup d'espace de données. Bon pour la confidentialité ET l'évolutivité. Pas mal.

zk-STARKs Cours Intensif

Les zk-STARKs se sont présentés comme l'alternative plus cool et plus rapide. Pas besoin de configuration de confiance ! C'est de cela que parle le "T" pour transparence.

Ils utilisent un chiffrement symétrique plus simple via des collisions de fonctions de hachage. Cette approche abandonne les hypothèses mathématiques complexes des zk-SNARKs - qui pourraient de toute façon être vulnérables aux attaques quantiques.

Un grand avantage ? La communication entre le prouveur et le vérificateur reste constante peu importe la complexité des calculs. Avec les zk-SNARKs, plus de calcul signifie plus de messages échangés. Plus de données au total.

Des recherches de 2025 suggèrent que les zk-STARKs ont des tailles de preuve plus grandes mais gèrent mieux des calculs plus importants. Ils semblent représenter l'avenir de cette technologie : évolutive, transparente, résistante aux quantiques. Cependant, les zk-SNARKs dominent aujourd'hui en raison de leur infrastructure établie.

Les deux technologies attirent l'attention dans le monde de la vie privée. Dans la crypto, elles pourraient changer la donne. Révolutionnaires, même. Nous verrons.