该论文提出了一种更高效的阈值签名安全多方计算协议，特别是针对 ECDSA 等非线性签名方案。现有阈值签名方案在分布式签名过程中常采用两两乘性到加性份额转换，导致每个签名者的通信复杂度为 O(n)、验证复杂度为 O(n^2)，且大多数方案缺乏鲁棒性，一旦发生故障必须完全重启。Wong 等人（NDSS '23）的鲁棒方案仍需回滚到前一回合并额外执行为所有签名者生成承诺的回合。本文重新审视基于阈值线性同态加密的安全多方计算，利用其公开可验证性和故障恢复能力，对 Castagnos-Laguillaumie 线性同态加密（CT-RSA '15）做出两项技术贡献：一是在不诚实多数环境下实现了 2 轮鲁棒分布式密钥生成协议；二是设计了允许在未知阶群中提取证据的配套零知识证明。通过引入双码验证技术，将 DKG 的私有验证成本从 O(tn^2) 降低到 O(n^2) 公开验证。基于新 DKG，论文提出了首个每方通信复杂度 O(1)、验证复杂度 O(n)、轮次复杂度与非鲁棒方案（CCS '20）持平的阈值 ECDSA 协议。实验表明，与最先进的鲁棒阈值 ECDSA（NDSS '23）相比，签名阶段的计算和通信成本减半。此外，论文还展示了该技术对 BBS+ 签名阈值扩展的改进。主要贡献在于大幅提升了鲁棒阈值签名的效率，使得在分布式应用中部署更实用。

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

该论文研究了阈值BLS签名方案的自适应安全性。阈值签名是分布式协议中的关键工具，其中具有唯一签名的方案特别重要，因为它们可以在没有任何时间假设的情况下高效实现分布式抛硬币，从而成为异步共识协议的理想构建块。然而，Boldyreva（PKC '03）提出的阈值BLS签名虽然具有唯一且紧凑的优点，但缺乏针对自适应对手的安全证明。因此，当前的共识协议要么依赖效率较低的替代方案，要么不具备自适应安全性。本文通过以下结果重新审视了阈值BLS签名的安全性：假设t个自适应腐败，我们给出了一个模块化的安全证明，采用两步方法：(1) 引入了分布式密钥生成（DKG）协议的新安全概念，并证明多个先前只有静态安全证明的协议满足该概念；(2) 假设任何具有该属性的DKG协议，我们证明了阈值BLS方案的不可伪造性。我们的归约是紧的，可用于支持实际参数选择。此外，为了证明使用代数群模型（AGM）和一次性离散对数（OMDL）困难性等强假设的合理性，我们证明了一个不可能性结果：即使在AGM中，也需要强交互假设才能证明该方案的安全性。这项工作为阈值BLS签名的自适应安全性提供了理论基础，对分布式系统和密码学社区具有重要参考价值。