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 a posé certains défis, tels que le problème d'insuffisance de randomisation. Pour résoudre ce problème, il existe deux solutions : effectuer plusieurs vérifications aléatoires ou étendre le champ. L'extension de champ est similaire à un pluriel, mais basée sur un domaine fini.
Circle STARKs est une solution ingénieuse. Étant donné un nombre premier p, il est possible de trouver un groupe de taille p, ayant une propriété de bijection. Ce groupe est composé de points satisfaisant certaines conditions, comme l'ensemble des points pour lesquels x^2 mod p est égal à une certaine valeur.
Circle STARKs utilise un FFT spécial, appelé Circle FFT. L'objet traité n'est pas un polynôme strict, mais un espace de Riemann-Roch. Les développeurs n'ont pas besoin de comprendre les détails spécifiques, il leur suffit de traiter les polynômes comme un ensemble de valeurs d'évaluation.
Lors de la mise en œuvre de Circle STARKs, il est important de prêter attention aux points suivants :
L'évaluation des opérations commerciales doit se faire à deux points.
La méthode de construction des polynômes disparus est différente
Évaluer l'ordre en utilisant une séquence inverse spéciale
Les STARKs circulaires sont très efficaces sur des champs premiers de 31 bits. Par rapport aux SNARKs de grands champs, ils exploitent mieux l'espace de calcul. Bien que Binius soit supérieur dans certains aspects, le concept des STARKs circulaires est plus simple.
Les optimisations futures de STARK pourraient se concentrer sur :
Arithmétisation efficace des primitives cryptographiques
Construction récursive pour améliorer la parallélisme
Machine virtuelle arithmétique pour améliorer l'expérience de développement
Dans l'ensemble, les STARKs de Circle sont une solution d'implémentation STARK simple en concept mais efficace, qui mérite d'être explorée et appliquée davantage.
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.
11 J'aime
Récompense
11
4
Partager
Commentaire
0/400
YieldWhisperer
· Il y a 14h
meh, vu cette mathématique en 2018... mêmes anciens vecteurs d'attaque juste reconditionnés
Voir l'originalRépondre0
GasWrangler
· Il y a 15h
en fait, la réduction de la taille du champ est mathématiquement supérieure mais vous dormez tous sur le goulet d'étranglement de l'aléatoire... smh
Voir l'originalRépondre0
BlockchainFoodie
· Il y a 15h
tout comme réduire une sauce complexe... des champs plus petits = un meilleur profil de saveur fr fr
Voir l'originalRépondre0
CryptoCrazyGF
· Il y a 15h
Une petite amie colérique qui aime se vanter de ses connaissances professionnelles
Circle STARKs : une nouvelle solution de zk-SNARKs efficace et concise
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 a posé certains défis, tels que le problème d'insuffisance de randomisation. Pour résoudre ce problème, il existe deux solutions : effectuer plusieurs vérifications aléatoires ou étendre le champ. L'extension de champ est similaire à un pluriel, mais basée sur un domaine fini.
Circle STARKs est une solution ingénieuse. Étant donné un nombre premier p, il est possible de trouver un groupe de taille p, ayant une propriété de bijection. Ce groupe est composé de points satisfaisant certaines conditions, comme l'ensemble des points pour lesquels x^2 mod p est égal à une certaine valeur.
Circle STARKs utilise un FFT spécial, appelé Circle FFT. L'objet traité n'est pas un polynôme strict, mais un espace de Riemann-Roch. Les développeurs n'ont pas besoin de comprendre les détails spécifiques, il leur suffit de traiter les polynômes comme un ensemble de valeurs d'évaluation.
Lors de la mise en œuvre de Circle STARKs, il est important de prêter attention aux points suivants :
Les STARKs circulaires sont très efficaces sur des champs premiers de 31 bits. Par rapport aux SNARKs de grands champs, ils exploitent mieux l'espace de calcul. Bien que Binius soit supérieur dans certains aspects, le concept des STARKs circulaires est plus simple.
Les optimisations futures de STARK pourraient se concentrer sur :
Dans l'ensemble, les STARKs de Circle sont une solution d'implémentation STARK simple en concept mais efficace, qui mérite d'être explorée et appliquée davantage.