1/ Vollständige zk-Proofs für gesamte KI-Modelle sind mächtig… Aber in der Praxis: zu schwer, zu langsam, zu teuer. Deshalb haben wir DSperse entwickelt → verifizierungsbasierte Slice.