Foundry 的 Invariant Testing 是怎么工作的？给 Prop AMM 设计几个 invariant

板块

Solidity & EVM 基础（筛选关）— 本 JD 重点

答题思路

Invariant testing = fuzz + 状态机：Handler 随机调用协议函数，每步断言全局性质始终成立。

Foundry 工作方式

1. 部署被测合约 + Handler（封装合法/边界操作）
2. targetContract(handler) 限定 fuzz 入口
3. 运行 N 次随机序列，每次序列后检查 invariant_* 函数
4. 失败时 Foundry 会 shrinking 找最小复现路径

Prop AMM 可设计的 Invariant 示例

▾代码块
Solidity自动换行复制
1
2
3
4
5
6
7
8
9
10
11
// 1. 偿付能力
invariant_vaultSolvency() // 总资产 >= 所有份额可赎回价值之和

// 2. 曲线/定价不被掏空
invariant_noArbDrain() // swap 后 k 或曲线不变量不被套利至协议亏损

// 3. 资金守恒
invariant_feeConservation() // 协议费累计 + LP 净值 == 总流入（±舍入）

// 4. 报价合法
invariant_priceSanity() // 价格 > 0，无溢出，tick/sqrtPrice 在允许范围

加分点

• Handler 要覆盖 deposit / withdraw / swap / updateOracle / pause
• 用 ghost variable 追踪累计流入流出
• 结合 assume 过滤不可达状态