用途
Solidity Adversarial Scenario Analysis 是一项面向 Solidity 智能合约的对抗性场景分析与威胁建模技能。它主要用于从攻击者视角审视合约，适用于以下场景：
- Red-team 安全评审与渗透测试
- DeFi 协议的部署前威胁建模
- 分析持有大量 TVL（总锁仓价值）的合约
- 调查可疑行为或进行事件响应
- 在标准安全审计基础上，补充攻击者视角的分析
主要能力
该技能提供了一套对抗性思维框架，包含五个步骤：
- 识别资产：梳理可被窃取、锁定或操纵的有价值目标，核心问题是“什么可以被偷、被锁或被操纵”。
- 枚举入口点：列出所有 external/public 函数，关注哪些函数会改变状态或转移价值。
- 建模攻击者：界定攻击者的能力，例如其拥有哪些资源（闪电贷、MEV、代币）。
- 构造攻击序列：构建多步攻击路径，思考“怎样的调用序列能达成攻击目标”。
- 验证不变量：检查合约假设，思考“哪些数学或状态不变量可能被破坏”。
技能覆盖八类攻击场景，并给出严重程度、关键指标与示例攻击：
- 重入（Critical）：状态更新前的外部调用、缺少防护；示例为通过 fallback 重入抽干资金。
- 闪电贷（Critical）：依赖价格的逻辑、依赖现货价格；示例为借入 → 操纵 → 获利。
- 预言机操纵（High）：外部价格源、单一来源预言机；示例为抬高抵押品价值。
- MEV/抢跑（High）：DEX 交互、未受保护的兑换；示例为对兑换进行三明治攻击。
- 治理（High）：代币加权投票、时间锁；示例为闪电贷借入投票权。
- 访问控制（Critical）：初始化函数、代理模式、所有权；示例为未受保护的初始化函数被接管。
- 经济/逻辑（High）：奖励计算、份额数学、铸造；示例为奖励中的舍入漏洞。
- 跨合约（High）：代币回调、可组合性假设；示例为恶意 ERC777 回调。
此外，技能强调多角度覆盖：同一个函数很少只存在一种脆弱性，应从每个适用角度审视每个入口点，包括跨类别复查、组合攻击（将单独看影响较小的问题串成高影响路径）、状态与时序变化（改变区块时序、交易排序和中间状态），以及不同攻击者能力假设（巨鲸、闪电贷借款人、恶意代币 ERC777 回调、合谋验证者）。
针对每一类攻击，技能还提供了深入检查清单，例如重入部分会询问是否在更新状态前进行了外部调用、是否存在共享可变状态的跨函数交互、是否在所有含外部调用的函数上应用了 ReentrancyGuard；闪电贷部分会询问是否有计算依赖可在单笔交易内被操纵的现货价格；预言机操纵部分询问是否对关键价格数据使用单一预言机来源、同一区块内的大额交易能否影响价格、是否有备用预言机或价格偏差合理性检查；MEV/抢跑部分询问是否存在未受保护的兑换或流动性操作、是否依赖 block.number 或 block.timestamp 排序、攻击者能否对用户交易进行三明治获利；治理部分询问投票权能否通过闪电贷或闪电铸造获得、提案与执行之间是否有足够时间锁、恶意行为者能否绕过法定人数要求；访问控制部分询问初始化函数是否防止多次调用、所有权能否通过未初始化存储或逻辑缺陷被劫持、管理函数是否限定给可信角色；经济/逻辑部分询问奖励或份额计算是否存在舍入误差、攻击者能否通过逻辑缺口铸造代币或抬高余额、合约是否正确处理转账收费或 rebase 代币；跨合约部分询问合约是否与不受信任的代币（如 ERC777）交互、对外部合约行为的假设能否被违反、恶意回调能否破坏合约状态。
使用方式
若使用 solidity-agent-toolkit MCP 服务器，可借助以下能力：
- analyze_adversarial_scenarios：自动检测合约特征并匹配适用的攻击场景
- adversarial_analysis 提示：注入场景知识，引导对抗性分析
- adversarial://list：浏览所有攻击场景类别
- adversarial://category/{category}：深入特定攻击类别
- match_vulnerability_patterns：以基于正则的漏洞检测作为补充
- run_slither / run_aderyn：自动化静态分析，提供佐证
关于针对已识别威胁的防御性模式和审计方法论，参见 Code Review 技能（References 中亦指明：防御性模式、安全编码和审计方法论见 Code Review 技能）。
适用场景
适合需要攻击者视角的智能合约安全评估，例如 DeFi 协议上线前的威胁建模、持有较大 TVL 的合约审计，以及安全事件发生后的可疑行为调查与响应。
限制
资料未提供该技能的安装命令、具体平台依赖、收费信息或性能指标，暂未提供。