Ces dernières années, la conception des protocoles STARKs tend à utiliser des champs mathématiques plus petits. Les premières implémentations de STARKs utilisaient des champs de 256 bits, mais cette conception était moins efficace. Pour résoudre ce problème, les STARKs ont commencé à se tourner vers des champs plus petits, tels que Goldilocks, Mersenne31 et BabyBear.
L'utilisation de champs plus petits entraîne certains défis, tels que des problèmes de sécurité. Les solutions incluent la réalisation de plusieurs vérifications aléatoires et l'extension de champs. Les champs étendus sont similaires aux pluriels, mais basés sur un corps fini. Cela nous permet d'effectuer des calculs plus complexes sur des corps finis, améliorant ainsi la sécurité.
Les STARKs circulaires sont une solution ingénieuse. Étant donné un nombre premier p, il est possible de trouver un groupe de taille p, ce groupe ayant des propriétés bijectives similaires. Ce groupe est composé de points qui satisfont à des conditions spécifiques, comme l'ensemble des points pour lesquels x^2 mod p est égal à une certaine valeur spécifique.
Les STARKs de Circle prennent en charge l'algorithme FFT, mais les objets traités ne sont pas des polynômes au sens strict, mais plutôt des objets mathématiques appelés espaces de Riemann-Roch. Les développeurs peuvent pratiquement ignorer ce point et se contenter de stocker les polynômes comme un ensemble de valeurs d'évaluation sur un domaine spécifique.
Dans les STARKs de Circle, les méthodes traditionnelles de calcul commercial doivent être ajustées. Nous prouvons en évaluant à deux points, en ajoutant un point virtuel qui n'a pas besoin d'attention.
Les STARKs de Circle se distinguent par leur efficacité. Ils exploitent pleinement l'espace dans le suivi de calcul pour effectuer un travail utile, réduisant ainsi l'espace inutilisé. Bien que Binius soit supérieur dans certains aspects, les STARKs de Circle sont conceptuellement plus simples.
Dans l'ensemble, les STARKs de Circle ne sont pas plus compliqués pour les développeurs que les STARKs ordinaires. Bien que les mathématiques sous-jacentes soient complexes, cette complexité est bien cachée. À l'avenir, l'optimisation des STARKs pourrait se concentrer sur l'arithmétisation des primitives cryptographiques, la construction récursive et l'amélioration de l'expérience des développeurs avec les machines virtuelles.
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.
20 J'aime
Récompense
20
4
Partager
Commentaire
0/400
GateUser-26d7f434
· 08-02 02:57
Les percées technologiques réussiront finalement.
Voir l'originalRépondre0
SadMoneyMeow
· 07-30 18:02
Le coût de la vérification est un peu élevé.
Voir l'originalRépondre0
SeeYouInFourYears
· 07-30 17:52
Les petits champs ont vraiment un certain intérêt.
Circle STARKs : une nouvelle génération de zk-SNARKs efficaces et sécurisés
Explorer Circle STARKs
Ces dernières années, la conception des protocoles STARKs tend à utiliser des champs mathématiques plus petits. Les premières implémentations de STARKs utilisaient des champs de 256 bits, mais cette conception était moins efficace. Pour résoudre ce problème, les STARKs ont commencé à se tourner vers des champs plus petits, tels que Goldilocks, Mersenne31 et BabyBear.
L'utilisation de champs plus petits entraîne certains défis, tels que des problèmes de sécurité. Les solutions incluent la réalisation de plusieurs vérifications aléatoires et l'extension de champs. Les champs étendus sont similaires aux pluriels, mais basés sur un corps fini. Cela nous permet d'effectuer des calculs plus complexes sur des corps finis, améliorant ainsi la sécurité.
Les STARKs circulaires sont une solution ingénieuse. Étant donné un nombre premier p, il est possible de trouver un groupe de taille p, ce groupe ayant des propriétés bijectives similaires. Ce groupe est composé de points qui satisfont à des conditions spécifiques, comme l'ensemble des points pour lesquels x^2 mod p est égal à une certaine valeur spécifique.
Les STARKs de Circle prennent en charge l'algorithme FFT, mais les objets traités ne sont pas des polynômes au sens strict, mais plutôt des objets mathématiques appelés espaces de Riemann-Roch. Les développeurs peuvent pratiquement ignorer ce point et se contenter de stocker les polynômes comme un ensemble de valeurs d'évaluation sur un domaine spécifique.
Dans les STARKs de Circle, les méthodes traditionnelles de calcul commercial doivent être ajustées. Nous prouvons en évaluant à deux points, en ajoutant un point virtuel qui n'a pas besoin d'attention.
Les STARKs de Circle se distinguent par leur efficacité. Ils exploitent pleinement l'espace dans le suivi de calcul pour effectuer un travail utile, réduisant ainsi l'espace inutilisé. Bien que Binius soit supérieur dans certains aspects, les STARKs de Circle sont conceptuellement plus simples.
Dans l'ensemble, les STARKs de Circle ne sont pas plus compliqués pour les développeurs que les STARKs ordinaires. Bien que les mathématiques sous-jacentes soient complexes, cette complexité est bien cachée. À l'avenir, l'optimisation des STARKs pourrait se concentrer sur l'arithmétisation des primitives cryptographiques, la construction récursive et l'amélioration de l'expérience des développeurs avec les machines virtuelles.