Vitalik Buterin publie "Exploration des STARKs en cercle"

PANews a rapporté le 23 juillet que Vitalik Buterin, co-fondateur d'Ethereum, a publié un article intitulé "Exploring Circle STARKs", discutant d'une construction connue sous le nom de Circle STARKs. Elle possède des propriétés uniques et est conçue pour être compatible avec le champ efficace Mersenne31. Vitalik estime que, par rapport aux STARKs réguliers, les Circle STARKs n'apportent pas beaucoup de complexité supplémentaire pour les développeurs. Dans le processus de mise en œuvre, par rapport au FRI régulier, il n'y a essentiellement que trois différences que j'ai observées. Le principe mathématique derrière le "polynôme" opéré par Circle FRI est assez contre-intuitif et prend du temps à comprendre et à apprécier. Cependant, cette complexité est cachée de telle manière qu'elle n'est pas facilement perceptible par les développeurs. La complexité des mathématiques de Circle est encapsulée plutôt que systémique. Comprendre Circle FRI et Circle FFT peut également être une bonne porte de connaissance pour comprendre d'autres "FFTs exotiques" : notamment le FFT du domaine binaire utilisé précédemment dans Binius et LibSTARK, ainsi que des constructions plus exotiques comme le FFT de courbe elliptique qui utilisent des mappages un-à-un bien coordonnés avec les opérations de points de courbe elliptique. Combiné avec Mersenne31, BabyBear et les technologies du domaine binaire (comme Binius), nous sentons effectivement que nous approchons de la limite d'efficacité de la "couche de base" STARK. À ce stade, il est prévu que la frontière de l'optimisation STARK se déplace vers la création de versions arithmétiques hautement efficaces de primitives comme les fonctions de hachage et les signatures (et l'optimisation de ces primitives elles-mêmes à cette fin), la création de constructions récursives pour une plus grande parallélisation, l'arithmétisation des machines virtuelles pour améliorer l'expérience des développeurs ainsi que d'autres tâches avancées.