01
审计入门
什么是DEX安全审计·为什么需要审计·行业标准与规范
基础概念
02
审计环境搭建
Solidity编译器·Foundry框架·Slither·Echidna
工具环境
03
AMM机制审计
恒定乘积公式·滑点计算·无常损失·流动性池安全
AMM核心
04
权限控制审计
Ownable模式·角色权限·时间锁·多签钱包
权限安全
05
重入攻击审计
单函数重入·跨函数重入·跨合约重入·重入锁防护
重入漏洞
06
闪电贷攻击审计
闪电贷原理·价格操纵·套利攻击·安全防护
闪电贷DeFi
07
预言机安全审计
链上/链下预言机·TWAP·价格操纵防御
预言机数据源
08
代币合约审计
ERC20/ERC721·代币钩子·通缩代币风险
代币标准
09
治理机制审计
投票权重·提案执行·治理攻击·闪电贷治理
治理DAO
10
费用机制审计
交易费用·提现费用·费用分配·提取漏洞
费用经济
11
流动性池审计
添加/移除流动性·池比例操纵·狙击攻击
流动性池
12
路由合约审计
Swap路由·多跳交易·路径优化·中间件风险
路由AMM
13
收益农场审计
质押机制·奖励分配·复利计算·Rug Pull
农场收益
14
跨链桥审计
跨链消息·验证器安全·中继器·资金锁定
跨链桥
15
Gas优化审计
存储优化·循环优化·事件使用·Gas代币风险
Gas优化
16
数学运算审计
整数溢出·精度损失·除法截断·四舍五入
数学漏洞
17
事件日志审计
事件定义·索引·事件伪造·链下监控
事件日志
18
升级模式审计
代理模式·UUPS·存储冲突·初始化函数
升级代理
19
前端安全审计
钱包连接·交易签名·RPC劫持·钓鱼攻击
前端安全
20
经济模型审计
代币经济·激励相容·博弈论·攻击向量
经济模型
21
合规性审计
KYC/AML·监管要求·法律风险·地域限制
合规法律
22
压力测试审计
高并发交易·Gas战争·MEV攻击·网络拥堵
压力MEV
23
第三方依赖审计
OpenZeppelin·Chainlink·UniswapV3·Compound
依赖库
24
审计报告撰写
漏洞分类·严重程度·修复建议·报告模板
报告文档
25
代码审计方法论
手动审计·自动审计·形式化验证·差异分析
方法论流程
26
DeFi组合风险
乐高积木效应·协议依赖·清算风险·系统性风险
组合风险
27
MEV攻击审计
三明治攻击·抢先交易·尾随交易·MEV防护
MEV抢跑
28
时间锁审计
延迟执行·取消机制·时间锁旁路·治理攻击
时间锁延迟
29
黑名单机制审计
黑名单管理·白名单绕过·中心化风险·审查抵抗
黑名单权限
30
审计实战案例
UniswapV3·Curve·Balancer·PancakeSwap
实战案例