Histoire -- Le plus rapide des prouveurs à l'ouest et comment cela est arrivé. Lorsque nous avons fondé StarkWare en 2018, nous avons décidé de construire le premier prouveur STARK de qualité production. À l'époque, le facteur limitant était le coût du gaz sur Ethereum. Il était le plus simple et le moins cher de construire un prouveur utilisant de grands nombres (256 bits). Cela a conduit à un prouveur STARK simple que nous savions pouvoir être rendu plus efficace en réduisant la taille du champ. Avançons jusqu'en 2023. Le monde entier est désormais convaincu que les zkSTARKs sont l'avenir, et de nombreuses équipes commencent à construire des systèmes utilisant de petits champs, ce qui conduit à des prouveurs plus rapides. À l'été 2023, nous avons lancé un projet pour choisir la technologie de preuve de nouvelle génération. Nous avons examiné toutes les technologies de preuve existantes -- SNARKs, des choses basées sur le pliage, GKR, et plus encore. Nous avons très rapidement réalisé que le facteur de performance dominant est la taille du champ fini, et que les nombres premiers de 32 bits sont les meilleurs. Pourquoi ? (1) toutes les architectures matérielles modernes sont optimisées pour cela, (2) pourquoi des nombres premiers (et pas binaires ?) parce que les GPU ne supportent pas bien la multiplication binaire. D'accord, cela nous laisse avec des technologies de preuve comme GKR et STARK, sur des nombres premiers de 32 bits. Maintenant, nous avons rencontré un problème. Le meilleur champ pour un calcul rapide est M31, mais il manque la structure de groupe pour avoir des STARKs rapides. Heureusement, le brillant trio -- Ulrich Habock (alors chez Polygon, maintenant à plein temps chez StarkWare), David Levit et Shahar Papini ont trouvé un moyen d'utiliser le "groupe circulaire" sur M31 pour obtenir une solution optimale. La nouvelle équipe a commencé à mettre en œuvre les mathématiques. De la manière la plus efficace que nous pouvions imaginer, en testant et en validant l'efficacité, et en le construisant également de manière suffisamment modulaire pour que d'autres équipes puissent l'utiliser. En même temps, l'infrastructure des contraintes AIR a été reconstruite à partir de zéro, basée sur notre expérience précédente, pour aboutir à quelque chose de solide et d'efficace. Et maintenant, Stwo entre en production dans Starknet, réduisant les coûts et la latence. Les benchmarks que nous avons testés sont incroyables. En même temps, plusieurs équipes externes l'utilisent pour construire leur infrastructure. Je pense que ce sera le prouveur open source de référence, et vous êtes tous invités à l'utiliser. FIN.
12,03K