Hora de contar historias -- El probador más rápido del oeste y cómo surgió. Cuando fundamos StarkWare en 2018, nos propusimos construir el primer probador STARK de calidad de producción. En ese momento, el factor limitante era el costo del gas en Ethereum. Era más simple y barato construir un probador utilizando números enormes (de 256 bits). Esto llevó a un probador STARK simple que sabíamos que podría hacerse más eficiente reduciendo el tamaño del campo. Avancemos hasta 2023. El mundo entero ahora está convencido de que los zkSTARKs son el juego final, y muchos equipos comienzan a construir sistemas utilizando campos pequeños, lo que lleva a probadores más rápidos. En el verano de 2023, comenzamos un proyecto para elegir la tecnología de prueba de próxima generación. Revisamos todas las tecnologías de prueba existentes -- SNARKs, cosas basadas en plegado, GKR, y más. Nos dimos cuenta muy rápidamente de que el factor de rendimiento dominante es el tamaño del campo finito, y los primos de 32 bits son los mejores. ¿Por qué? (1) todas las arquitecturas de hardware modernas están optimizadas para esos, (2) ¿por qué primos (y no binarios?) porque las GPU no soportan bien la multiplicación binaria. Bien, eso nos deja con tecnologías de prueba como GKR y STARK, sobre primos de 32b. Ahora nos enfrentamos a un problema. El mejor campo para cálculos rápidos es M31, pero carece de la estructura de grupo para tener STARKs rápidos. Afortunadamente, el brillante trío -- Ulrich Habock (entonces en Polygon, ahora a tiempo completo en StarkWare), David Levit y Shahar Papini, encontraron una manera de usar el "grupo circular" sobre M31 para obtener una solución óptima. El nuevo equipo comenzó a implementar las matemáticas. De la manera más eficiente que pudimos imaginar, probando y validando la eficiencia, y también construyéndolo de una manera lo suficientemente modular para que otros equipos lo usen. Al mismo tiempo, la infraestructura de restricciones AIR fue reconstruida desde cero, basada en nuestra experiencia previa, para llevar a algo que sea sólido y eficiente. Y ahora, Stwo está entrando en producción en Starknet, reduciendo costos y latencia. Las pruebas que realizamos son impresionantes. Al mismo tiempo, múltiples equipos externos lo están utilizando para construir su infraestructura. Creo que será el estándar de oro de los probadores de código abierto, y todos están invitados a usarlo. FIN.