Private, Verifiable, and Auditable AI Systems