BlockPulseNews
Un zk-STARK est un type de preuve cryptographique transparente, c'est-à-dire sans configuration initiale de confiance, qui repose sur des fonctions de hachage. Il est jugé résistant aux attaques quantiques connues, mais ses preuves sont plus lourdes que celles d'un zk-SNARK.
Thème : Confidentialité
L'acronyme signifie Zero-Knowledge Scalable Transparent Argument of Knowledge. Transparent signifie que les paramètres publics proviennent d'un aléa public, sans cérémonie secrète à laquelle il faudrait faire confiance. Scalable signifie que le temps de génération croît de manière quasi linéaire avec la taille du calcul et que la vérification reste très rapide. Ces preuves ont été développées notamment par l'équipe à l'origine de StarkWare.
Comme ils reposent sur des fonctions de hachage plutôt que sur des courbes elliptiques, les STARK sont considérés comme plausiblement résistants aux attaques quantiques connues, sans que cela soit une garantie absolue pour l'avenir. Leur principal défaut est la taille des preuves, de l'ordre de dizaines à centaines de kilo-octets, ce qui renchérit leur vérification on-chain. Certaines équipes enveloppent donc une preuve STARK dans un SNARK plus compact avant de la publier.
Un rollup traite des milliers de transactions et génère une preuve STARK attestant leur validité. Comme aucune cérémonie de confiance n'a été nécessaire, personne ne peut détenir de secret permettant de fabriquer une fausse preuve. La preuve est plus lourde qu'un SNARK, mais son coût reste partagé entre toutes les transactions du lot.
La taille des preuves augmente les coûts de vérification sur la blockchain. Comme pour tout système de preuve, un bug dans le circuit ou dans le vérificateur peut compromettre la sécurité. La résistance quantique est une propriété théorique attendue, pas une certitude définitive.
Le STARK n'a pas besoin de configuration de confiance et repose sur des fonctions de hachage, mais ses preuves sont beaucoup plus grosses. Le SNARK est plus compact, mais souvent dépendant d'une cérémonie initiale.
Ils reposent sur des hypothèses considérées comme résistantes aux algorithmes quantiques connus. C'est une propriété largement admise, mais pas une garantie définitive.
Les derniers articles de BlockPulseNews sur ce sujet.