A Distributed Approach to Privacy-Preserving Location Verification Using Blockchain and zk-SNARKs | IEEE Conference Publication | IEEE Xplore