Explorer Circle STARKs

Ces dernières années, la tendance dans la conception des protocoles STARKs est de passer à l'utilisation de champs plus petits. Les premières implémentations de STARKs utilisaient des champs de 256 bits, mais cette conception était moins efficace. Pour améliorer l'efficacité, les STARKs ont commencé à utiliser des champs plus petits, tels que Goldilocks, Mersenne31 et BabyBear.

Un problème avec l'utilisation de champs plus petits est qu'il n'y a environ 2 milliards de valeurs aléatoires possibles à choisir, ce qui est réalisable pour un attaquant cherchant à falsifier une preuve. Les solutions incluent la réalisation de plusieurs vérifications aléatoires ou l'extension du champ.

Circle STARKs offre une méthode efficace pour réaliser FRI sur de petits champs tels que Mersenne31. Il tire parti des propriétés spéciales des points sur le cercle, construisant un groupe de taille p avec des caractéristiques de mappage similaires à un deux pour un.

Les technologies clés de Circle STARKs comprennent :

• Utilisez les points sur le cercle pour calculer, plutôt qu'un seul chiffre.
• Mappage spécial un-à-deux pour réduire la taille de l'ensemble de données
• Algorithme FFT circulaire pour le traitement de l'espace de Riemann-Roch
• Amélioration des calculs commerciaux et construction de polynômes disparus
• Modification de l'ordre inverse des bits

Comparé aux STARKs conventionnels, les Circle STARKs ne sont pas beaucoup plus complexes conceptuellement. Ils offrent aux développeurs une méthode pour construire des STARKs efficaces sur de petits champs, avec l'espoir de pousser l'efficacité de la couche de base des STARKs à ses limites.

Les points d'optimisation futurs des STARKs pourraient inclure :

• Maximiser l'efficacité arithmétique des fonctions de hachage et d'autres primitives cryptographiques de base
• Utiliser la construction récursive pour améliorer la parallélisation
• Améliorer l'arithmétique de la machine virtuelle pour améliorer l'expérience de développement

Les STARKs circulaires représentent une avancée importante de la technologie STARK, offrant de nouvelles possibilités pour la construction de systèmes de preuves à connaissance nulle efficaces sur de petits champs.