Le co-fondateur d'Ethereum, Vitalik Buterin, a introduit un protocole cryptographique innovant appelé Circle STARKs, qui vise à améliorer la sécurité et l'efficacité de la blockchain. Buterin, dans son dernier article de blog, explique comment les Circle STARK utilisent des champs mathématiques plus petits pour accélérer considérablement la génération de preuves sans sacrifier la sécurité.
Qu’est-ce que Circle STARKs ?
Les protocoles cryptographiques traditionnels appelés STARK (Scalable Transparent ARguments of Knowledge) utilisent de grands champs de 256 bits pour garantir la sécurité. Bien qu’efficaces, ces champs sont souvent lents et coûteux en calcul. Les Circle STARK, en revanche, utilisent des champs plus petits, tels que Mersenne31, ce qui réduit considérablement les coûts de calcul et accélère le processus de preuve.
Des champs plus petits signifient que les Circle STARK peuvent effectuer des opérations beaucoup plus rapidement. Par exemple, ils peuvent vérifier 620 000 hachages Poséidon2 par seconde sur un ordinateur portable M3, une amélioration significative par rapport aux anciennes méthodes. Cette augmentation de la vitesse et de l’efficacité pourrait changer la donne pour la technologie blockchain, rendant les transactions plus rapides et plus efficaces.
L’un des défis posés par les champs plus petits est qu’ils ont moins de valeurs possibles, ce qui les rend vulnérables aux attaques par force brute. Les petits champs traditionnels sont limités dans le nombre de valeurs qu'ils peuvent gérer, ce qui peut être exploité par des attaquants essayant de nombreuses combinaisons. Les Circle STARK surmontent ce problème en effectuant plusieurs contrôles aléatoires et en utilisant des champs d'extension. Ces méthodes élargissent l’ensemble des valeurs que les attaquants doivent deviner, ce qui rend leur réussite extrêmement difficile et maintient ainsi une sécurité renforcée.
Buterin note que même s'il existe environ deux milliards de valeurs possibles pour xxx dans des champs plus petits, les méthodes de vérification améliorées des Circle STARK créent une barrière informatiquement prohibitive pour les attaquants. Cela garantit que la sécurité de la blockchain n'est pas compromise.
Garantir l’intégrité avec Circle FRI
Les preuves de proximité Oracle interactives Fast Reed-Solomon (FRI) constituent un élément crucial de Circle STARK. Cette technique vérifie qu'une fonction est un polynôme d'un certain degré, garantissant que les entrées non polynomiales échouent à la preuve. Circle FRI, une approche qui maintient l'intégrité du processus cryptographique, garantit que les mesures de sécurité sont robustes et fiables.
Les Circle STARK représentent une avancée significative dans la technologie blockchain. En utilisant des champs plus petits et des techniques mathématiques innovantes, ils offrent des preuves de transactions plus rapides, plus efficaces et plus sécurisées. Ce nouveau protocole pourrait ouvrir la voie à des applications blockchain plus flexibles et plus performantes.
L’introduction des Circle STARK par Vitalik Buterin marque un développement passionnant pour la communauté cryptographique, promettant à la fois une sécurité et une efficacité améliorées. Avec ces progrès, l’avenir de la technologie blockchain semble plus brillant et plus prometteur que jamais.