Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance. - Dan Bogdanov; Eduardo Brito; Annika Jaakson; Peeter Laud; Raul-Martin Rebane (ARES (EU Projects Symposium Workshops 1), 2025)