Développement et applications des zk-SNARKs
Une, l'évolution historique des zk-SNARKs
Le système moderne des zk-SNARKs trouve son origine dans un article coécrit en 1985 par Goldwasser, Micali et Rackoff. Cet article examine la quantité de connaissances à échanger pour prouver la véracité d'une déclaration dans un système interactif, à travers plusieurs tours d'interaction. Si un échange de connaissances peut être réalisé, on parle de zk-SNARKs. Ce système interactif ne peut être considéré comme correct que dans un sens probabiliste, et non comme rigoureusement prouvable sur le plan mathématique.
Pour surmonter les limitations des systèmes interactifs, les systèmes non interactifs (NP) ont vu le jour, offrant une complétude et devenant un choix idéal pour les zk-SNARKs. Les premiers systèmes zk-SNARKs manquaient d'efficacité et de praticité, restant principalement au niveau théorique. Au cours de la dernière décennie, avec l'essor de la cryptographie dans le domaine des cryptomonnaies, les zk-SNARKs ont rapidement évolué, devenant une direction de recherche importante.
La percée clé des zk-SNARKs est Grot