Stone e S-two -- di quale salto stiamo parlando? Stone è il primo prover di produzione di StarkWare. Alcuni numeri: - È in produzione da oltre 5 anni - Ha gestito oltre 1 trilione di dollari - Ha risparmiato oltre 1 miliardo di dollari in commissioni per gli utenti È una bestia. S-two è la seconda volta che costruiamo un prover. Come ci si aspetterebbe, la seconda volta che costruisci qualcosa, ci sono molti miglioramenti. Il miglioramento più grande è la dimensione dei numeri utilizzati per costruire la prova (dimensione del campo). In Stone abbiamo usato numeri a 256 bit, e S-two utilizza numeri a 32 bit. Confrontandoli fianco a fianco, la moltiplicazione (un'operazione molto importante e costosa negli STARK) è 120 volte più veloce! Lasciami ripetere: 120X più veloce. 🏎️ Ma ci sono molte altre innovazioni sotto il cofano. Ad esempio, piuttosto che lavorare con un passo alla volta, e tutti i passi della stessa natura, ora abbiamo una flessibilità quasi illimitata per aggiungere vari opcodes e operazioni in un modo molto efficiente che porta a prestazioni ulteriormente migliorate (il whitepaper di S-two fornirà maggiori dettagli su questo). La modularità è un altro aspetto interessante: la generazione della prova effettiva può essere interfacciata in modo modulare con vari AIR (sistemi di vincoli). Questo consente a team esterni come @NexusLabs, @KakarotZkEvm e @gizatechxyz di utilizzare S-two per calcoli diversi da quelli per cui lo utilizziamo noi. Quindi S-two risulta essere il prover più veloce al mondo, più di 100 volte più veloce di Stone. Il prover di prossima generazione, che uscirà tra qualche anno (no, non ci stiamo lavorando ancora) sarà di nuovo 100 volte più veloce? Onestamente, ne dubito, ma allo stesso tempo non mi aspettavo nemmeno il fattore 100 che abbiamo ottenuto finora.