🎥 Neues Fireside-Chat: Inside SP1 mit @tamirhemo, Leiter der Kryptographie bei @SuccinctLabs. Wir tauchen tief in die Architektur von SP1, Leistungsdurchbrüche und was es braucht, um produktionsreife ZK-VMs zu sichern. Zeitstempel: 0:00 Was ist SP1 und die Mission von Succinct 2:31 Warum ZK-VMs allgemeiner sind als maßgeschneiderte ZK-Schaltungen 3:30 Hypercube & Echtzeitbeweis in EthProofs 4:30 Entwurfsentscheidungen hinter den Leistungsgewinnen von SP1 7:36 Theorie vs. Arithmetisierung Trade-offs 10:19 Angriffsflächen von SP1 & Minderung 14:04 Interaktive Theorembeweiser vs. SMT-Tools (Picus) 15:36 Integration von Werkzeugen & was noch fehlt 18:18 Precompiles: wann man sie hinzufügen sollte & Sicherheitsauswirkungen 20:24 Ist "compile-to-circuit" ein nützlicher Dual zu ZK-VMs? 21:12 Beweisgarantien, Bereitstellung und Datenschutzrisiken 24:04 Inkrementelles Beweisen: lokale + Serverbeweise 26:14 Beweise vs. Vermutungen & kryptographische Priorisierung 29:23 Neue Kryptographie & was Tamir am meisten begeistert 32:01 Anwendungen, die auf SP1 aufbauen 34:45 Beweisnetzwerk vs. private Beweisdienste 36:55 Zeitplan für das Beweisen zu Hause für 99% der Blöcke 39:34 Die härtesten 1%: 12-Sekunden-Flaschenhälse 42:08 Adversariale Blöcke & "Prover-Killer" Opcodes 43:18 Über Ethereum hinaus: andere SP1-Arbeitslasten 45:16 Was kommt als Nächstes für SP1 47:15 Schlussbemerkungen Moderiert von @bensepanski von @VeridiseInc, gefilmt in Buenos Aires, 17. November 2025 🇦🇷 Video-Zusammenfassung unten 🧵 1/5

Tamir erklärt, warum Succinct von maßgeschneiderten ZK-Schaltungen zu einer allgemeinen ZK-VM gewechselt ist und warum SP1 vorkompilierungszentriert ist: optimierte Schaltungen, wo es darauf ankommt, flexible Programme überall sonst. Das Ziel ist nicht, jeden Zyklus zu beweisen — SP1 beweist das versprochene Verhalten des Programms. 2/5

🚀 Leistungs-Highlights SP1 Hypercube beweist jetzt ~99,7% der Ethereum-Blöcke in unter 12s mit ~16 GPUs – erreicht die Schwelle für Verbraucherhardware. Wichtige Freischaltungen: multilineare Polynome, bessere Arithmetisierungsfreiheit und Beseitigung von Rekursionsengpässen. 3/5

Sicherheit steht im Vordergrund. Tamir erklärt, wie Angriffsflächen gemindert werden, Prover-Killer-OpCodes und warum formale Verifikation für ZK-VMs unerlässlich ist. @SuccinctLabs arbeitet mit @VeridiseInc zusammen, um SP1-Schaltungen mit Picus formal zu verifizieren, um Fehler zu beseitigen, bevor sie ausgeliefert werden. 4/5