Location-aware Verification for Autonomous Truck Platooning Based on Blockchain and Zero-knowledge Proof | IEEE Conference Publication | IEEE Xplore