该论文旨在解决区块链数字货币系统之间跨链资产转移的安全与隐私问题。现有方案在原子性、不可链接性、不可区分性、无抵押性以及跨不同货币系统的功能方面通常存在不足。为此，作者提出了P2C2T——一种保护隐私的跨链转账方案。P2C2T基于作者同时提出的阈值匿名原子锁（TA²L），该锁作为核心原语，保证原子跨链转账的同时隐藏用户之间的支付关系。通过将TA²L与可验证定时离散对数方案相结合，P2C2T使得跨链交易与普通链内交易无法区分。P2C2T消除了发送方的抵押要求，并对底层区块链只有最低要求（即验证签名的能力）。作者基于提出的阈值盲条件签名概念严格证明了TA²L的安全性，并通过必要证明展示了P2C2T的安全性。此外，他们将P2C2T与现有最接近的方案进行性能对比，结果显示在完成一次跨链转账时，P2C2T在运行时间、通信成本和存储成本上至少降低了85.488%。最后，作者在比特币测试网和莱特币测试网上进行了跨链转账和链内支付实验，验证了P2C2T的隐私性和实用性。

区块链平台已发展成由多个独立网络组成的生态系统，越来越多的应用需要不同链上的智能合约协同工作。这类操作必须满足原子性，但区块链的不可篡改性使得原子性实现面临根本性挑战：已确认的交易无法撤销，因此经典原子提交协议依赖的回滚机制不可用。这带来两个问题：合约状态必须在操作结果未知时被持有，且每条链的执行结果必须在无法观察其他链的情况下确定。针对这些问题，本文提出一种通过前向修正实现原子性的框架，即通过新的链上交易而非回滚来纠正未完成的操作。框架限定了合约状态的持有时间，将争用限制在操作所触及的状态上，并基于每条链执行结果的链上记录来确定操作结果，无需依赖任何单一的协调方。该工作为异构区块链上通用智能合约操作的原子协调奠定了基础。对于安全分析师而言，该研究有助于理解跨链原子性缺失的风险（如双花或状态不一致），以及如何通过设计避免回滚带来的安全漏洞。

Gasp 是一个基于应用特定 Layer 2 (L2) 滚动架构的去中心化交易所，旨在作为所有加密资产的聚合层。它利用 EigenLayer 的再质押 ETH 来确保计算正确性和最终确认，采用乐观滚动技术实现无 Gas 的原生跨链交换，无需依赖传统桥接，从而保留 Token 原有的 L1 级别安全性。Gasp 结合应用链架构与逃生舱机制，保证资产可撤回；通过 Themis 架构最小化 MEV（最大可提取价值）风险。协议引入流动性证明机制，通过将质押与流动性提供相结合，释放质押流动性，提升资本效率和流动性深度。此外，Gasp 采用基于时间的奖励机制，通过渐近奖励曲线激励长期流动性承诺。本文分析了跨链通信的当前挑战，阐述了 Gasp 的架构创新和安全保障，并探讨了优化 DeFi 生态系统的新方法。

本文提出了一种名为 Alba 的可扩展区块链桥接方案，旨在解决现有跨链桥在高吞吐量、低延迟和安全性方面的权衡问题。研究背景在于当前区块链桥多采用中继或公证人机制，受限于单链性能瓶颈，难以支持大规模资产转移。Alba 引入了一种新的架构，通过利用轻量级的同步协议和高效的状态验证，实现了跨链消息的快速确认。核心方法包括基于聚合签名的批量证明和乐观验证机制，减少了链上验证开销。实验证明，Alba 在测试网络中实现了数倍于现有方案的吞吐量，同时保持了与底层链相同的安全假设。该工作主要贡献在于提出了一个无需信任且可水平扩展的桥设计，适用于多链生态。适合区块链安全工程师、跨链协议开发者阅读。

本文提出了 Crossroads，一个用于链抽象资产的智能合约层。在 Crossroads 中，来自几乎所有链的资产都在单个后端区块链上以 ERC-20 代币的形式表示。因此，任何资产都可以在单一统一平台上参与基于智能合约的交换、借贷或隐私应用。虽然 Crossroads 提供了跨链桥接功能，这是当前缓解区块链生态系统碎片化的一种常见部分方法，但这只是 Crossroads 通用链抽象模型中的一项服务。Crossroads 依赖于密钥加密：一个门限签名委员会持有加密密钥，控制着每个集成链上的资产，仅在后端区块链上的智能合约授权时才签署交易。资产移动具有费用效率，因为所有权变更记录在后端区块链上，用户可以为提款设置交易费用。Crossroads 使用可插拔的预言机（zkBridge、基于 TEE 的、混合的）实现了新区块链的无许可、模块化集成，并具有灵活的设计选项。存入 Crossroads 的资产受益于强大的、特定链的最终性保证，最大限度地降低了重组攻击的风险。然而，与现有桥接器不同，Crossroads 中的第三方智能合约可以在最终性完成之前提供快速的乐观资产访问。作者证明了 Crossroads 满足可靠性：给定一个诚实的签名委员会成员法定人数，任何用户都可以单方面生成一笔提款交易，将其净余额转移到集成链上的一个账户。作者在多个公共区块链（比特币、以太坊和 Solana）上实现了概念验证。他们还列举了 Crossroads 支持的一系列应用，包括通用钱包、跨链质押和借贷、隐私保护支付以及公共区块链资产的私有管理。

