Geschichtenzeit -- Der schnellste Prover im Westen und wie es dazu kam. Als wir 2018 StarkWare gründeten, hatten wir uns zum Ziel gesetzt, den ersten produktionsreifen STARK-Prover zu entwickeln. Zu diesem Zeitpunkt war der limitierende Faktor die Gasgebühr auf Ethereum. Es war am einfachsten und günstigsten, einen Prover mit riesigen Zahlen (256-Bit-Zahlen) zu bauen. Das führte zu einem einfachen STARK-Prover, von dem wir wussten, dass er effizienter gemacht werden konnte, indem wir die Feldgröße reduzierten. Schneller Vorlauf bis 2023. Die ganze Welt ist mittlerweile überzeugt, dass zkSTARKs das Endspiel sind, und viele Teams beginnen, Systeme mit kleinen Feldern zu entwickeln, die zu schnelleren Provern führen. Im Sommer 2023 starteten wir ein Projekt, um die nächste Generation der Proving-Technologie auszuwählen. Wir haben alle bestehenden Proving-Technologien untersucht -- SNARKs, basierend auf Faltung, GKR und mehr. Wir haben sehr schnell erkannt, dass der dominierende Leistungsfaktor die Größe des endlichen Feldes ist, und 32-Bit-Primzahlen am besten sind. Warum? (1) Alle modernen HW-Architekturen sind dafür optimiert, (2) warum Primzahlen (und nicht binär?) weil GPUs binäre Multiplikation nicht gut unterstützen. OK, das lässt uns mit Proving-Technologien wie GKR und STARK über 32b Primzahlen. Jetzt standen wir vor einem Problem. Das beste Feld für schnelle Berechnungen ist M31, aber es fehlt die Gruppenstruktur, um schnelle STARKs zu haben. Glücklicherweise hat das brillante Trio -- Ulrich Habock (damals bei Polygon, jetzt Vollzeit bei StarkWare), David Levit und Shahar Papini einen Weg gefunden, die "Kreisgruppe" über M31 zu nutzen, um eine optimale Lösung zu erhalten. Das neue Team begann, die Mathematik zu implementieren. Auf die effizienteste Weise, die wir uns vorstellen konnten, testeten und validierten wir die Effizienz und bauten es auch so, dass es modular genug für andere Teams ist. Gleichzeitig wurde die AIR-Beschränkungsinfrastruktur von Grund auf neu aufgebaut, basierend auf unseren vorherigen Erfahrungen, um etwas zu schaffen, das solide und effizient ist. Und jetzt geht Stwo in die Produktion in Starknet, was Kosten und Latenz reduziert. Die Benchmarks, die wir getestet haben, sind unglaublich. Gleichzeitig nutzen mehrere externe Teams es, um ihre Infrastruktur aufzubauen. Ich denke, es wird der goldene Standard für Open-Source-Prover sein, und ihr seid alle eingeladen, es zu nutzen. ENDE.