ASAS-BridgeAMM：基于信任最小化跨链桥 AMM 的故障可控设计
分布式、并行与集群计算
2026-01-21 v1 密码学与安全
摘要
跨链桥是去中心化金融(DeFi)中系统性风险的最大来源，自 2021 年以来已造成超过 28 亿美元的损失。现有桥接安全模型的根本漏洞在于其二元本质：桥接要么完全运行，要么发生灾难性崩溃，无法实现部分故障的可控 containment。我们提出 ASAS-BridgeAMM，一种桥接耦合的自动做市商(AMM)，引入“可控降级”(Contained Degradation)：一种形式化规定的运行状态，在此状态下，系统会对对抗性信号作出响应性功能优雅降级。通过将跨链消息延迟视为可量化的执行风险，该协议动态调整抵押品 haircut、滑点上限和提款限制。在 18 个月的历史回放实验中，以太坊及两个辅助链上测试，ASAS-BridgeAMM 将最坏情况桥接导致的破产风险降低 73%，同时在压力测试期间保持 104.5% 的交易量。我们在严格的对抗性模拟中，包括延迟最终性、oracle 操纵和流动性 griefing，协议以概率 >0.9999 维持偿付能力，并将每个周期的坏账控制在总抵押品的 <0.2%。我们提供了以 Solidity 编写的参考实现，并在拜占庭式 relayer 模型下，对安全性(有界债务)、活性(结算完成)和抗操纵性进行形式化证明。
引用
@article{arxiv.2601.12434,
title = {ASAS-BridgeAMM: Trust-Minimized Cross-Chain Bridge AMM with Failure Containment},
author = {Shengwei You and Aditya Joshi and Andrey Kuehlkamp and Jarek Nabrzyski},
journal= {arXiv preprint arXiv:2601.12434},
year = {2026}
}