An AST-based consistency maintenance scheme for cross-chain digital assets[J] CCF TRANSACTIONS ON PERVASIVE COMPUTING AND INTERACTION Xu, Zheng Liu, Chaofan Wang, Sitong Zhang, Peng Lu, Tun Gu, Ning