通用区块链跨链交易形式化定义及实例验证分析

doi:10.3969/j.issn.0255-8297.2025.04.002

摘要/Abstract

摘要： 区块链经历了高速发展，诞生了许多形态各异的底层技术平台，然而无论是基于同一平台还是不同平台构建的应用，都难以便捷地跨平台互通协作。在此背景下，构建可信链间交互渠道的跨链技术逐渐成为业界关注的焦点，但目前学术界和产业界对跨链交易缺乏统一准确的定义，且现有的跨链技术主要聚焦于资产交换和资产互换场景，存在通用性不足、关键技术碎片化、实现方式差异显著等问题。为此，本文分析了当前的主流跨链技术，提出了通用区块链跨链交易形式化定义，并基于该定义以资产交换跨链模式为例设计了跨链算法。最后将上述算法在现有的经典跨链平台BitXHub和Polkadot上进行了实例验证。跨链验证与实验数据表明，本文提出的形式化定义及跨链算法不仅可以为已有跨链平台的进一步完善提供指导，而且还给未出现的或者未实际应用的数据型跨链提供有效参考。

关键词: 区块链, 跨链, 资产交换, 数据互通, 业务协同, 形式化

Abstract: 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.

Key words: blockchain, cross-chain, asset exchange, data interoperability, business collaboration, formalization

中图分类号:

TP39

张壮, 邹义林, 林泽鹏, 刘家圆, 訾宗青, 谭良, 佘堃. 通用区块链跨链交易形式化定义及实例验证分析[J]. 应用科学学报, 2025, 43(4): 559-585.

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.

参考文献

[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.