Filippo Scaramuzza, Renato Cordeiro Ferreira, Tomaz Maia Suller, Giovanni Quattrocchi, Damian Andrew Tamburri, Willem-Jan van den Heuvel: "Show Me You Comply... Without Showing Me Anything": Zero‑Knowledge Software Auditing for AI‑Enabled Systems [Replication Package]. Zenodo 2025