Blockchain has experienced rapid development, giving rise to a variety of underlying platforms. However, whether applications are built on the same or different platforms, achieving seamless cross-platform interoperability and collaboration remains a significant challenge. Against this backdrop, cross-chain technology for building trusted inter-chain interaction channels has gradually become the focus of attention in the industry. Despite this growing interest, both academia and industry lack a unified and accurate definition of cross-chain transactions. Existing cross-chain technologies mainly focus on asset exchange and swap scenarios but suffer from insufficient universality, fragmented key technologies, and inconsistent implementation methods. Aiming at the above problems, this paper analyzes current mainstream cross-chain technologies, proposes a formal definition of general blockchain cross-chain transaction, and designs a cross-chain algorithm based on this definition taking asset exchange cross-chain mode as an example. Finally, the above algorithm is validated using existing classic cross-chain platforms such as BitXHub and Polkadot. Experimental results show that the formal definition and cross-chain algorithm proposed in this paper can not only provide guidance for improving existing platforms, but also offer effective references for future data-based cross-chain platforms that have not yet appeared or have not been applied in practice.
ZHANG Zhuang
,
ZOU Yilin
,
LIN Zepeng
,
LIU Jiayuan
,
ZI Zongqing
,
TAN Liang
,
SHE Kun
. Formal Definition and Instance Verification Analysis of General Blockchain Cross-Chain Transactions[J]. Journal of Applied Sciences, 2025
, 43(4)
: 559
-585
.
DOI: 10.3969/j.issn.0255-8297.2025.04.002
[1] Nakamoto S. Bitcoin: a peer-to-peer electronic cash system [EB/OL]. [2024-12-31] https://bitcoin.org/bitcoin.pdf.
[2] Liang W, Liu Y Q, Yang C, et al. On identity, transaction, and smart contract privacy on permissioned and permissionless blockchain: a comprehensive survey [J]. ACM Computing Surveys, 2024, 56(12): 1-35.
[3] 刘凌旗, 陈虹, 秦浩. 国外区块链发展战略及其在国防供应链领域的应用[J]. 战略导弹技术, 2022(2): 113-119. Liu L Q, Chen H, Qin H. Development strategy of foreign blockchain and its application in the field of defense supply chain [J]. Tactical Missile Technology, 2022(2): 113-119. (in Chinese)
[4] 杨望, 彭珮, 穆蓉. 全球区块链产业竞争格局与中国创新战略[J]. 财经问题研究, 2020(9): 33-41. Yang W, Peng P, Mu R. The global blockchain industry competition pattern and China’s innovation strategy [J]. Research on Financial and Economic Issues, 2020(9): 33-41. (in Chinese)
[5] Buterin V. A next-generation smart contract and decentralized application platform [EB/OL]. [2024-12-31]. https://github.com/ethereum/wiki/wiki/White-Paper.
[6] Sadegh M, Mahmoudi A, Deng X P, et al. Enterprise blockchain solutions for vibrant construction ecosystem: grey ordinal priority approach [J]. Grey Systems-Theory and Application, 2023, 14(1): 115-143.
[7] Davoell D V, Patrick M N, Jpmorgan C. Quorum whitepaper [EB/OL]. [2024-12- 31]. https://github.com/Consensys/quorum-docs/blob/master/Quorum%20Whitepaper%20v0.2.pdf.
[8] Richard G B, James C, Lan G, et al. Corda: an introduction [EB/OL]. [2024-12-31]. https://gendal.me/2016/08/24/corda-an-introduction/.
[9] Cachin C. Architecture of the hyperledger blockchain Fabric [C]//Workshop on Distributed Cryptocurrencies and Consensus Ledgers, 2016: 1-4.
[10] Chu Y Z, Chen X, Deng H T, et al. FISCO BCOS technology document [EB/OL]. [2024-12- 31]. https://github.com/FISCO-BCOS/FISCO-BCOS-DOC/blob/release-2/2.x/index.rst.
[11] 沈苏彬, 毛燕琴, 李莉. 一种面向非数字货币的区块链通用应用方案[J]. 南京邮电大学学报(自然科学版), 2019, 39(1): 1-11. Shen S B, Mao Y Q, Li L. Blockchain based approach beyond digital currency domain [J]. Journal of Nanjing University of Posts and Telecommunications (Natural Science Edition), 2019, 39(1): 1-11. (in Chinese)
[12] 孟吴同, 张大伟. Hyperledger Fabric共识机制优化方案[J]. 自动化学报, 2021, 47(8): 1885-1898. Meng W T, Zhang D W. Optimization scheme for Hyperledger Fabric consensus mechanism [J]. Acta Automatica Sinica, 2021, 47(8): 1885-1898. (in Chinese)
[13] Rani P, Sharma P, Gupta I. Toward a greener future: a survey on sustainable blockchain applications and impact [J]. Journal of Environmental Management, 2024, 354: 120273.
[14] 邵奇峰, 张召, 朱燕超, 等. 企业级区块链技术综述[J]. 软件学报, 2019, 30(9): 2571-2592. Shao Q F, Zhang Z, Zhu Y C, et al. Survey of enterprise blockchains [J]. Journal of Software, 2019, 30(9): 2571-2592. (in Chinese)
[15] Lin S, Kong Y, Nie S. Overview of block chain cross chain technology [C]//13th International Conference on Measuring Technology and Mechatronics Automation, 2021: 357-360.
[16] 李芳, 李卓然, 赵赫. 区块链跨链技术进展研究[J]. 软件学报, 2019, 30(6): 1649-1660. Li F, Li Z R, Zhao H. Research on the progress in cross-chain technology of blockchains [J]. Journal of Software, 2019, 30(6): 1649-1660. (in Chinese)
[17] Ren K, Ho N M, Loghin D, et al. Interoperability in blockchain: a survey [J]. IEEE Transactions on Knowledge and Data Engineering, 2023, 35(12): 12750-12769.
[18] Nolan T. Alt chains and atomic transfers [EB/OL]. [2024-12-31]. https://bitcointalk.org/index.php?topic=193281.0.
[19] Poon J, Dryja T. The Bitcoin lightning network: scalable off-chain instant payments [EB/OL]. [2024-12-31]. https://lightning.network/lightning-network- paper.pdf.
[20] Back A, Corallo M, Dashjr L, et al. Enabling blockchain innovations with pegged sidechains [EB/OL]. [2024-12-31]. https://blockstream.com/sidechains.pdf.
[21] Johnny D, Andrew P, Jonathan W, et al. Strong federations: an interoperable blockchain solution to centralized third-party risks [DB/OL]. [2024-12-31]. https://arxiv.org/abs/1612.05491v3.
[22] Yu H F, Mu W Z. ABE-based postquantum cross-blockchain data exchange approach for smart agriculture [J]. IEEE Transactions on Industrial Informatics, 2024, 20(10): 12083-12091.
[23] Thomas S, Schwartz E. A protocol for interledger payments [EB/OL]. [2024-12-31]. https://interledger.org/developers/documents/interledger.pdf.
[24] Frauenthaler P, Sigwart M, Spanring C, et al. Testimonium: a cost-efficient blockchain relay [DB/OL]. [2024-12-31]. https://arxiv.org/abs/2002.12837.
[25] Kwon J, Buchman E. Cosmos: a network of distributed ledgers [EB/OL]. [2024-12-31]. https://github.com/cosmos/cosmos/blob/master/WHITEPAPER.md.
[26] Wood G. Polkadot: vision for a heterogeneous multi-chain framework [EB/OL]. [2024-12-31]. https://github.com/polkadot-io/polkadotpaper/raw/master/PolkaDotPaper.pdf.
[27] Qian D J, Josie J, Wu J G, et al. Fusion whitepaper: an inclusive cryptofinance plat-form based on blockchain [EB/OL]. [2024-12-31]. https://uploadsssl.webflow.com/5cbf7269aa4c8ec895500d90/5cd19865da79bd05684babfc_Fusion%20White%20Paper.pdf.
[28] Jack L, Li N, Oliver B, et al. Decentralised blockchain interoperability [EB/OL]. [2024-12- 31]. https://www.wanchain.org/.
[29] Matthew S, Nuco E T. Aion: enabling the decentralized Internet [EB/OL]. [2024-12-31]. https://coinpaprika.com/storage/cdn/whitepapers/4235405.pdf.
[30] Block C T. Block collider whitepaper [EB/OL]. [2024-12-31]. https://s3.amazonaws.com/blockcollider/blockcollider{\_}wp.pdf.
[31] Homer P W, Edwin Z, George C, et al. Public blockchain whitepaper: a universal blockchain protocol enabling cross-ledger access through business modularization [EB/OL]. [2024-12-31]. https://blog.oneledger.io/hubfs/Website/Whitepaper/oneledger-whitepaper.en.pdf.
[32] Buterin V. Sharding FAQ [EB/OL]. [2024-12-31]. https://github.com/ethereum/wiki/wiki/Sharding-FAQs.
[33] Eykholt E, Meredith Lg, Denman J. RChain architecture documentation [EB/OL]. [2024- 12-31]. https://www.allcryptowhitepapers.com/wp-content/uploads/2018/05/Rchain.pdf.
[34] Lemahieu C. Nano: a feeless distributed cryptocurrency network [EB/OL]. [2024-12-31]. https://media.abnnewswire.net/media/cs/whitepaper/rpt/91948-whitepaper.pdf.
[35] Sergio D L. RSK white paper overview [EB/OL]. [2024-12-31]. https://bravenewcoin.com/assets/Whitepapers/RootstockWhitePaperv9-Overview.pdf.
[36] Christian D, Byron H, Andrew P, et al. How elements works and the roles of network participants [EB/OL]. [2024-12-31]. https://elementsproject.org/how-it-works.
[37] Snow P, Deery B, Lu J, et al. Business processes secured by immutable audit trails on the blockchain [EB/OL]. [2024-12-31]. https://yicr.info/wp/fct_wp.pdf.
[38] Ethereum A C. BTC Relay: a bridge between the Bitcoin blockchain & Ethereum smart contracts [EB/OL]. [2024-12-31]. http://btcrelay.org/.
[39] Poon J, Buterin V. Plasma: scalable autonomous smart contracts [EB/OL]. [2024-12-31]. https://plasma.io/plasma.pdf.
[40] Buterin V. Minimal viable plasma [EB/OL]. [2024-12-31]. https://ethresear.ch/t/minimalviable-plasma/426.
[41] Buterin V. Plasma cash: plasma with much less per-user data checking [EB/OL]. [2024-12-31]. https://ethresear.ch/t/plasma-cash-plasma-with-much-less-per-user-data-checking/1298.
[42] James M D. Loom network is LIVE! Scalable Ethereum DApps coming soon to a DAppChain near you [EB/OL]. [2024-12-31]. https://medium.com/loom-network/loom-network-islive-scalable-ethereum-dapps-coming-soon-to-a-dappchain-near-you-29d26da00880.
[43] Hertzog E, Benartzi G, Benartzi G. Bancor protocol [EB/OL]. [2024-12-31]. https://bravenewcoin.com/assets/Whitepapers/Bancor-Protocol-Whitepaper-en.pdf.
[44] Shi X, Liu G, Cao M R, et al. WeCross [EB/OL]. [2024-12-31]. https://github.com/WeBankBlockchain/WeCross
[45] Wang X Y, Li R Y, Li R X, et al. BitXHub whitepaper: inter-blockchain technology platform [EB/OL]. [2024-12-31]. https://upload.hyperchain.cn/BitXHub%E7%99%BD%E7%9A%AE%E4%B9%A6.pdf.
