SSHC: A Secure and Scalable Hybrid Consensus Protocol for Sharding Blockchains With a Formal Security Framework | IEEE Journals & Magazine | IEEE Xplore