Deux leaders unissent leurs forces. Polygon et StarkWare sont théoriquement deux entreprises concurrentes. D’une part, StarkWare développe le layer 2 Starknet. De l’autre, Polygon dispose de plusieurs projets de L2 dont Polygon zkEVM. Toutefois, cela n’a pas empêché les deux entreprises de s’unir pour le bien de tous.
Circle STARKs : StarkWare et Polygon révolutionnent les preuves cryptographiques
Lundi 19 février, Ulrich Haböck, David Levit et Shahar Papini, des employés de Polygon et StarkWare ont publié un papier scientifique qui présente un nouveau type de preuves cryptographiques intitulées Circle STARKs.
Ces preuves sont essentielles pour le bon fonctionnement des zk-Rollups. En effet, celles-ci permettent d’assurer la validité et la véracité des transactions qui se déroulent sur le L2. Par la suite, des acteurs tiers sont en mesure de vérifier ces preuves mathématiquement afin de s’assurer de la validité de l’état du rollup.
Ainsi, les Circle Starks sont un nouveau type de preuve STARKs. Pour rappel, les STARKs sont des preuves plus évoluées que les SNARKs car elle ne nécessite pas de trusted setup, une procédure qui permet de générer les paramètres initiaux dans un système de preuves SNARKs. En effet, il existe une chance non nulle que les paramètres secrets soient divulgués d’une manière ou d’une autre, ce qui compromettrait la sécurité des preuves générées.
Qu’elles soient SNARKs ou STARKs, ces preuves permettent d’affirmer qu’une information est vraie sans avoir à en révéler le contenu.
Ainsi, sans entrer dans les détails techniques, les Circle STARKs sont des preuves cryptographiques qui permettent de vérifier de grandes quantités d’information de manière très sécurisée et efficace, sans avoir besoin de dévoiler ces informations.
Quels avantages par rapport aux preuves actuelles
Selon les auteurs de la publication, ces preuves peuvent être finalisées bien plus rapidement que les preuves utilisées jusqu’ici. En effet, la génération de preuves STARKs peut s’avérer très gourmande en ressources et par conséquent peut être relativement longue à générer.
Par exemple, la zkEVM développée par Polygon utilise un système de preuves appelé Plonky2. Jusqu’à présent, Plonky2 était l’un, si ce n’est le système de preuve le plus rapide développé. Sans trop s’étendre sur les détails mathématiques, Plonky2 utilise des techniques comme la récursion et l’optimisation des calculs.
Ainsi, tandis que Plonky2 cherche à optimiser les performances et la récursivité des preuves cryptographiques traditionnelles, les Circle STARKs explorent une voie différente en se basant sur des principes mathématiques pour atteindre des objectifs similaires de sécurité et d’efficacité. Toutefois, les moyens employés pour générer les preuves pourraient offrir des avantages spécifiques dans certaines applications.
Dans le cas des rollups, les Circle STARKs permettraient d’accélérer le temps de génération des preuves tout en réduisant leur coût. Cela devrait entraîner un gain en termes de scalabilité. Selon Brendan Farmer, le cofondateur de Polygon, cela pourrait permettre d’améliorer les performances d’un facteur 7 à 10.
Cette publication survient dans un contexte très chargé pour StarkWare. En effet, Starknet l’une des solutions développées par l’entreprise a distribué son jeton STRK aux utilisateurs le 20 février.
