Stone i S-two -- o jakim skoku mówimy? Stone to pierwszy produkcyjny prover od StarkWare. Kilka liczb: - Działa w produkcji od ponad 5 lat - Zrealizował transakcje o wartości ponad 1 biliona dolarów - Zaoszczędził użytkownikom ponad 1 miliard dolarów w opłatach To potwór. S-two to drugi raz, kiedy budujemy prover. Jak można się spodziewać, przy drugim podejściu do budowy czegoś, wprowadzono wiele ulepszeń. Największym ulepszeniem jest rozmiar liczb używanych do konstrukcji dowodu (rozmiar pola). W Stone używaliśmy liczb 256-bitowych, a S-two używa liczb 32-bitowych. Porównując je obok siebie, mnożenie (bardzo ważna i kosztowna operacja w STARKach) jest 120 razy szybsze! Pozwól, że powtórzę: 120X szybciej. 🏎️ Ale jest wiele innych innowacji pod maską. Na przykład, zamiast pracować nad jednym krokiem na raz, gdzie wszystkie kroki są tego samego rodzaju, teraz mamy niemal nieograniczoną elastyczność w dodawaniu różnych opcode'ów i operacji w bardzo efektywny sposób, co prowadzi do dalszej poprawy wydajności (biała księga S-two dostarczy więcej szczegółów na ten temat). Modularność to kolejny fajny aspekt -- rzeczywista generacja dowodu może być zintegrowana w sposób modułowy z różnymi AIRami (systemami ograniczeń). To pozwala zewnętrznym zespołom, takim jak @NexusLabs, @KakarotZkEvm i @gizatechxyz, korzystać z S-two do obliczeń, które różnią się od tych, do których my je wykorzystujemy. Tak więc S-two staje się najszybszym proverem na świecie, ponad 100 razy szybszym niż Stone. Czy następna generacja proverów, która pojawi się za kilka lat (nie, jeszcze nad tym nie pracujemy), będzie znowu 100 razy szybsza? Szczerze w to wątpię, ale jednocześnie nie spodziewałem się również czynnika 100x, który uzyskaliśmy do tej pory.