通用区块链跨链交易形式化定义及实例验证分析
张壮, 邹义林, 林泽鹏, 刘家圆, 訾宗青, 谭良, 佘堃
Formal Definition and Instance Verification Analysis of General Blockchain Cross-Chain Transactions
ZHANG Zhuang, ZOU Yilin, LIN Zepeng, LIU Jiayuan, ZI Zongqing, TAN Liang, SHE Kun
应用科学学报
.
2025, (4): 559
-585
.
DOI: 10.3969/j.issn.0255-8297.2025.04.002
