Wir bauen ein graphbasiertes zkVM-System auf dem @ziskvm-System auf. Unser Ziel: die Architektur des Provers von Grund auf neu zu überdenken, um bessere Leistung, Portabilität und Sicherheit zu ermöglichen. 🧵

ZKP-Proofing tritt in eine "Speed-First"-Ära ein. Fast jeder Prover unterstützt jetzt GPU-Beschleunigung (CUDA, Metal usw.). Aber die Architektur hinter der Hardware-Entlastung ist ebenso wichtig wie die rohe Hardware.

Es gibt heute zwei Hauptansätze: - HAL-Modus: dieselben Funktionsaufrufe, unterschiedliche Hardware-Backends. - Graph-Modus: den gesamten Nachweisprozess als Berechnungsgraphen kodieren, dann pro Plattform optimieren und kompilieren.

Die Trennung ist klar: - KI-Systeme → Graph-Modus - Die meisten ZKP-Prover → HAL-Modus (aus historischen, CPU-zuerst Gründen) HAL ist praktisch, verbirgt jedoch die globale Struktur der Berechnung.

Der Graph-Modus macht den gesamten Prover explizit und überprüfbar, was tiefere Optimierungen, plattformübergreifende Ausführung und stärkere Sicherheit & Prüfbarkeit ermöglicht. In einem kommenden Beitrag werden wir teilen, wie dieses Design unsere graphbasierte zkVM formt und was es freisetzt. ⚡️