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
Metadata
- Available format(s)
- 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} }