zero-knowledge proof

AudiFair: Privacy-Preserving Framework for Auditing Fairness UAI 2026 zkQML: Verifiable and Privacy-Preserving Inference for Quantum Machine Learning (Student Abstract) AAAI 2026 Confidential Guardian: Cryptographically Prohibiting the Abuse of Model Abstention ICML 2025 Deterministic Client: Enforcing Determinism on Untrusted Machine Code OSDI 2025 ExpProof : Operationalizing Explanations for Confidential Models with ZKPs ICML 2025 Confidential-DPproof: Confidential Proof of Differentially Private Training ICLR 2024 FairProof : Confidential and Certifiable Fairness for Neural Networks ICML 2024 HuRef: HUman-REadable Fingerprint for Large Language Models NeurIPS 2024 Privacy-Preserving UCB Decision Process Verification via zk-SNARKs IJCAI 2024 Trustless Audits without Revealing Data or Models ICML 2024 Zombie: Middleboxes that Don’t Snoop NSDI 2024 Confidential-PROFITT: Confidential PROof of FaIr Training of Trees ICLR 2023 Zero-Knowledge Proofs for Classical Planning Problems AAAI 2023 Proving the correct execution of concurrent services in zero-knowledge OSDI 2018 zkLedger: Privacy-Preserving Auditing for Distributed Ledgers NSDI 2018 Prio: Private, Robust, and Scalable Computation of Aggregate Statistics NSDI 2017