ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data
METADATA ONLY
Loading...
Author / Producer
Date
2015
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Abstract
We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., The third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source -- even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland'13), ADSNARK achieves up to 25x improvement in proof-computation time and a 20x reduction in prover storage space.
Permanent link
Publication status
published
External links
Editor
Book title
2015 IEEE Symposium on Security and Privacy (SP 2015)
Journal / series
Volume
Pages / Article No.
271 - 286
Publisher
IEEE
Event
36th IEEE Symposium on Security and Privacy (SP 2015)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Authentication; Privacy; Privacy-preserving proofs
Organisational unit
03975 - Perrig, Adrian / Perrig, Adrian