Kernprinzipien sind wichtig.

Das Beste daran, CEO von StarkWare zu sein, ist, meinen Teammitgliedern zuzuhören und von ihnen korrigiert zu werden, die schlauer und wissender sind als ich.

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.

Warum bin ich optimistisch bezüglich Starknet? Beste Technologie. Es stimmt, dass der TVL und das DeFi-Volumen höher sein könnten. Aber ich denke langfristig. Das Ökosystem brodelt, wartet auf einen weiteren Funken, und der Funke wird kommen. Und wenn er kommt, werden Nutzer und Entwickler entdecken, dass die beste Technologie die beste Benutzererfahrung, die beste Sicherheit und die besten Funktionen bedeutet, und diese werden nicht reduziert, sobald die Aktivität zunimmt. Warum ist es die beste Technologie? - Nächste Generation und beste Smart-Contract-Sprache aller Zeiten. Ja, Cairo ist viel besser als Solidity oder Rust von Solana. - Nächste Generation von Smart Accounts (dank nativer Kontenabstraktion) -> bessere Benutzererfahrung für Endnutzer, zusammen mit erstklassiger Selbstverwahrungssicherheit. - Größte Rechenleistung on-chain -> Perpetual Exchanges, Gaming-Entwickler und andere rechenintensive Anwendungen können komplexe Logik ausführen, die man sonst nirgendwo in der Blockchain findet. - Sicherste Konnektivität zu Bitcoin und Ethereum. - Das einzige L2, das aktiv auf volle, echte Dezentralisierung hinarbeitet. - Höchste Redundanz in Bezug auf Sequencer und Prover. Die sicherste, schnellste und solideste Nachweistechnologie, die es gibt. Also denke ich langfristig und bin super optimistisch bezüglich Starknet. Und du solltest es auch sein.

Starknet geht in den Grinta-Modus und ich bin etwas überrascht (traurig?), dass es niemand auf die nächste Stufe mit Margagrintas🍹🍹🍹 bringt.

Wie ich fast einen Wolframwürfel von @ercwl bekommen hätte Ich habe (und tue es immer noch) behauptet, dass Betrugsnachweise nicht funktionieren. Das bedeutet, das Versprechen, dass "jeder einen Schiedsprozess einleiten kann", kann nicht aufrechterhalten werden. Vor mehreren Jahren fragte Eric mich beim Abendessen: "Möchtest du einen Wolframwürfel darauf wetten?" Ich sagte: "Ja! Ich wette, dass in den nächsten 3 Jahren kein auf Betrugsnachweisen basierendes System eine echte Dezentralisierung von Sequenzierer und Validator bieten wird und eine Streitbond unter 100 $ zulässt, die für den durchschnittlichen Nutzer verfügbar ist." Der einfache Grund, warum auf Betrugsnachweisen basierende Systeme eine Streitbond zu diesem Preis nicht anbieten können, ist, dass es die Tür öffnet, um das System zu trollen/DoS. Wir haben das nie formell schriftlich festgehalten, und ich glaube, es ist schon eine lange Zeit vergangen, aber ich bin immer noch bereit, diese Wette heute zu machen, mit ihm oder mit jedem, der die Herausforderung annimmt.

Meinung: L2s sollten dezentralisiert sein. *Dezentralisierung ist auf L2 genauso wichtig wie auf L1.* Starknet hat vor einiger Zeit seinen Dezentralisierungsfahrplan veröffentlicht und folgt ihm Schritt für Schritt. Ich sehe kein anderes L2-Team mit echten Plänen oder Arbeiten in diese Richtung.

Man muss diese "nur ETH" "nur BTC" Kämpfe lieben. Nach einer Woche wie dieser machen sie überhaupt keinen Sinn.

Am Ende dieser Krypto-Woche hier mein Fazit: (TL;DR - Es werden Brücken zwischen zwei Welten gebaut)

Es gibt ein starkes widersprüchliches Element zwischen TradFi und DeFi: TradFi kommuniziert "vertraue uns", "in uns vertraust du". DeFi sagt "vertraue niemandem außer dir selbst", "in die Mathematik vertrauen wir". Es ist interessant zu sehen, wie die beiden Welten näher zusammenrücken.