Imaginez pouvoir prouver quelque chose sans révéler aucune information. C’est toute la promesse des preuves à connaissance zéro, des outils cryptographiques de plus en plus incontournables dans l’écosystème des cryptomonnaies. Et parmi elles, les STARK semblent avoir le vent en poupe, avec l’arrivée d’une nouvelle technique prometteuse : les Circle STARK.
SNARK vs STARK : quelle différence ?
Avant d’aller plus loin, faisons un point sur les différents types de preuves zero-knowledge :
- Les SNARK (Succinct Non-interactive Argument of Knowledge) permettent de prouver qu’un calcul a été effectué correctement, sans révéler les données sous-jacentes ni nécessiter d’interaction entre le prouveur et le vérificateur.
- Les STARK (Scalable Transparent ARgument of Knowledge) fonctionnent de manière similaire, mais sont transparents (pas besoin de configuration initiale de confiance) et plus évolutifs, adaptés aux calculs à grande échelle.
Actuellement, les SNARK sont plus répandus malgré leurs faiblesses potentielles, car les STARK restent plus complexes à mettre en place. C’est là qu’entrent en jeu les Circle STARK.
Les Circle STARK, un nouveau paradigme
Présentés en février dernier par StarkWare et Polygon, les Circle STARK apportent des améliorations majeures à la génération et la vérification des preuves STARK :
- Utilisation d’un champ plus petit
- Technique basée sur des groupes de points sur un cercle
- Réduction de la complexité et augmentation de l’efficacité
Concrètement, cela permet de réduire significativement les temps de calcul, à la fois lors de la génération et de la vérification des preuves, tout en maintenant un haut niveau de sécurité. De quoi, à terme, démocratiser l’usage des STARK au détriment des SNARK.
Avec la combinaison de Mersenne31, BabyBear et des techniques de champs binaires comme Binius, on a l’impression d’atteindre les limites de l’efficacité de la “couche de base” des STARK.
Vitalik Buterin, cofondateur d’Ethereum
Ethereum au cœur de l’attention
Cette avancée tombe à pic pour Ethereum, qui concentre toutes les attentions en ce moment avec l’arrivée très attendue des ETF Spot sur l’ETH. Lors de leur première journée de cotation, ces produits financiers ont généré pas moins d’un milliard de dollars de volumes.
Un engouement qui démontre la confiance des investisseurs envers Ethereum, dont les solutions de scaling comme les rollups dépendent en grande partie des preuves zero-knowledge. Avec les Circle STARK, c’est donc tout l’écosystème qui pourrait bénéficier d’un coup de boost en termes de performances et de sécurité.
En résumé :
- Les preuves zero-knowledge permettent de prouver quelque chose sans révéler d’information
- Les STARK sont plus sûrs mais moins utilisés que les SNARK car plus complexes
- Les Circle STARK améliorent grandement les performances des STARK
- Cette avancée tombe à point nommé pour Ethereum et son écosystème en plein essor
Nul doute que nous n’avons pas fini d’entendre parler des Circle STARK et autres innovations cryptographiques. Dans un secteur en constante évolution comme celui des cryptomonnaies, ce type d’avancées pourrait bien faire la différence pour convaincre toujours plus d’utilisateurs et d’investisseurs. A suivre de près donc !
