三个关键认知
- DeFi 的可组合性既是超能力也是系统性风险源。闪电贷使零本金融资成为可能,Uniswap 的 AMM 用数学公式替代订单簿,Yearn 自动组合策略——但 Cream Finance 的崩溃证明,协议 A 的信任缺陷会通过调用链级联到协议 B、C、D。
- 稳定币的"稳定"是经济博弈的结果,不是魔术。DAI 的 150% 抵押是"保险费",UST 的死亡螺旋是无抵押模型的尾部风险,FRAX 试图在二者间走钢丝。在"去中心化-资本效率-稳定性"三难中,没有完美解。
- 预言机是 DeFi 信任模型的最薄弱环节。任何协议的安全性上限,等于其预言机的安全性。Chainlink DON 通过去中心化聚合+经济抵押+切除离群值来提升安全基线,但闪电贷价格操纵的攻击路径仍在演化。
核心技术对比表
| 组件 | 关键机制 | 数学/协议 | 风险点 |
|---|
| 闪电贷 | 零抵押、原子回滚 | 同一交易内借还 | 无抵押+价格操纵级联 |
| AMM (CPMM) | x⋅y=k | 恒定乘积曲线 | 滑点、无常损失、MEV |
| Curve | 混合曲线 | A(x+y)+xy≈D (低滑点区) | 参数 A 的治理风险 |
| DAI | 超额抵押+清算 | CR > 150%, 3% 折扣清算 | 黑天鹅清算级联 |
| UST | 算法铸币回收 | \text{burn } 1 \text{ UST} \rightarrow \1 \text{ LUNA}$ | 死亡螺旋、无抵押 |
| FRAX | 部分抵押 | 动态 CR(如 85% USDC + 15% FXS) | 抵押率治理参数 |
| NFT (ERC-721) | 唯一性映射 | ownerOf(tokenId) -> address | URI 失效、链下媒体丢失 |
| ERC-1155 | 半同质化批量 | balance[addr][id] = amount | 合约标准兼容性 |
| DID | 分层:标识/文档/凭证 | W3C 标准、VC 签名 | 私钥恢复、身份碎片化 |
| 二次方投票 | 成本 = n2 | 削弱集中资本优势 | 女巫攻击 |
| DAO 安全阀 | 时间锁 + 多签 | 延迟执行 + 紧急取消 | 治理接管 |
| IPFS | 内容寻址、Merkle DAG | CID=hash(content) | 不保证持久性 |
| Filecoin | 存储证明 (PoRep + PoSt) | SNARK 证明时空存在 | 矿工质押削减 |
| Arweave | 访问证明 + 捐赠基金 | 永久一次性付费 | 存储成本假设 |
| Chainlink | DON 聚合 + 质押削减 | 中位数 + 离群值剔除 | 数据源操纵 |
核心公式与代码索引
| 公式/原语 | 文件 | 说明 |
|---|
| x⋅y=k(含手续费推导) | 9.2 | Uniswap CPMM 核心公式 |
| 滑点 = Δx/(x+Δx) | 9.2 | 交易滑点公式 |
| 无常损失 IL=2r/(1+r)−1 | 9.2 | LP 机会成本损失 |
| DAI 清算 CR > 150% | 9.3 | MakerDAO 抵押率门槛 |
| UST 铸币回收 1 \text{ UST} = \1 \text{ LUNA}$ | 9.3 | 算法稳定币锚定机制 |
| 死亡螺旋条件:MCLUNA<USDTsupply | 9.3 | 无法完全赎回 |
| 二次方投票成本 = n2⋅base | 9.6 | 削弱巨鲸优势 |
| TWAP = ∑Pt⋅Vt/∑Vt | 9.8 | 时间加权价格 |
| IPFS CID = base58(sha256(content)) | 9.7 | 内容寻址 |
核心 Mermaid 图索引
- DeFi 可组合性"货币乐高"概念图(9.1)
- 闪电贷+套利+MEV 级联图(9.1)
- 恒定乘积曲线 vs 恒定和直线图(9.2)
- AMM 交易序列图(9.2)
- UST 死亡螺旋正反馈图(9.3)
- DAI 清算触发流程图(9.3)
- ERC-721 铸造-授权-转移序列图(9.4)
- NFT 标准演进图(9.4)
- DID 三层架构解析图(9.5)
- VC 验证流程图(9.5)
- DAO 治理+时间锁+多签流程图(9.6)
- Moloch"愤怒退出"安全机制图(9.6)
- IPFS Merkle DAG 结构图(9.7)
- 三种存储方案对比模拟图(9.7)
- Chainlink DON 聚合流程图(9.8)
- 预言机价格操纵防御流程图(9.8)
第9章算法与数据结构
| 结构/算法 | 用途 | 复杂度 | 文件 |
|---|
| 恒定乘积曲线 | 自动做市定价 | O(1) 交易 | 9.2 |
| 中位数聚合 | 预言机离群值剔除 | O(NlogN) | 9.8 |
| Merkle DAG | IPFS 内容寻址结构 | O(logN) 验证 | 9.7 |
| SNARK 证明 | Filecoin PoRep/PoSt | 验证 O(1) | 9.7 |
| VRF | 可验证随机数 | O(1) 验证 | 9.8 |
下一章衔接桥
第9章全景审视了 DeFi、NFT、DID、DAO 和预言机的生态。第10章将落回智能合约安全——从"理解生态"转向"安全构建"。我们将系统分析重入攻击、预言机操纵、权限控制失效、整数溢出等真实漏洞,以及 OpenZeppelin 标准库的安全模式。第7章理解了 EVM 的"机制",第9章理解了生态的"图景",第10章将教会我们如何在这个图景中写出不出错的代码。
本章总结完毕。前往 → 第10章 智能合约安全审计
评论
0评论加载中…