Decentralized and Provably Secure Authentication for Smart Grids via XTR and Blockchain | Synapse