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 résoudre ce problème, les STARKs ont commencé à utiliser des champs plus petits, comme Goldilocks, Mersenne31 et BabyBear.
L'utilisation de petits champs a amélioré la vitesse de preuve, mais a également apporté de nouveaux défis. Par exemple, lors du choix de points aléatoires dans un petit champ, la plage de sélection se rétrécit, ce qui peut être facilement compromis par des attaquants. Par conséquent, des mesures supplémentaires doivent être prises pour renforcer la sécurité.
Circle STARKs est une nouvelle solution. Elle utilise une structure de groupe spéciale qui permet d'implémenter le protocole FRI de manière efficace sur de petits champs tels que Mersenne31. Le cœur de Circle STARKs est l'utilisation des propriétés géométriques des groupes circulaires pour mapper les opérations dans un espace bidimensionnel vers un espace unidimensionnel, augmentant ainsi l'efficacité du calcul.
Circle STARKs prend également en charge Circle FFT, qui est un algorithme FFT spécial. Contrairement à la FFT classique, Circle FFT traite des fonctions sur l'espace de Riemann-Roch, plutôt que des polynômes au sens strict. Bien que cette différence soit mathématiquement complexe, elle est presque négligeable pour les développeurs.
En termes de détails de mise en œuvre, les Circle STARKs diffèrent des STARKs conventionnels sur certains points, tels que les opérations commerciales, les polynômes disparus, et l'ordre inverse des bits, etc. Mais en général, les Circle STARKs ne sont pas beaucoup plus complexes pour les développeurs que les STARKs conventionnels.
Circle STARKs combiné avec le champ Mersenne31, peut réaliser des preuves très efficaces. Il tire pleinement parti de l'espace dans le suivi des calculs, réduisant ainsi le gaspillage. Bien que des solutions comme Binius soient supérieures dans certains domaines, le concept de Circle STARKs est simple, facile à comprendre et à mettre en œuvre.
Avec l'efficacité de la couche de base STARKs atteignant ses limites, les directions d'optimisation futures pourraient inclure : l'optimisation de l'arithmétisation des primitives cryptographiques, l'utilisation de constructions récursives pour améliorer la parallélisation, l'amélioration de l'arithmétisation de la machine virtuelle pour améliorer l'expérience de développement, etc.
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.
8 J'aime
Récompense
8
4
Reposter
Partager
Commentaire
0/400
nft_widow
· Il y a 1h
Bien que les petites champs aient de bonnes performances, leur sécurité n'est vraiment pas à la hauteur.
Voir l'originalRépondre0
ProxyCollector
· Il y a 18h
Encore un nouveau zk-SNARKs, la sécurité ne va pas bien.
Voir l'originalRépondre0
MagicBean
· Il y a 19h
Les contrats à terme sont vraiment compliqués, peux-tu m'apprendre ?
Voir l'originalRépondre0
MevTears
· Il y a 19h
De petits champs demandent vraiment une grande imagination.
Circle STARKs : une nouvelle solution de preuve efficace à petite échelle
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 résoudre ce problème, les STARKs ont commencé à utiliser des champs plus petits, comme Goldilocks, Mersenne31 et BabyBear.
L'utilisation de petits champs a amélioré la vitesse de preuve, mais a également apporté de nouveaux défis. Par exemple, lors du choix de points aléatoires dans un petit champ, la plage de sélection se rétrécit, ce qui peut être facilement compromis par des attaquants. Par conséquent, des mesures supplémentaires doivent être prises pour renforcer la sécurité.
Circle STARKs est une nouvelle solution. Elle utilise une structure de groupe spéciale qui permet d'implémenter le protocole FRI de manière efficace sur de petits champs tels que Mersenne31. Le cœur de Circle STARKs est l'utilisation des propriétés géométriques des groupes circulaires pour mapper les opérations dans un espace bidimensionnel vers un espace unidimensionnel, augmentant ainsi l'efficacité du calcul.
Circle STARKs prend également en charge Circle FFT, qui est un algorithme FFT spécial. Contrairement à la FFT classique, Circle FFT traite des fonctions sur l'espace de Riemann-Roch, plutôt que des polynômes au sens strict. Bien que cette différence soit mathématiquement complexe, elle est presque négligeable pour les développeurs.
En termes de détails de mise en œuvre, les Circle STARKs diffèrent des STARKs conventionnels sur certains points, tels que les opérations commerciales, les polynômes disparus, et l'ordre inverse des bits, etc. Mais en général, les Circle STARKs ne sont pas beaucoup plus complexes pour les développeurs que les STARKs conventionnels.
Circle STARKs combiné avec le champ Mersenne31, peut réaliser des preuves très efficaces. Il tire pleinement parti de l'espace dans le suivi des calculs, réduisant ainsi le gaspillage. Bien que des solutions comme Binius soient supérieures dans certains domaines, le concept de Circle STARKs est simple, facile à comprendre et à mettre en œuvre.
Avec l'efficacité de la couche de base STARKs atteignant ses limites, les directions d'optimisation futures pourraient inclure : l'optimisation de l'arithmétisation des primitives cryptographiques, l'utilisation de constructions récursives pour améliorer la parallélisation, l'amélioration de l'arithmétisation de la machine virtuelle pour améliorer l'expérience de développement, etc.