Paper 2024/1842
Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs
Abstract
We introduce Zero-Knowledge Location Privacy (ZKLP), enabling users to prove to third parties that they are within a specified geographical region while not disclosing their exact location. ZKLP supports varying levels of granularity, allowing for customization depending on the use case. To realize ZKLP, we introduce the first set of Zero-Knowledge Proof (ZKP) circuits that are fully compliant to the IEEE 754 standard for floating-point arithmetic. Our results demonstrate that our floating point circuits amortize efficiently, requiring only $64$ constraints per multiplication for $2^{15}$ single-precision floating-point multiplications. We utilize our floating point implementation to realize the ZKLP paradigm. In comparison to a baseline, we find that our optimized implementation has $15.9 \times$ less constraints utilizing single precision floating-point values, and $12.2 \times$ less constraints when utilizing double precision floating-point values. We demonstrate the practicability of ZKLP by building a protocol for privacy preserving peer-to-peer proximity testing - Alice can test if she is close to Bob by receiving a single message, without either party revealing any other information about their location. In such a configuration, Bob can create a proof of (non-)proximity in $0.26 s$, whereas Alice can verify her distance to about $470$ peers per second.
Metadata
- Available format(s)
-
PDF
- Category
- Applications
- Publication info
- Published elsewhere. IEEE Symposium on Security and Privacy
- Contact author(s)
-
jens ernstberger @ gmail com
u3008875 @ connect hku hk
luca ciprian @ tum de
p jovanovic @ ucl ac uk
sebastian steinhorst @ tum de - History
- 2024-11-11: approved
- 2024-11-09: received
- See all versions
- Short URL
- https://ia.cr/2024/1842
- License
-
CC BY-NC-ND
BibTeX
@misc{cryptoeprint:2024/1842,
author = {Jens Ernstberger and Chengru Zhang and Luca Ciprian and Philipp Jovanovic and Sebastian Steinhorst},
title = {Zero-Knowledge Location Privacy via Accurate Floating-Point {SNARKs}},
howpublished = {Cryptology {ePrint} Archive, Paper 2024/1842},
year = {2024},
url = {https://eprint.iacr.org/2024/1842}
}