Vollkreis-zkML-Beweise sind schwer – große Beweis-Schlüssel, langsame Beweise und hohe Speicherkosten. Mit DSperse-Slicing zeigt das Doom-Modell: - Beweiszeit reduziert von 200s → 145s - PK-Größe schrumpft um 50%