"Show Me You Comply... Without Showing Me Anything": Zero-Knowledge Software Auditing for AI-Enabled Systems. - Filippo Scaramuzza; Renato Cordeiro Ferreira; Tomaz Maia Suller; Giovanni Quattrocchi; Damian Andrew Tamburri; Willem-Jan van den Heuvel (CoRR, 2025)