Circle STARKs : une nouvelle approche pour construire des preuves à connaissance nulle efficaces sur de petits champs.

robot
Création du résumé en cours

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 réalisations des STARKs utilisaient des champs de 256 bits, mais cette conception avait une efficacité relativement faible. 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 peut considérablement accélérer la vitesse de preuve. Par exemple, Starkware peut prouver 620 000 hachages Poseidon2 par seconde sur un ordinateur portable M3. Cependant, les petits champs présentent également certains défis, comme la manière d'assurer une randomité suffisante dans un espace de valeurs limité.

Nouvelle œuvre de Vitalik : Explorer les STARKs de Circle

Pour résoudre ce problème, on peut utiliser des contrôles aléatoires multiples ou la méthode des champs étendus. Les champs étendus sont similaires aux pluriels, introduisant une nouvelle valeur α telle que α^2 soit égal à une certaine valeur spécifique, créant ainsi des structures mathématiques plus complexes.

Vitalik nouveau travail : explorer Circle STARKs

Circle STARKs est une solution ingénieuse qui permet d'implémenter efficacement le protocole FRI sur de petits champs comme Mersenne31. Il utilise une structure de groupe circulaire spéciale, ayant des propriétés similaires à un mappage deux pour un. Cette structure nous permet de réaliser des réductions polynomiales de manière efficace sur de petits champs.

Vitalik nouvelle œuvre : Explorer les Circle STARKs

Les STARKs circulaires prennent également en charge des opérations FFT similaires, mais traitent l'espace de Riemann-Roch plutôt que des polynômes stricts. Cela entraîne quelques différences de détail, telles que la façon de construire les polynômes de reste et de disparition.

Vitalik nouvel article : Explorer Circle STARKs

Vitalik nouveau travail : explorer Circle STARKs

Dans l'ensemble, Circle STARKs offre aux développeurs une méthode pour construire des STARKs efficaces sur de petits champs, sans avoir à se soucier des détails mathématiques sous-jacents. Il combine l'efficacité de calcul des petits champs et une sécurité suffisante, ce qui en fait une direction d'optimisation STARK très prometteuse.

Vitalik nouvel article : Exploration des STARKs de Circle

Les futures optimisations de STARK pourraient se concentrer sur : 1) l'arithmétisation des primitives cryptographiques de base ; 2) l'amélioration de la parallélisation grâce à une construction récursive ; 3) l'arithmétisation améliorée de la machine virtuelle pour améliorer l'expérience de développement. Nous approchons de la limite d'efficacité de la couche de base STARK, et les futures optimisations se concentreront davantage dans ces directions.

Vitalik nouveau travail : exploration des Circle STARKs

Nouvelle œuvre de Vitalik : Exploration des Circle STARKs

Voir l'original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Récompense
  • 5
  • Partager
Commentaire
0/400
AirdropHunterZhangvip
· Il y a 16h
Encore en train de préparer du pop-corn à connaissance nulle.
Voir l'originalRépondre0
PumpDetectorvip
· Il y a 16h
hmm la saison des hausses ne finit jamais... ça a l'air haussier, pas mentir
Voir l'originalRépondre0
SneakyFlashloanvip
· Il y a 17h
zk est très amusant
Voir l'originalRépondre0
MetaverseLandladyvip
· Il y a 17h
Encore en train de faire des nouvelles manigances, hein
Voir l'originalRépondre0
BearMarketGardenervip
· Il y a 17h
Les petits champs STARKs sont incroyables.
Voir l'originalRépondre0
  • Épingler
Trader les cryptos partout et à tout moment
qrCode
Scan pour télécharger Gate app
Communauté
Français (Afrique)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)