Tempo di racconti -- Il provatore più veloce a ovest e come è nato. Quando abbiamo fondato StarkWare nel 2018, ci siamo messi a costruire il primo provatore STARK di livello produttivo. All'epoca, il fattore limitante era il costo del gas su Ethereum. Era più semplice ed economico costruire un provatore utilizzando numeri enormi (quelli a 256 bit). Questo ha portato a un semplice provatore STARK che sapevamo potesse essere reso più efficiente riducendo la dimensione del campo. Avanzando al 2023. Ormai il mondo intero è convinto che gli zkSTARK siano il gioco finale, e molti team iniziano a costruire sistemi utilizzando campi piccoli, che portano a provatori più veloci. Nell'estate del 2023 abbiamo avviato un progetto per scegliere la tecnologia di provamento di nuova generazione. Abbiamo esaminato tutte le tecnologie di provamento esistenti -- SNARK, cose basate su folding, GKR e altro ancora. Ci siamo resi conto molto rapidamente che il fattore di prestazione dominante è la dimensione del campo finito, ed i primi a 32 bit sono i migliori. Perché? (1) tutte le architetture HW moderne sono ottimizzate per quelli, (2) perché primi (e non binari?) perché le GPU non supportano bene la moltiplicazione binaria. OK, quindi ci rimangono tecnologie di provamento come GKR e STARK, su primi a 32b. Ora ci siamo trovati di fronte a un problema. Il campo migliore per un calcolo veloce è M31, ma manca della struttura di gruppo per avere STARK veloci. Fortunatamente, il brillante trio -- Ulrich Habock (allora a Polygon, ora a tempo pieno in StarkWare), David Levit e Shahar Papini hanno trovato un modo per utilizzare il "gruppo circolare" su M31 per ottenere una soluzione ottimale. Il nuovo team ha iniziato a implementare la matematica. Nel modo più efficiente che potessimo pensare, testando e convalidando l'efficienza, e costruendolo anche in un modo abbastanza modulare per essere utilizzato da altri team. Allo stesso tempo, l'infrastruttura dei vincoli AIR è stata ricostruita da zero, basata sulla nostra esperienza precedente, per portare a qualcosa di solido ed efficiente. E ora, Stwo sta entrando in produzione in Starknet, riducendo costi e latenza. I benchmark che abbiamo testato sono straordinari. Allo stesso tempo, più team esterni lo stanno utilizzando per costruire la loro infrastruttura. Penso che sarà il provatore open source di riferimento, e tutti voi siete invitati a usarlo. FINE.