学习跨链兑换
三种内容：教程、评测、研究。按你想了解的深度，挑一种开始。
- 20篇文章
- 3类内容
- 1位作者
三类内容，挑一类开始
精选
跨链兑换到底安全吗？
在路由非托管、每条链用的合约都审计过、路径上的桥有良好运营记录这三件事都成立时，跨链兑换合理安全。历史上最大的单点风险不是兑换层本身——是持有资金池的桥合约，自 2021 年以来累计被盗超过 25 亿美元。聚合器通过把成交量分散到多桥 + 选审计过的场所来降低（但不消除）这种风险；你自己再做地址核对、新路径先小额测试，能把风险进一步压低。
跨链兑换 vs 跨链桥：什么场景用哪个
跨链桥让你在另一条链上拿到同一种代币（ETH → Arbitrum 上的 ETH）。跨链兑换同时改变代币和链（ETH → Base 上的 USDC）。如果只是换链，直接用桥更简单；如果还要换币，跨链兑换省掉一笔单独的 DEX 交易和一轮 Gas。聚合后的路由通常比单一桥更划算。
什么是跨链兑换？
跨链兑换 = 在一笔流程里，把链 X 上的代币 A 换成链 Y 上的代币 B。底层路由引擎把跨链桥转移与一次或多次 DEX 交易组合在一起，在多个桥与做市商之间挑最便宜的路径，把目标代币结算到你的地址——通常几分钟，全程资金在你手里。
最新
多池联合夹击与清算线操纵：DeFi 路由如何识别短时错误价格
多池联合夹击的风险不只来自单个 AMM 滑点，而是价格冲击、TWAP 滞后、预言机缓存和清算线在同一执行窗口内叠加。本文从防御角度建立多池价格敏感度、滑点 VaR 和跨协议熔断模型。
ZK-Rollup 电路欠约束：为什么一个缺失约束能伪造合法状态证明
ZK 证明通过不等于状态转换正确。本文从 R1CS、Plonkish、Circom、Halo2、SMT 和静态分析出发，解析欠约束电路如何让非法 Rollup 状态获得合法证明，以及跨链路由如何评估 proof 语义风险。
跨链桥签名伪造与 Merkle 证明欺诈：验证语义如何失效
跨链桥事故常不是密码学原语被攻破，而是验证合约把错误上下文的签名、Merkle 证明或验证者集合当成有效证明。本文从空证明、签名编码、阈值去重和验证者更新时序拆解桥验证风险。
Solana 写锁耗尽：账户冲突如何让 Sealevel 并行执行退化
Solana 的高并发依赖交易预先声明读写账户，但热点写锁会让 Sealevel 退化为局部串行队列。本文从冲突图、本地费用市场、静态截断和早期拒绝角度分析写锁耗尽防御。
Yul 与 EIP-1153 瞬态存储下的隐蔽重入：从 Slot Overlap 到状态毒化
EIP-1153 的 TSTORE/TLOAD 让重入锁更便宜，也让汇编层状态污染更隐蔽。本文从 Yul slot overlapping、瞬态状态毒化、CFG 重入窗口和静态分析规则，拆解 EVM 合约的新型防御边界。
以太坊 PoS 双签取证：Validator Slashing 与短程重组的数学边界
以太坊 PoS 双签不是简单签两次，而是可由共识层验证的冲突证据。本文从 BLS 签名、Proposer/Attester Slashing、LMD-GHOST 分叉选择和平衡攻击边界，分析短程重组如何影响跨链路由与最终性判断。
去中心化 ZK 证明者网络：证明市场如何影响 Rollup 结算与跨链报价
去中心化 ZK 证明者网络不是简单外包算力。本文从证明任务切分、Proof-of-Useful-Work、防抢跑、树状聚合和硬件中心化角度，分析它如何改变 Rollup 结算延迟与跨链路由风险。
嵌套 ZK 证明下的 L3 结算：跨 L2/L3 互操作为何仍有退款风险
L3 的快轨体验依赖预确认和 Solver 信用，嵌套 ZK 证明能压缩验证路径，但不能消除数据可用性、证明延迟和跨层退款归因问题。
Validium DAC 风险：数据可用性委员会如何决定资产可退出性
Validium 的低成本来自把交易数据交给 DAC，而不是发布到链上。本文分析 DAC 阈值签名、数据 withholding、状态 witness 恢复和 AllSwap 跨链退款风险。
模块化流动性层：虚拟余额如何压缩跨 Rollup 结算风险
模块化流动性层不是让资产更频繁跨链，而是用虚拟余额和净额清算减少真实再平衡。本文分析其状态机、不变量、双花防御、风险隔离和 AllSwap 路由定价。
ZK-Rollup 逃生舱：强制提现如何保护跨链交换的最后退出权
ZK-Rollup 逃生舱不是更快提现按钮，而是排序器审查或离线时的最后资产安全边界。本文分析强制提现、状态证明、Nullifier、防旧证明重放和 AllSwap 路由风险模型。
共享测序器下的跨 Rollup 原子性：状态锁与 2PC 如何避免状态割裂
共享测序器能统一多条 Rollup 的输入顺序，但不能自动保证跨 Rollup 执行原子性。本文分析状态锁、2PC、执行收据、超时回滚和 AllSwap 路由评分的工程边界。
作者
AllSwap 团队成员撰写。每篇文章都标明作者、写作时间、参考资料。