Efficient Execution of Arbitrarily Complex Cross-Shard Contracts for Blockchain Sharding | IEEE Journals & Magazine | IEEE Xplore