Stone a S-2 -- o jakém skoku mluvíme? Stone je prvním výrobcem produkční třídy společnosti StarkWare. Některá čísla: - Ve výrobě běží již více než 5 let - Usadilo se to přes 1T $ - Uživatelům ušetřila více než 1 miliardu dolarů na poplatcích Je to bestie. S-two je podruhé, co stavíme provertor. Jak byste očekávali, když něco postavíte podruhé, je tam spousta vylepšení. Největším vylepšením je velikost čísel použitých k vytvoření důkazu (velikost pole). Ve Stone jsme použili 256-bitová čísla a S-two používá 32bitová čísla. Když je porovnáme vedle sebe, násobení (velmi důležitá a nákladná operace ve STARKech) je 120x rychlejší! Dovolte mi to zopakovat: 120x rychleji. 🏎️ Pod kapotou se ale skrývá spousta dalších inovací. Například místo toho, abychom pracovali s jedním krokem v daném okamžiku a všechny kroky jsou stejné povahy, máme nyní téměř neomezenou flexibilitu při přidávání různých operačních kódů a operací velmi efektivním způsobem, který vede k dalšímu zlepšení výkonu (více podrobností o tom poskytne bílá kniha S-two). Modularita je dalším skvělým aspektem -- skutečné generování důkazů může být modulárně propojeno s různými AIR (constraint sysems). To umožňuje externím týmům, jako jsou @NexusLabs, @KakarotZkEvm a @gizatechxyz, používat S-two pro výpočty, které se liší od toho, k čemu je používáme my. Takže S-2 skončí jako nejrychlejší dokazovač na světě, více než 100x rychlejší než Stone. Ukáže se další generace, která vyjde za několik let (ne, zatím na tom nepracujeme), že bude opět 100x rychlejší? Upřímně o tom pochybuji, ale zároveň jsem také nečekal ten 100x faktor, kterého jsme se zatím dostali.