该论文研究的是跨链互操作性中的"点对点配置"瓶颈问题。现有跨链协议（如 Axelar、CCIP、Hyperlane、LayerZero、Relay、Wormhole）在点对点（point-to-point）模式下工作：源链与目的链之间必须存在直接配置的连接才能通信。这导致区块链的可达性被严重限制——每新增一条链，若要与网络中所有链互连，就需要成对增加大量配置，运维成本随链数量呈平方级增长。为量化这一问题，作者采集并分析了 2025 年 1 月至 10 月间六种主流跨链协议主网上的约 2500 万条跨链交易事件，构建的通信图覆盖 286 条活跃区块链与 11,935 个"有向直连链对"。分析显示，这种直连结构仅能提供 14.64% 的直接可达率，若要实现全直连则需 81,510 组点对点配置，说明现实中跨链可达性远未饱和。 针对该问题，论文提出 XIR 框架：一种基于"可验证中间表示"（verifiable intermediate representation）的跨链协议互通方案。该中间表示将一条应用层消息与一份"经过认证的跨链协议投递有序记录"绑定，从而在跨越不同协议边界时仍能保持消息身份（message identity）与验证历史（verification history）不被丢失或篡改。基于这一表示，XIR 设计了两种组件：XIR Gateway 与 XIR Adapter，用于把已有连接组合成多跳路径，既支持同协议多跳，也支持跨协议多跳，从而在不新增底层直连的情况下扩展可达范围。 作者实现了集成 Hyperlane 与 LayerZero 的原型，并在本地环境与公共测试网上进行评估。理论分析与实测结果表明：在跨链协议连接被正确配置的前提下，XIR 可省去 67,018 组额外的点对点配置，相当于为同等规模可达链对提供服务的点对点基线方案所需总配置量的 84.88%；同时把整体有向链对可达率从 14.64% 提升到 96.86%。论文的贡献在于：一是提供了大规模主网跨链连接的实证度量；二是提出可验证中间表示这一抽象，用以在协议异构条件下保持可审计的投递证明链；三是通过原型验证了多跳组合的可行性与显著的可扩展性收益。

跨链桥实现了异构区块链之间的互操作性，但同时也切断了追踪非法资金所依赖的交易链路：资金从源链经桥转移到目的链后，原本连续的交易记录被拆散。第三方调查机构通常无法访问桥后端所维护的"源链交易到目的链交易"映射关系，作者对 131 个跨链桥的调研发现，仅有 16.79% 提供完整的公开追踪能力。现有追踪方法普遍依赖官方 API、针对 EVM 的特定假设，或脆弱的时间启发式规则，因而难以在异构账本之间稳定地追踪资金转移。针对这一问题，作者提出 XSplicer——一个证据驱动的跨链交易对应关系重建系统（xTCR），其最大特点是不需要桥后端的任何特权访问。XSplicer 的核心方法是：从公开的协议文档和真实交易样例中提取统一的语义规范（即协议层面的不变量），将规范自动转化为轻量级解析器与验证器，然后在关联源交易与目的交易时优先采用"硬证据"（链上可独立验证的确定性字段与事件），只有在硬证据不足时才退而使用"软线索"（如时间接近性、金额相似性等启发式特征）。作者在覆盖 EVM、Bitcoin 与 Solana 三类账本的 7 个桥协议上进行了评估：XSplicer 取得 92.5% 的全局恢复率，单协议最高可达 98.61%；在引入对抗性噪声的条件下，硬证据验证器在全部测试用例中仍保持 100% 的正确匹配，而软线索匹配则随歧义程度上升而明显退化。在两个真实世界案例研究中，XSplicer 在 Multichain 停止运营后仍恢复了 1900 多组历史交易对，并在 Bybit 洗钱事件中识别出 754 笔非法跨链转账，涉及金额约 1.056 亿美元。这些结果表明，仅依靠公开的协议不变量即可支撑实用的跨链取证，无需依赖桥方的特权映射数据。