去中心化金融借贷池深度剖析

### 去中心化金融借贷池深度剖析 #### 1. 借贷池基础属性 借贷池有几个关键的基础属性。首先，任何代币 τ 的汇率要么在用户有该代币贷款时严格增加，要么在没有时保持稳定。这能确保铸造代币 {τ} 的存量增值。 - **引理 1**：设 Γ = (r : τ, δ) | · · · ，且 Γ T−→Γ ′。那么： - 若 T = int 且存在某个 A 使得 δ(A) > 0，则 ERτ(Γ) < ERτ(Γ ′)； - 否则，ERτ(Γ) = ERτ(Γ ′)。 - **引理 2**：设 Γ T−→Γ ′。那么，对于所有 τ ∈T，splyτ(Γ) = splyτ(Γ ′)，即任何（非铸造）代币的供应量是恒定的。 用户的净资产可以通过短期或长期的交易序列增加。一般来说，单个用户若想增加净资产，除非能控制价格更新，否则没有必胜策略。不过在特定条件下，存在获胜策略。在简单的单人游戏中，用户可选择下一步行动来提升下一状态的净资产，而清算（liq）是唯一能让用户在单步中增加净资产的行动。 - **引理 3**：设 Γ A:ℓ(··· )−−−−→Γ ′。那么： - 若 ℓ = liq，则 WΓ(A) < WΓ ′(A)； - 否则，WΓ(A) = WΓ ′(A)。 在稍微扩展的游戏中，用户 A 猜测对手将触发 int 操作，在 int 操作前仍可执行 A : ℓ(· · · ) 操作。用户 A 的目标是选择行动 ℓ 使得 WΓ ′ 1(A) ≥WΓ1(A)，而存款（dep）、还款（rep）或清算（liq）行动可达成此目标。 - **引理 4**：设 Γ0 int−→Γ1 且 Γ0 A:ℓ(··· )−−−−→Γ ′ 0 int−→Γ ′ 1。那么： - 若 ℓ∈{liq, dep, rep}，则 WΓ ′ 1(A) ≥WΓ1(A)； - 否则，WΓ ′ 1(A) ≤WΓ1(A)。 #### 2. 借贷池安全、漏洞与攻击 ##### 2.1 抵押界限与风险 借贷池设计假定贷款由抵押品担保，若借款用户未能还款，清算抵押品可收回贷款。但抵押品清算存在风险： - **清算激励**：只有当清算人认为所获抵押品价值高于偿还贷款金额时，清算激励才有效。 - **价格波动**：代币价格大幅波动会降低抵押品相对价值，使部分贷款无法收回。 - **攻击者操纵**：能更新代币价格的攻击者可使用户抵押不足，进而在不偿还贷款的情况下夺取抵押品。 同时，借贷池在确定抵押水平时，铸造代币价值难以预测，因为其价值不由价格预言机决定。当借贷池资金不足时，用户可能认为铸造代币价值低于其基础代币，而借贷池设计未考虑此情况，存在定价错误风险。 为保障安全，引入了两种安全抵押概念： - **ε - 抵押安全**：当抵押不足用户的债务价值与总债务价值之比小于 ε 时，称该状态为 ε - 抵押安全。 \[ \frac{\sum_{C_{\Gamma}(A)<C_{min}} V_d^{\Gamma}(A)}{\sum_{A} V_d^{\Gamma}(A)} \leq \varepsilon \] - **强 ε - 抵押安全**：当不可收回债务价值与总债务价值之比低于 ε 时，称该状态为强 ε - 抵押安全。 \[ \frac{\sum_{A} V_{nrd}^{\Gamma}(A)}{\sum_{A} V_d^{\Gamma}(A)} \leq \varepsilon \] 强 ε - 抵押安全条件比 ε - 抵押安全更强，价格剧烈波动会对 ε - 抵押安全构成风险。攻击者可通过控制价格预言机使借贷池进入不安全状态，例如近期 Compound 借贷池因预言机价格馈送故障导致 1 亿美元抵押品被错误清算。 ##### 2.2 利用率界限与风险 代币 τ 的利用率是当前借给用户的 τ 代币单位占比。 \[ U_{\tau}(\Gamma) = \frac{\sum_{A} \delta(A)}{r + \sum_{A} \delta(A)} \quad \text{若 } \Gamma = (r : \tau, \delta) | \Gamma' \] 利用率在 0 到 1 之间，当利用率为 0 时，代币 τ 未充分利用；为 1 时，过度利用。未充分利用意味着部分代币存入但未借出，利息累积不会增加用户债务，汇率保持不变，贷款人无收益；过度利用则表示用户借款但借贷池无存款，用户无法借款或赎回。 未充分利用和过度利用都应避免，最优利用率需平衡利息最大化和用户借款或赎回代币的能力。部分利率模型通过利用率调整利率来激励借贷双方行动以达到平衡。 - **未充分利用攻击**：攻击者可通过偿还大量贷款暂时降低利用率，也可通过更新价格预言机降低借款人抵押率，激励还款和清算以降低特定代币利用率。 - **过度利用攻击**：攻击者可赎回所有 τ 代币，同时避免贷款偿还或清算