Cyber Insurance Design for Validator Rotation in Sharded Blockchain Networks: A Hierarchical Game-Based Approach | IEEE Journals & Magazine | IEEE Xplore