conftrace_

zero-knowledge proof

9 papers

Explore in graph

Also known as

ZK ZKP

Co-occurring keywords

aggregate statistics (1) secret sharing (5) distributed ledger (3) privacy-preserving auditing (1) non-interactive proof (1) cryptographic assurance (1) columnar ledger (1) cryptographic protocol (4) classical planning (57) plan existence (3)

Papers

zkQML: Verifiable and Privacy-Preserving Inference for Quantum Machine Learning (Student Abstract) AAAI 2026

Deterministic Client: Enforcing Determinism on Untrusted Machine Code OSDI 2025

HuRef: HUman-REadable Fingerprint for Large Language Models NIPS 2024

Privacy-Preserving UCB Decision Process Verification via zk-SNARKs IJCAI 2024

Zombie: Middleboxes that Don’t Snoop NSDI 2024

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