Ces dernières années, la tendance dans la conception des protocoles STARKs est de se tourner vers 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.
L'utilisation de petits champs pose certains défis, comme la réduction de la plage de sélection aléatoire. Il existe deux solutions : plusieurs vérifications aléatoires ou l'extension des champs. L'extension des champs est similaire aux nombres complexes, mais basée sur un corps fini.
Circle STARKs propose une méthode astucieuse pour trouver un groupe de taille p sur un nombre premier p, avec une propriété de deux à un. Ce groupe est composé de points satisfaisant des conditions spécifiques et suit une règle d'addition.
Les STARKs circulaires prennent en charge les FFT, mais les objets traités ne sont pas des polynômes stricts, mais plutôt des espaces de Riemann-Roch. En tant que développeur, vous pouvez presque ignorer ce point et simplement stocker les polynômes comme un ensemble de valeurs d'évaluation.
Dans les calculs commerciaux, les polynômes disparus et les séquences inversées, les Circle STARKs ont certaines différences par rapport aux STARKs conventionnels, nécessitant l'utilisation de techniques différentes.
Les STARKs de Circle sont très efficaces sur des nombres premiers de 31 bits. Par rapport aux SNARKs à grands champs, ils tirent pleinement parti de l'espace de calcul. Bien que Binius soit supérieur à certains égards, le concept des STARKs de Circle est plus simple.
Pour les développeurs, les Circle STARKs ne sont pas beaucoup plus complexes que les STARKs conventionnels. Comprendre le Circle FRI et les FFTs aide également à comprendre d'autres FFTs spéciaux.
L'optimisation future des STARKs pourrait se concentrer sur :
Optimiser les fonctions de hachage et autres primitives cryptographiques de base
Construction récursive pour améliorer la parallélisation
Améliorer la machine virtuelle pour améliorer l'expérience de développement
Dans l'ensemble, les Circle STARKs sont une variante intéressante des STARKs, qui améliorent l'efficacité tout en conservant la simplicité.
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
10 J'aime
Récompense
10
2
Partager
Commentaire
0/400
BearMarketBro
· 07-23 07:14
Le deux contre un est en effet plus efficace.
Voir l'originalRépondre0
GasFeeLady
· 07-23 07:06
Une bonne solution pour réduire la pression du gas
Circle STARKs : Exploration d'une nouvelle variante de STARKs pour améliorer l'efficacité
Explorer Circle STARKs
Ces dernières années, la tendance dans la conception des protocoles STARKs est de se tourner vers 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.
L'utilisation de petits champs pose certains défis, comme la réduction de la plage de sélection aléatoire. Il existe deux solutions : plusieurs vérifications aléatoires ou l'extension des champs. L'extension des champs est similaire aux nombres complexes, mais basée sur un corps fini.
Circle STARKs propose une méthode astucieuse pour trouver un groupe de taille p sur un nombre premier p, avec une propriété de deux à un. Ce groupe est composé de points satisfaisant des conditions spécifiques et suit une règle d'addition.
Les STARKs circulaires prennent en charge les FFT, mais les objets traités ne sont pas des polynômes stricts, mais plutôt des espaces de Riemann-Roch. En tant que développeur, vous pouvez presque ignorer ce point et simplement stocker les polynômes comme un ensemble de valeurs d'évaluation.
Dans les calculs commerciaux, les polynômes disparus et les séquences inversées, les Circle STARKs ont certaines différences par rapport aux STARKs conventionnels, nécessitant l'utilisation de techniques différentes.
Les STARKs de Circle sont très efficaces sur des nombres premiers de 31 bits. Par rapport aux SNARKs à grands champs, ils tirent pleinement parti de l'espace de calcul. Bien que Binius soit supérieur à certains égards, le concept des STARKs de Circle est plus simple.
Pour les développeurs, les Circle STARKs ne sont pas beaucoup plus complexes que les STARKs conventionnels. Comprendre le Circle FRI et les FFTs aide également à comprendre d'autres FFTs spéciaux.
L'optimisation future des STARKs pourrait se concentrer sur :
Dans l'ensemble, les Circle STARKs sont une variante intéressante des STARKs, qui améliorent l'efficacité tout en conservant la simplicité.