ch07-07 return_flashloan_quote 校验
先看交易边界
读这一节时,把“return_flashloan_quote 校验”放进一个 PTB 里推演。重点不是能不能借出资产,而是 hot potato 如何强迫调用方在同一交易中归还。
源码入口
- 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:底层
FlashLoanhot 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、事件和表查询示例。
在一笔交易里走完
return_flashloan_quote 与 base 对称,只是校验的 type name 是 QuoteAsset,归还到 quote_balance。常见失败是把借出的 quote 在其它模块换成 base 后直接尝试归还 base,或者从另一个 pool 调用 return。两者分别触发类型错误或池子错误。
PTB 中建议把借出 coin、业务操作、归还 coin 和利润 coin 明确命名,避免把归还本金和利润对象混在一起。
安全边界:本章的闪电贷只指 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 债务状态。
动手检查
- return_flashloan_quote 校验 的
pool.move入口是哪一个,底层vault.move校验哪几个字段? - 如果 PTB abort,是 pool id、资产方向、归还数量、hot potato 未消费,还是中间组合步骤失败?
- 这段逻辑是否仍明确区别 DeepBookV3 闪电贷和
deepbook_margin普通借贷?