该论文研究了一种新型的最大可提取价值（MEV），称为投机性MEV，出现在Layer-2区块链中。与以太坊主网不同，许多Layer-2系统缺乏公共mempool，迫使提取策略变得概率化：搜索者发送多个相同的交易以期望率先捕获机会，这产生了大量交易垃圾，增加了费用并浪费区块空间。作者重点研究了投机性预言机可提取价值（OEV），这是一种通过投机性地回溯预言机价格更新来清算未足额抵押贷款的MEV形式。他们提出了一种在真实环境中检测投机性清算的方法，并在Arbitrum、Base和Optimism上应用。在2025年10月10日，他们在Aave上识别出64个投机性清算者（占所有检测到的清算者的57%）和831次成功的投机性清算（占三个链上所有成功清算的39%）。此外，论文还考察了跨区块链预言机价格更新延迟差异是否可以被利用进行跨链OEV。具体来说，他们探究了搜索者是否可以在一个链上观察预言机更新并在另一个链上抢先执行清算机会。他们系统分析了Arbitrum、Base、Ethereum和Optimism上的Chainlink去中心化预言机网络（DON）配置（偏差阈值、心跳间隔和提交的价格观察）。数据集包括63个Chainlink数据源、12,009次价格更新和超过100,000个与2,986次Aave清算相关的预言机观察。结果表明，独立的DON几乎同时消耗大量相同的链下价格数据，但以不同时间发布更新，从而产生统计上可预测的跨链利用窗口。他们证明Optimism上的Chainlink更新可以预测Arbitrum和Base上的后续更新，从而实现投机性的跨链OEV提取。该研究揭示了跨链MEV的新风险，对DeFi安全、预言机设计和跨链互操作性具有重要启示。

本文提出一种分布式广播加密方案，旨在解决私有区块链间互操作时的机密性保护问题。现有跨链方案（如中继或侧链）通常依赖链上公开验证，导致交易数据在跨链过程中暴露。作者设计了一种基于广播加密的分布式密钥管理机制：各参与联盟链生成共享的广播加密密钥，发送方使用接收方联盟的公钥加密数据，只有目标链上的授权节点能解密。方案无需信任单一第三方，且支持动态添加或撤销联盟成员。实验基于Hyperledger Fabric实现，在典型跨链场景下，加密开销（约5-10毫秒）和解密性能（约20-30毫秒）可接受，通信带宽增加约15%。主要贡献包括：形式化定义跨链机密互操作的安全模型；提出去中心化的广播加密协议；给出实际区块链环境下的性能评估。适合区块链架构师、隐私计算研究员及企业联盟链开发者阅读。

本文提出 GoAT-X 框架，旨在解决跨链桥合约安全审计中的语义复杂性问题。跨链桥作为多链生态的关键基础设施，因实现缺陷已造成超过28亿美元损失。现有防御手段如字节码级静态分析难以处理跨链交互的语义复杂度，而基于大语言模型（LLM）的方法虽能理解源代码，但在复杂多合约依赖上容易出现幻觉推理。GoAT-X 将审计过程建模为“审计思维图”（Graph of Auditing Thoughts），模仿人类专家分解、推理和验证安全逻辑的方式。通过将LLM推理锚定在静态提取的数据流上，并将抽象安全属性显式链接到具体代码实现，该框架将语义约束在良定义的结构和状态边界内。在此受限空间中，GoAT-X 将跨链逻辑中的缺失约束和对抗绕过路径作为首要漏洞目标，动态探索推理路径以识别可被利用的语义鸿沟。在涵盖所有已知跨链代币交易攻击的综合基准测试中，GoAT-X 在细粒度审计点上达到92%的召回率，对存在漏洞的项目覆盖率达95%，并在实际场景中识别出117个经确认的风险，且运营成本较低，为可扩展的、逻辑驱动的跨链安全审计建立了新标准。