Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance

Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance

연구 분야: Verification

학회: International Conference on Availability, Reliability and Security

This paper introduces a new set of privacy-preserving mechanisms for verifying compliance with location-based policies for vehicle taxation, or for (electric) vehicle (EV) subsidies, using Zero-Knowledge Proofs (ZKPs). We present the design and evaluation of a Zero-Knowledge Proof-of-Location (ZK-PoL) system that ensures a vehicle’s adherence to territorial driving requirements without disclosing specific location data, hence maintaining user privacy. Our findings suggest a promising approach to apply ZK-PoL protocols in large-scale governmental subsidy or taxation programs.