STARKs vs. SNARKs et la menace quantique Célèbrement, les STARKs sont sécurisés post-quantum mais les SNARKs sont vulnérables aux ordinateurs quantiques. Pourquoi ? Je fais référence ici aux SNARKs à courbe elliptique, les types que la plupart d'entre vous connaissent (comme Groth16). Un SNARK utilise un "clé de preuve" secrète pour permettre au prouveur de répondre à une certaine question. La façon dont le secret est créé est en répétant de nombreuses fois une certaine opération mathématique. Une bonne analogie est que vous commencez avec un cube Rubik et effectuez une certaine opération (disons, tordre un côté et faire tourner le cube dans votre main). Ensuite, vous le répétez de nombreuses fois, un million de milliards de gazillions de fois. Le nombre exact de fois que vous effectuez cette opération -- c'est le secret. Ensuite, vous présentez le cube Rubik mélangé au monde entier. Maintenant, si vous pouviez regarder le cube et dire combien de fois l'opération a été effectuée pour atteindre cet état actuel, vous briseriez le SNARK. Une façon de le faire est de prendre un cube Rubik et de commencer à jouer avec, en comptant combien de fois vous effectuez l'opération jusqu'à atteindre la configuration publiée. Mais cela prend beaucoup de temps (un million de milliards de gazillions d'étapes). Ah, mais un ordinateur quantique est cet ordinateur vraiment intelligent qui peut regarder le cube et cracher le nombre : 112,302,305,166 fois par exemple. Et avec cette réponse, le SNARK est brisé. OK, qu'en est-il d'un STARK ? Dans ce cas, pour briser un STARK, vous devez "briser un hachage". Un hachage fonctionne quelque chose comme ceci : Vous prenez un cube Rubik, effectuez l'une de ces opérations. Ensuite, vous écrivez le motif sur un papier, le pliez, le découpez, permutez les carrés d'une manière folle, et les postez sur un nouveau cube Rubik. Ensuite, vous effectuez une autre opération sur le cube Rubik, puis à nouveau passez au papier. Et ainsi de suite. Le point important est le suivant : Plutôt que de faire seulement un type d'opération (mathématiquement, une "opération de groupe") dans le cas d'un SNARK, avec un STARK, vous mélangez un grand nombre d'opérations très différentes, qui manquent de connexion et de structure. Et ce mélange, de nombreuses choses, est ce qui confond les ordinateurs, à la fois classiques et quantiques, et sauve la mise. LA FIN.