Stone und S-two -- was ist der Sprung, über den wir sprechen? Stone ist StarkWares erster produktionsreifer Prover. Einige Zahlen: - Es läuft seit über 5 Jahren in der Produktion - Es hat über 1 Billion Dollar abgewickelt - Es hat den Nutzern über 1 Milliarde Dollar an Gebühren gespart Es ist ein Biest. S-two ist das zweite Mal, dass wir einen Prover bauen. Wie zu erwarten, gibt es beim zweiten Mal viele Verbesserungen. Die größte Verbesserung ist die Größe der Zahlen, die zur Konstruktion des Beweises verwendet werden (Feldgröße). In Stone haben wir 256-Bit-Zahlen verwendet, und S-two verwendet 32-Bit-Zahlen. Im direkten Vergleich ist die Multiplikation (eine sehr wichtige und kostspielige Operation in STARKs) 120x schneller! Lass mich das wiederholen: 120X schneller. 🏎️ Aber es gibt viele andere Innovationen im Hintergrund. Zum Beispiel arbeiten wir jetzt nicht mehr Schritt für Schritt, wobei alle Schritte gleicher Natur sind, sondern wir haben nahezu unbegrenzte Flexibilität, um verschiedene Opcodes und Operationen auf eine sehr effiziente Weise hinzuzufügen, was zu einer weiteren Leistungsverbesserung führt (das S-two-Whitepaper wird mehr Details dazu geben). Modularität ist ein weiterer cooler Aspekt -- die tatsächliche Beweisgenerierung kann modular mit verschiedenen AIRs (Constraint-Systemen) verbunden werden. Dies ermöglicht externen Teams wie @NexusLabs, @KakarotZkEvm und @gizatechxyz, S-two für Berechnungen zu verwenden, die sich von denen unterscheiden, für die wir sie verwenden. So wird S-two der schnellste Prover der Welt, mehr als 100x schneller als Stone. Wird der nächste Generation-Prover, der in ein paar Jahren herauskommt (nein, daran arbeiten wir noch nicht), wieder 100x schneller sein? Ehrlich gesagt, bezweifle ich das, aber gleichzeitig habe ich auch nicht mit dem 100x-Faktor gerechnet, den wir bisher erreicht haben.