Hora da história -- O provador mais rápido do oeste e como tudo começou. Quando fundámos a StarkWare em 2018, estabelecemos o objetivo de construir o primeiro provador STARK de produção. Na altura, o fator limitante era o custo do gás na Ethereum. Era mais simples e barato construir um provador usando números enormes (de 256 bits). Isso levou a um provador STARK simples que sabíamos que poderia ser tornado mais eficiente ao reduzir o tamanho do campo. Avançando para 2023. O mundo inteiro agora está convencido de que os zkSTARKs são o jogo final, e muitas equipas começam a construir sistemas usando campos pequenos, que levam a provadores mais rápidos. No verão de 2023, começámos um projeto para escolher a próxima geração de tecnologia de prova. Fizemos um levantamento de todas as tecnologias de prova existentes -- SNARKs, coisas baseadas em folding, GKR, e mais. Percebemos muito rapidamente que o fator de desempenho dominante é o tamanho do campo finito, e que primos de 32 bits são os melhores. Por quê? (1) todas as arquiteturas de hardware modernas estão otimizadas para isso, (2) por que primos (e não binários?) porque as GPUs não suportam bem a multiplicação binária. Ok, então isso nos deixa com tecnologias de prova como GKR e STARK, sobre primos de 32b. Agora enfrentámos um problema. O melhor campo para cálculos rápidos é o M31, mas falta-lhe a estrutura de grupo para ter STARKs rápidos. Felizmente, o brilhante trio -- Ulrich Habock (então na Polygon, agora a tempo inteiro na StarkWare), David Levit e Shahar Papini descobriram uma maneira de usar o "grupo circular" sobre M31 para obter uma solução ótima. A nova equipa começou a implementar a matemática. Da maneira mais eficiente que conseguimos pensar, testando e validando a eficiência, e também construindo de uma forma que seja modular o suficiente para outras equipas usarem. Ao mesmo tempo, a infraestrutura de restrições AIR foi reconstruída do zero, com base na nossa experiência anterior, para levar a algo que seja sólido e eficiente. E agora, o Stwo está entrando em produção no Starknet, reduzindo custos e latência. Os benchmarks que testámos são de outro mundo. Ao mesmo tempo, várias equipas externas estão a usá-lo para construir a sua infraestrutura. Acho que será o padrão de ouro de provadores open source, e todos vocês estão convidados a usá-lo. FIM.