Stone och S-two – vad är det för språng vi pratar om? Stone är StarkWares första provexemplar av produktionskvalitet. Några siffror: - Den har körts i produktion i över 5 år - Den har lagt sig över 1 biljon dollar. - Det sparade över 1 miljard dollar i avgifter för användarna Det är ett odjur. S-två är andra gången vi bygger en prover. Som du kan förvänta dig, andra gången du bygger något, finns det många förbättringar. Den största förbättringen är storleken på de tal som används för att konstruera beviset (fältstorleken). I Stone använde vi 256-bitars nummer och S-two använder 32-bitars nummer. Om man jämför dem sida vid sida är multiplikation (en mycket viktig och kostsam operation i STARKs) 120 gånger snabbare! Låt mig upprepa det: 120 gånger snabbare. 🏎️ Men det finns många andra innovationer under huven. Till exempel, istället för att arbeta med ett steg i taget, och alla steg är av samma karaktär, har vi nu nästan obegränsad flexibilitet att lägga till olika opkoder och operationer på ett mycket effektivt sätt som leder till ytterligare förbättrad prestanda (S-two whitepaper kommer att ge mer information om detta). Modularitet är en annan cool aspekt -- den faktiska bevisgenereringen kan kopplas samman på ett modulärt sätt med olika AIR:er (constraint sytsems). Detta gör det möjligt för externa team som @NexusLabs, @KakarotZkEvm och @gizatechxyz att använda S-two för beräkningar som skiljer sig från vad vi använder dem till. Så S-two blir den snabbaste provaren i världen, mer än 100 gånger snabbare än Stone. Kommer nästa generation av prover, som kommer ut några år framåt i tiden (nej, vi arbetar inte med det ännu) att vara 100 gånger snabbare igen? Ärligt talat tvivlar jag på det, men samtidigt förväntade jag mig inte heller den 100x-faktor vi fått hittills.