Security Analysis of Double-Spend Attack in Blockchains with Checkpoints for Resilient Decentralized Energy Systems in Smart Regions | Synapse