Verification and Cross Sharding Process in QuarkChain