DSperse = 77 % schnellere Zeugen-Generierung, 66 % schnellere Beweise, ~40 % weniger Speicherverbrauch. Beweise, wo sie wichtig sind → vertrauenswürdige Inferenz ohne Engpässe.