zk-STARKs

Avancé
Il existe deux types populaires de preuves zero-knowledge (zk), parfois Ă©galement appelĂ©es protocoles zk ou preuves Ă  connaissances nulles, les SNARKs et les STARKs. Une preuve zero-knowledge est une mĂ©thode de vĂ©rification cryptographique par laquelle une partie (le prouveur) peut prouver Ă  l’autre partie (le vĂ©rificateur) qu’une dĂ©claration donnĂ©e est vraie sans avoir Ă  fournir d’autres informations que le fait que la dĂ©claration est effectivement vraie.
Zk-STARK est l’acronyme de « zero-knowledge succinct transparent arguments of knowledge ». Les zk-STARK ont Ă©tĂ© conçus par Eli-Ben Sasson, professeur au Technion-Israel Institute of Technology. Contrairement aux zk-SNARK qui dĂ©pendent d’une configuration initiale de confiance entre un prouveur et un vĂ©rificateur, les zk-STARK ne nĂ©cessitent pas de configuration initiale de confiance car elles s’appuient sur la cryptographie allĂ©gĂ©e par le biais de fonctions de hachage rĂ©sistantes aux collisions. Cette approche Ă©limine Ă©galement les hypothĂšses de la thĂ©orie des nombres des zk-SNARK qui sont coĂ»teuses en termes de calcul et qui peuvent thĂ©oriquement ĂȘtre attaquĂ©es par des ordinateurs quantiques.
En termes simples, les preuves zk-STARK prĂ©sentent une structure plus simple en termes d’hypothĂšses cryptographiques. Toutefois, cela prĂ©sente un inconvĂ©nient de taille : la taille de la preuve est importante, gĂ©nĂ©ralement 10 à 100 fois plus grande que celle des zk-SNARK. Une telle diffĂ©rence dans la taille des donnĂ©es les rend plus coĂ»teuses et peut prĂ©senter des limites lors de l’utilisation de la technologie dans le domaine des cryptomonnaies et d’autres applications.

Les cas d’utilisation courants des preuves zero-knowledge sont ceux oĂč la protection de la vie privĂ©e et la sĂ©curitĂ© sont essentielles. L’authentification de l’identitĂ© en est un exemple. L’utilisation de certains services en ligne nĂ©cessite de prouver son identitĂ© et son droit d’accĂšs Ă  ces plateformes. Pour cela, il faut souvent fournir des informations personnelles telles que le nom, l’adresse Ă©lectronique, la date de naissance, etc.

Les preuves zero-knowledge peuvent simplifier l’authentification pour les plateformes et les utilisateurs et utilisatrices. Une fois qu’une preuve zk a Ă©tĂ© gĂ©nĂ©rĂ©e Ă  l’aide d’entrĂ©es publiques (donnĂ©es confirmant l’appartenance de l’utilisateur ou de l’utilisatrice Ă  la plateforme) et d’entrĂ©es privĂ©es (coordonnĂ©es de l’utilisateur ou de l’utilisatrice), l’utilisateur ou l’utilisatrice peut simplement la prĂ©senter pour authentifier son identitĂ© chaque fois qu’il ou elle a besoin d’accĂ©der au service. Cela amĂ©liore l’expĂ©rience des utilisateurs et utilisatrices et libĂšre les organisations de l’obligation de stocker d’énormes quantitĂ©s d’informations personnelles.