PAC to the Future: Zero-Knowledge Proofs of PAC Private Systems. - Guilhem Repetto; Nojan Sheybani; Gabrielle De Micheli; Farinaz Koushanfar (CoRR, 2026)