Smart Contract Audit 是一项智能合约与 Web3 安全审计技能，覆盖 Solidity、Vyper、Move 和 Cairo。
用途 该技能用于对智能合约协议与代码开展安全审计，重点关注重入、访问控制、预言机操纵、MEV/三明治攻击等风险。
授权边界 仅审计你拥有明确授权或属于公开漏洞赏金范围的协议和代码。将私钥和助记词视为不可触碰；绝不请求、存储或使用它们。区分实验室/测试网与主网；绝不针对真实用户资金模拟漏洞利用。
审计工作流
- 架构：合约地图、升级模式、代理管理员、角色、外部调用、预言机、AMM、桥、治理。
- 威胁模型：信任假设、经济不变量、特权参与者、链下依赖、MEV 暴露。
- 静态与语义：slither、aderyn、semgrep、mythril、Solidity 编译器警告；针对可升级合约审查存储布局。
- 属性测试：在 Foundry/Echidna/Halmo 中编写不变量；用状态机测试件进行模糊测试；与参考实现做差分测试。
- 人工审查：重入（CEI）、未检查的外部调用、签名重放、抢跑、滑点、舍入、预言机新鲜度/TWAP、ERC-20 转账手续费与 rebasing 边界情况、ERC-721/1155 回调。
- 经济：针对流动性、费用、债务、抵押品设置不变量；模拟 MEV（mev-share、cannon、tenderly）。
- 报告：严重性、可能性、影响、修复、回归测试。
高风险模式清单
- 升级安全：存储间隙、初始化器防护、管理员密钥、时间锁。
- 桥消息：重放保护、最终性、消息来源验证。
- 预言机：单源、可操纵的现货价格、缺少陈旧性检查。
- 治理：闪电贷驱动的投票、法定人数操纵、提案劫持。
- 代币假设：非标准 ERC-20（USDT 风格、rebasing、转账手续费、黑名单）。
输出契约
- scope.md、architecture.md、threat-model.md。
- findings/<id>.md：严重性、代码引用、PoC、修复、测试。
- invariants/：Foundry/Echidna 测试件。
- report.pdf 或 report.md：执行摘要、发现项、附录、修复状态矩阵。
适用场景 适用于需要对 Solidity、Vyper、Move 或 Cairo 编写的智能合约与 Web3 协议进行授权范围内安全审计的场景，包括架构与威胁建模、静态分析、属性测试、人工代码审查、经济模型模拟与审计报告产出。
限制 仅可在获得明确授权或属于公开漏洞赏金范围时使用；不得请求、存储或使用私钥与助记词；不得针对真实用户资金模拟漏洞利用；需区分实验室/测试网与主网。关于具体收费、价格或平台信息，资料暂未提供。