conftrace_

verifiable computation

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

trusted execution (1) polynomial verification (1) privacy-preserving evaluation (1) inference verification (1) algebraic proof (1) utility trading (1) encrypted scoring (1) succinct proof (1) constraint system (1) proof protocol (1)

Papers

MartDE: A Privacy-Preserving and Cost-Efficient Evaluation Framework for Data Marketplaces AAAI 2026 Spain: Succinct Proofs for Numerical Computations OSDI 2026 zkQML: Verifiable and Privacy-Preserving Inference for Quantum Machine Learning (Student Abstract) AAAI 2026 Trustworthy Monte Carlo NeurIPS 2022 SafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud NeurIPS 2017