ch07-03 FlashLoan 结构
先看交易边界
读这一节时,把“FlashLoan 结构”放进一个 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、事件和表查询示例。
在一笔交易里走完
vault.move 定义:
public struct FlashLoan {
pool_id: ID,
borrow_quantity: u64,
type_name: TypeName,
}
pool_id 绑定借出的池子;borrow_quantity 绑定必须归还的精确数量;type_name 绑定借出的资产类型。归还时三项都要匹配,否则 abort。
Move 技巧:
FlashLoan是 hot potato 的典型用法。它没有drop,也不会作为长期债务对象保存;调用者必须在同一笔交易里把它交给 return 函数消费掉,否则交易无法结束。
注意 FlashLoan 事件只有借出事件 FlashLoanBorrowed,没有单独的 return 事件。成功归还体现在同一交易没有 abort,vault 余额通过 coin join 回来。
安全边界:本章的闪电贷只指 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 债务状态。
动手检查
- FlashLoan 结构 的
pool.move入口是哪一个,底层vault.move校验哪几个字段? - 如果 PTB abort,是 pool id、资产方向、归还数量、hot potato 未消费,还是中间组合步骤失败?
- 这段逻辑是否仍明确区别 DeepBookV3 闪电贷和
deepbook_margin普通借贷?