Vitalik Buterin, co-fondateur d'Ethereum, a introduit des avancées significatives dans les preuves cryptographiques, améliorant notamment la vitesse de vérification et simplifiant le processus.
Ces développements exploitent de nouvelles techniques dans les STARK et introduisent des outils innovants comme Plonky2 et Binius. Ces changements devraient améliorer considérablement l’efficacité des technologies blockchain.
Des preuves cryptographiques rapides et faciles à vérifier
À l’honneur se trouvent les STARK – des arguments de connaissances évolutifs et transparents. Selon Buterin, ces preuves cryptographiques se distinguent par leur capacité à vérifier efficacement des déclarations complexes, comme la validité d'un bloc Ethereum.
Une innovation notable dans les STARK est l'utilisation de champs de plus petite taille, ce qui contraste fortement avec les entiers plus grands de 256 bits requis par leurs prédécesseurs, les SNARK. Ce changement réduit la charge de calcul et accélère considérablement le processus de vérification.
Le nouvel outil cryptographique, Plonky2, illustre cette avancée. En utilisant le champ Boucle d'or, qui fonctionne sur des entiers de 64 bits, Plonky2 atteint des vitesses de preuve des centaines de fois plus rapides que les méthodes précédentes. De tels gains d’efficacité sont cruciaux, en particulier pour les applications blockchain où la vitesse et l’évolutivité sont primordiales.
« La principale innovation de Plonky2 consistait à faire de l'arithmétique modulo un nombre premier plus petit : 264−232+1=18446744069414584321. Désormais, chaque addition ou multiplication peut toujours être effectuée en quelques instructions seulement sur un processeur, et le hachage de toutes les données est 4 fois plus rapide qu'auparavant », a expliqué Buterin.
Le travail de Vitalik Buterin ne se limite pas à l'optimisation de la taille des champs. Sa dernière aventure dans les preuves cryptographiques explore le potentiel des champs binaires – en utilisant de simples zéros et uns. Cette approche, mise en œuvre par un système nommé Binius, capitalise sur diverses stratégies mathématiques pour simplifier davantage la génération de preuves.
Binius se différencie en se concentrant sur les champs binaires, fondamentalement efficaces pour les systèmes numériques. La raison derrière cette orientation est que les systèmes numériques sont intrinsèquement binaires. Par conséquent, l’alignement des opérations cryptographiques sur cela peut minimiser la surcharge de calcul.
« Si vous utilisez Binius, vous n'avez plus à vous soucier de rendre le calcul « arithmétiquement convivial » : les hachages « normaux » ne sont plus plus efficaces que les hachages arithmétiques traditionnels, la multiplication modulo 232 ou modulo 2256 n'est plus un gros casse-tête par rapport à multiplication modulo p, et ainsi de suite », a conclu Buterin.
Lire la suite : Que sont les preuves à connaissance nulle ? Assurer la croissance des applications Web3
Ces innovations témoignent de l'engagement continu de Vitalik Buterin en faveur de l'amélioration de la technologie blockchain. À mesure que ces nouvelles méthodes cryptographiques se généralisent, elles devraient réduire considérablement les obstacles à l’adoption de la blockchain.
Clause de non-responsabilité
Conformément aux directives du Trust Project, BeInCrypto s'engage à fournir des rapports impartiaux et transparents. Cet article de presse vise à fournir des informations précises et actuelles. Il est toutefois conseillé aux lecteurs de vérifier les faits de manière indépendante et de consulter un professionnel avant de prendre une décision basée sur ce contenu. Veuillez noter que nos conditions générales, notre politique de confidentialité et nos clauses de non-responsabilité ont été mises à jour.
Voir l’article original en anglais
