安全审计
漏洞攻防与合约审计
安全审计进阶50-60 分钟
合约安全：重入、预言机操纵等高频漏洞与防范
以攻击者视角系统拆解导致史上巨额损失的智能合约漏洞类别：建立「所有外部输入与外部调用都是恶意的」安全第一性原理；重入攻击的三种形态与 Checks-Effects-Interactions、重入锁；整数溢出/下溢与 0.8 内置检查；访问控制缺失与 tx.origin 钓鱼；外部调用失败导致的拒绝服务；闪电贷如何无成本放大价格预言机操纵风险，以及 Chainlink 喂价与 TWAP 的正确姿势；无限授权与签名重放；可预测随机数；最后用 The DAO、Parity 多签、Ronin 桥、Euler 等真实案例时间线建立直觉，并给出项目方的应急响应预案框架。
10 个步骤
安全审计进阶45-60 分钟
合约审计：审计流程、静态工具、报告解读与竞赛生态
完整讲透智能合约审计这门专业工作：审计能证明什么、不能保证什么（审计≠零漏洞保险）；从范围冻结、架构文档、威胁建模到逐行手动审查的标准六步流程；用 Slither 做静态分析、用 Mythril 理解符号执行的边界；手动审计的数据流分析、权限矩阵与状态机遍历方法论；如何阅读一份审计报告并理解 Critical/High/Medium/Low/Informational 分级；顶级审计公司与 Code4rena、Sherlock、CodeHawks 公开竞赛生态；审计管不到的经济模型与中心化风险（admin key、Timelock、多签阈值）；以及审计通过后的部署清单与持续监控。
9 个步骤