Stone et S-two -- quel est le saut dont nous parlons ? Stone est le premier prouveur de production de StarkWare. Quelques chiffres : - Il fonctionne en production depuis plus de 5 ans - Il a traité plus de 1 000 milliards de dollars - Il a permis d'économiser plus de 1 milliard de dollars en frais pour les utilisateurs C'est une bête. S-two est la deuxième fois que nous construisons un prouveur. Comme vous pouvez vous y attendre, la deuxième fois que vous construisez quelque chose, il y a beaucoup d'améliorations. La plus grande amélioration est la taille des nombres utilisés pour construire la preuve (taille de champ). Dans Stone, nous avons utilisé des nombres de 256 bits, et S-two utilise des nombres de 32 bits. En les comparant côte à côte, la multiplication (une opération très importante et coûteuse dans les STARKs) est 120 fois plus rapide ! Laissez-moi répéter cela : 120X plus rapide. 🏎️ Mais il y a beaucoup d'autres innovations sous le capot. Par exemple, plutôt que de travailler avec une étape à la fois, et toutes les étapes étant de la même nature, nous avons maintenant une flexibilité presque illimitée pour ajouter divers opcodes et opérations de manière très efficace, ce qui conduit à une performance encore améliorée (le livre blanc de S-two donnera plus de détails à ce sujet). La modularité est un autre aspect intéressant -- la génération de preuve réelle peut être interfacée de manière modulaire avec divers AIRs (systèmes de contraintes). Cela permet à des équipes externes comme @NexusLabs, @KakarotZkEvm et @gizatechxyz d'utiliser S-two pour des calculs différents de ceux pour lesquels nous les utilisons. Ainsi, S-two devient le prouveur le plus rapide au monde, plus de 100 fois plus rapide que Stone. Le prouveur de prochaine génération, qui sortira dans quelques années (non, nous ne travaillons pas encore dessus) sera-t-il à nouveau 100 fois plus rapide ? Honnêtement, j'en doute, mais en même temps, je ne m'attendais pas non plus au facteur 100 que nous avons obtenu jusqu'à présent.