Zero-Knowledge Location Privacy via Accurate Floating Point SNARKs

Jens Ernstberger,Chengru Zhang,Luca Ciprian,Philipp Jovanovic,Sebastian Steinhorst

2024-04-23

Abstract:This paper introduces 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.

Cryptography and Security

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **How to prove to a third party that a user is within a specific geographical area without revealing the user's precise location**. Specifically, this paper proposes Zero - Knowledge Location Privacy (ZKLP), enabling users to prove to a third party that they are within a specified geographical area while protecting their exact location.

### Main Problems and Solutions

1. **Problem Background**:
- With devices (such as smart phones and connected vehicles) being able to perform precise location tracking, location - based services have developed rapidly.
- However, these developments have also raised serious privacy issues because location data can reveal an individual's habits and preferences.
- Traditional privacy protection mechanisms (such as obfuscation and encryption) have limitations and cannot provide both high efficiency and strong privacy protection simultaneously.

2. **Proposed New Method**:
- **ZKLP (Zero - Knowledge Location Privacy)**: Through Zero - Knowledge Proofs (ZKPs), a user can prove to a third party that he or she is within a specific geographical area without exposing the exact location.
- **Floating - point SNARKs**: To implement ZKLP, the author introduced a floating - point arithmetic circuit compliant with the IEEE 754 standard, ensuring high precision and high efficiency.

3. **Key Technical Challenges**:
- **Floating - point Representation**: Location information is usually composed of fractions and needs to be accurately represented in the circuit. Traditional methods use fixed - point numbers, but this will lead to a loss of precision or an increase in data volume.
- **Complex Operations**: ZKLP needs to handle complex mathematical operations (such as division, square root, and trigonometric functions) and ensure the correct rounding of results.
- **Optimizing SNARKs**: To improve efficiency, the author introduced multiple optimization techniques, including look - up tables and non - deterministic programming, reducing the number of constraints.

4. **Application Scenarios**:
- **Privacy - protected Peer - to - Peer Distance Testing**: Through ZKLP, a user can test the distance between himself or herself and others without revealing location information. For example, Alice can verify whether she is close to Bob without revealing any other location information.

### Main Contributions of the Paper

- **ZKLP Paradigm**: Proposed a new application area, combined with zero - knowledge proof technology, to achieve personalized location privacy protection.
- **IEEE 754 - compliant Floating - point SNARKs**: Developed an optimized SNARK circuit that fully complies with the IEEE 754 standard and meets its precision requirements.
- **Optimization Techniques**: Introduced a variety of optimization techniques to avoid and eliminate trigonometric function operations, making the ZKLP paradigm more practical.
- **Performance Evaluation**: Verified the precision and performance of the floating - point arithmetic circuit through experiments, demonstrating the high efficiency of ZKLP in practical applications.

In conclusion, this paper aims to solve the key problems in location privacy protection through zero - knowledge proofs and optimized floating - point arithmetic circuits, providing users with an efficient and powerful privacy protection scheme.