ch07-14 失败闪电贷练习

返回本章

先看交易边界

这里先把问题放进同一笔交易里。“失败闪电贷练习”成立的前提是借出、使用、归还都在同一笔交易里完成；任何跨交易债务想象都应该立刻排除。

源码入口

• packages/deepbook/sources/pool.move：DeepBookV3 闪电贷唯一 Spot pool 入口，包含 borrow_flashloan_base、borrow_flashloan_quote、return_flashloan_base、return_flashloan_quote。
• packages/deepbook/sources/vault/vault.move：底层 FlashLoan hot potato、FlashLoanBorrowed 事件、pool/asset/amount 校验和 Vault 余额 split/join。
• book/ch07/code/s01-flashloan-move-wrapper、s02-flashloan-ptb、s03-flashloan-event-query、s04-flashloan-indexer-row：本节对应的 wrapper、PTB、事件和表查询示例。

在一笔交易里走完

设计四个失败用例：

1. 借 0：触发 EInvalidLoanQuantity = 3。
2. 借超过 vault 余额：base 触发 ENotEnoughBaseForLoan = 1，quote 触发 ENotEnoughQuoteForLoan = 2。
3. 从 pool A 借，在 pool B 还：触发 EIncorrectLoanPool = 4。
4. 借 base 还 quote，或还款数量不是精确本金：分别触发 EIncorrectTypeReturned = 5、EIncorrectQuantityReturned = 6。

安全边界：本章的闪电贷只指 DeepBookV3 Spot pool 闪电贷，入口在 pool.move，底层在 vault.move。不要把它和 packages/deepbook_margin 的普通借贷混淆；这里没有跨交易债务账户，也没有隔夜未还状态。

归还校验关注三件事：pool id 是否匹配、借出资产方向是否匹配、归还数量是否等于 FlashLoan 记录的 amount。任意不一致都会让交易整体 abort，之前组合步骤的状态也不会落链。

组合交易提醒

• 借 base 必须用 return_flashloan_base 归还 base；借 quote 必须用 return_flashloan_quote 归还 quote。
• FlashLoan 不能跨交易保存，PTB 中必须让 borrow 返回值最终被 return 消费。
• 事件查询只把 FlashLoanBorrowed 当作成功交易的借出记录，不能推导出 Margin 债务状态。

动手检查

• 失败闪电贷练习 的 pool.move 入口是哪一个，底层 vault.move 校验哪几个字段？
• 如果 PTB abort，是 pool id、资产方向、归还数量、hot potato 未消费，还是中间组合步骤失败？
• 这段逻辑是否仍明确区别 DeepBookV3 闪电贷和 deepbook_margin 普通借贷？