Zero-Knowledge Proofs

Ask about this topic

Momentum

6 papers in the last four weeks, against 2 the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 42

All topics
CardsList

  1. Can AI Oversight Be Zero Knowledge?

    Oct 1, 2026Alessandro Chiesa, Ziyi Guan, Burcu YildizZero-Knowledge ProofsTrustworthy Artificial Intelligence

    EPFL · MIT

  2. Bits Under ZK-LLM: Evaluating Zero-Knowledge-Friendly Quantization for Verifiable Private LLM Inference

    Sep 29, 2026Taeung Yoon, Yupeng Zhang, Xiaojing LiaoLarge Language Model QuantizationLLM Inference Optimization

    Siebel School of Computing and Data Science University of Illinois Urbana-Champaign

  3. Physics-Attested Federated Learning: Securing Collaborative Anomaly Detection in Critical Water Infrastructure

    Sep 28, 2026Jeff Nijsse, Shu Su, Benjamin Oholeguy +1Federated LearningCyber-Physical System

    Department of Software Engineering, RMIT University, Hanoi, Vietnam · Department of Mathematical Sciences, Auckland University of Technology, New Zealand · Independent Researcher, New Zealand +1

  4. Human-LLM Deliberation as Interactive Proof: Conditions for Verifiability Without Transparency

    Sep 21, 2026Baotong Zhang, Dean Foster, João SedocLarge Language Model ReliabilityProvable Guarantees

    Stern School of Business New York University New York, NY, USA · Amazon New York, NY, USA

  5. End-to-End Verifiable and Robust Federated Learning

    Sep 14, 2026Doryan Lesaignoux, Enrique Mármol Campos, Gabriele Spini +2Federated LearningZero-Knowledge Proofs

    AIT Austrian Institute of Technology · Vienna, Austria · Department of Computer Engineering +2

  6. ZK-Trace: Certified Collusion Tracing with Zero-Knowledge Credentials for Federated GNSS Interference Monitoring

    Sep 8, 2026Redwanul Karim, Nisha L. Raichur, Lucas Heublein +3Global Navigation Satellite SystemZero-Knowledge Proofs

    Fraunhofer Institute for Integrated Circuits IIS, 90411 Nürnberg, Germany

  7. Zero-Knowledge Predicate Proofs Between AI Agents: A Measured, Cross-Protocol Gateway and the Source-Integrity Gap

    Aug 30, 2026Ashok Subbabhatta GopalakrishnaZero-Knowledge ProofsOn-Chain Attestations

    independent researcher

  8. How to Verify Consistency of Probabilistic Claims

    Aug 11, 2026Orr Paradise, Oliver Richardson, Yoshua Bengio +1Self-ConsistencyZero-Knowledge Proofs

    EPFL · Université de Montr´eal, Mila – Quebec AI Institute · MIT, UC Berkeley

  9. NiyamAI - An Intent-Bound AI Agent with Cryptographically Verifiable Guardrails using Zero-Knowledge Proofs

    Aug 7, 2026Aditya Katkar, Om Karkele, Kartik Mandhane +2Large Language Model SafetyArtificial Intelligence Agents

    Department of Computer Engineering, Vishwakarma Institute of Technology, Pune, Maharashtra, India

  10. Soft Redaction of Image Provenance via Zero-Knowledge Proofs

    Aug 7, 2026Muhammad Awan, John CollomosseZero-Knowledge ProofsProvenance

    University of Surrey, Guildford GU2 7XH, UK · Adobe Research, San Jose CA 95110, USA

  11. Privacy-Preserving AI Verification via Minimal Information Disclosure

    Aug 3, 2026Sleem Abdelghafar, Gabriel KulpZero-Knowledge ProofsPrivacy-Utility Trade-Offs

    Rice University · Intelligence Security Laboratories

  12. An AI Approach to Verified Production Cryptographic Libraries

    Aug 2, 2026Chuyue Sun, Su Fong, Zhiyi Kuang +5Zero-Knowledge ProofsDiffie-Hellman

    Stanford University · &Truth · University of North Carolina at Chapel Hill +2

  13. ZK-SR117: A Chunked Zero-Knowledge Attestation Design for Aggregated Fair-Lending Metrics, with a Control Mapping toward Full SR 11-7 Coverage

    Aug 1, 2026Mohammad Nasir Uddin, Rahnuma Tabassum Orpita, Eklachur Rahman Bhuiyan +1Fairness AuditsOn-Chain Attestations

    1DBA-BIDA (Business Intelligence and Data Analytics) Program, Westcliff University, USA · Department of Computer Science and Engineering, Northern University Bangladesh, Bangladesh · 3Washington University of Science and Technology, Alexandria, Virginia, USA +1

  14. RAGuard: A Layered Defense Framework for Retrieval-Augmented Generation Systems Against Data Poisoning

    Jul 28, 2026Pushkal Kumar, Tucker Nielson, Tanish Kolhe +2Agentic Retrieval-Augmented Generation SystemsPoisoning

  15. Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification

    Jul 23, 2026Carter Luck, Olive Franzese-McLaughlin, Elisaweta Masserova +3Zero-Knowledge ProofsPrivacy-Preserving Machine Learning

    University of Massachusetts Amherst · Vector Institute · University of Toronto +3

  16. Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB

    Jul 23, 2026Katharina Engels, Jan Gruteser, Michael LeuschelTheorem ProvingProof

    Heinrich Heine University Düsseldorf · Faculty of Mathematics and Natural Science, Institute of Computer Science, Heinrich Heine University Düsseldorf, Universitätsstr. 1, D-40225 Düsseldorf

  17. Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference

    Jul 23, 2026Xiaolong Liang, Juanjuan Li, Rui Qin +1Homomorphic EncryptionZero-Knowledge Proofs

    State Key Laboratory of Multimodal Artificial Intelligence Systems, Institute of Automation, Chinese Academy of Sciences, Beijing 100190, China

  18. AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language

    Jul 17, 2026Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang +4Theorem ProvingProof

    Nanyang Technological University · Singapore · Imperial College London +5

  19. Publicly-Verifiable Certificates for Statistical Algorithms

    Jul 17, 2026Michael Ngo, Michael P. KimZero-Knowledge ProofsCertificates

    MIT · Research completed while at Cornell University, supported by the Bowers Undergraduate Research Experience (BURE) and the Dean Archer Undergraduate Research Program. · Cornell University

  20. Byzantine Accountability Without Consensus: Strong Eventual Consistency for Non-Associative, Stochastic, Robust Aggregation

    Jul 11, 2026Ryan GillespieByzantine AttacksSecure Aggregation

    Independent researcher

  21. OpenProver: Agentic and Interactive Theorem Proving with Lean 4

    Jul 10, 2026Matěj Kripner, Milan StrakaTheorem ProvingFormal Verification

    Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic

  22. From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

    Jul 8, 2026Eric Jiang, Xiao Liang, Yikai Zhang +16Research-Level MathematicsMathematics

    University of California, Los Angeles · 2Lawrence Livermore National Laboratory

  23. Privacy-Preserving Robustness Verification for Neural Networks

    Jul 6, 2026Nianyun Song, Xiaokun Luan, Yu Guo +3Neural Network VerificationRobustness Verification

    School of Artificial Intelligence, Beijing Key Laboratory of Artificial Intelligence for Education, Engineering Research Center of Intelligent Technology and Educational Application (Ministry of Education), Beijing Normal University, Beijing, China · School of Mathematical Sciences, Peking University, Beijing, China · School of Computer Science, University of Bristol, Bristol, UK

  24. How to Avoid Debate: Scalable AI Safety via Doubly-Efficient Interactive Proofs

    Jul 3, 2026Liyan Chen, Yael Tauman Kalai, Zoe XiZero-Knowledge ProofsArtificial Intelligence Safety

    MIT.

  25. Proofs of Ownership for Machine Learning Models

    Jun 29, 2026Ran Canetti, Shafi Goldwasser, Or ZamirDataset Ownership VerificationZero-Knowledge Proofs

    Boston University · MIT · UC Berkeley +1

  26. Certification of Machine Learning Models via Directional Sharpness

    Jun 23, 2026Gefei Tan, Adria Gascon, Sarah Meiklejohn +1CertificationSharpness-Aware Minimization

    Northwestern University & Google · Google · University College London

  27. Cryptographic certificates of validity for trustworthy AI

    Jun 22, 2026Murdoch J. GabbayZero-Knowledge ProofsTrustworthy Artificial Intelligence

    Heriot-Watt University, Edinburgh, UK

  28. Giskard : Byzantine Robust and Confidential Aggregation for Large-Scale Decentralized Learning

    Jun 17, 2026Ousmane Touat, César Sabater, Mohamed Maouche +1Secure AggregationDecentralized Learning

    INSA Lyon, LIRIS, CNRS · Villeurbanne, France · INRIA, INSA Lyon

  29. Zero knowledge verification for frontier AI training is possible

    Jun 3, 2026Pierre Peigné, Ky Nguyen, Paul WangZero-Knowledge ProofsGovernance

    Lefebvre General-Purpose AI Policy Lab Paris · Sorbonne Université, CNRS, LIP6 F-75005 Paris, France

  30. Acting on the Unseen: Communication-Free Collaborative Filtering for Decentralized Multi-Robot Task Allocation

    May 25, 2026Alexander Apartsin, Yigal Meshulam, Yehudit ApersteinMulti-Robot SystemsCollaborative Filtering

    Holon Institute of Technology, Holon, Israel. · Afeka Tel Aviv Academic College of Engineering, Tel Aviv, Israel

  31. ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization

    May 21, 2026Riyaz Ahuja, Tate Rowney, Jeremy Avigad +1Theorem ProvingNeuro-Symbolic Framework

    Carnegie Mellon University

  32. Probing Structural Mathematical Reasoning in Language Models with Algebraic Trapdoors

    May 5, 2026Igor RivinTractabilityZero-Knowledge Proofs

    Igor Rivin

  33. Undetectable Backdoors in Model Parameters: Hiding Sparse Secrets in High Dimensions

    May 5, 2026Sarthak Choudhary, Atharv Singh Patlan, Nils Palumbo +3Clean Label Backdoor AttackUnsupervised Detection

    University of Wisconsin–Madison · Princeton University

  34. Privacy-Preserving Federated Learning: Integrating Zero-Knowledge Proofs in Scalable Distributed Architectures

    May 4, 2026Divya GuptaFederated LearningIntelligent Edge

    Independent Researcher Hyderabad, India

  35. Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing

    Apr 27, 2026Antony RowstronZero-Knowledge ProofsModel Auditing

    Advanced Research and Invention Agency (ARIA) London, UK

  36. Decoupling Speculation from Merit: The Identity-Bound Asset Integrity Model (IBAIM) for Sustainable Web3 Gaming

    Apr 22, 2026Jinliang XuBitcoinZero-Knowledge Proofs

    China Academy of Information and Communications Technology, Beijing, China

  37. Enabling AI ASICs for Zero Knowledge Proof

    Apr 20, 2026Jianming Tong, Jingtian Dang, Simon Langowski +6Zero-Knowledge ProofsArtificial Intelligence Systems

    Georgia Institute of Technology · Massachusetts Institute of Technology · Google

  38. Fine-Tuning Integrity for Modern Neural Networks: Structured Drift Proofs via Norm, Rank, and Sparsity Certificates

    Apr 6, 2026Zhenhang Shang, Yingzhe Yu, Kani ChenModel Fine-TuningZero-Knowledge Proofs

    The Hong Kong University of Science and Technology, Hong Kong, China

  39. TensorCommitments: A Lightweight Verifiable Inference for Language Models

    Feb 13, 2026Oguzhan Baser, Elahe Sadeghi, Eric Wang +5LLM Inference OptimizationCryptographic Merkle Tree Commitments

    Electrical and Computer Engineering, The University of Texas at Austin · Theseus AI Labs · Electrical and Computer Engineering, McGill University +1

  40. Interactive proofs for verifying (quantum) learning and testing

    Oct 31, 2024Matthias C. Caro, Jens Eisert, Marcel Hinsche +3Quantum LearningPost-Quantum Cryptography

    Department of Computer Science, University of Warwick, UK · Dahlem Center for Complex Quantum Systems, Freie Universität Berlin, Berlin, Germany · Helmholtz-Zentrum Berlin für Materialien und Energie, Berlin, Germany +4

  41. Tempora-Fusion: Time-Lock Puzzle with Efficient Verifiable Homomorphic Linear Combination

    Jun 21, 2024Aydin Abadi, Jakub K. SzelagHomomorphic EncryptionZero-Knowledge Proofs

    Cryptography and AI Security Lab School of Computing Newcastle University Newcastle upon Tyne, United Kingdom

  42. Kick Bad Guys Out! Conditionally Activated Anomaly Detection in Federated Learning with Zero-Knowledge Proof Verification

    Oct 6, 2023Shanshan Han, Wenxuan Wu, Baturalp Buyukates +4Federated LearningModel-Agnostic Defense

    University of California, Irvine · Texas A&M University · University of Birmingham +3