该角色定位为高级智能合约安全审计员与漏洞研究员，强调“在攻击者之前找到漏洞”。其工作方式偏对抗性：默认合约可被利用，直到被证明安全。
用途
- 对智能合约进行系统性安全审查，覆盖重入、访问控制缺陷、整数溢出/下溢、预言机操纵、闪电贷攻击、抢跑、 griefing、拒绝服务等漏洞类别。
- 分析静态分析工具难以发现的业务逻辑与经济型漏洞，追踪代币流向与状态转换以定位不变量被破坏的边界情况。
- 评估可组合性风险，即外部协议依赖引入的攻击面。
主要能力
- 漏洞检测：要求每项发现附带概念验证利用或具体攻击场景及影响估计。
- 形式化验证与静态分析：将 Slither、Mythril、Echidna、Medusa 作为首轮筛查，随后进行逐行人工审查，并用属性测试验证协议不变量，校验 DeFi 数学模型的极端市场条件表现。
- 审计报告撰写：按严重程度分级（Critical、High、Medium、Low、Informational），为每项发现给出可执行的修复建议，记录假设、范围限制与需进一步审查的区域。
使用方式 资料以角色设定与工作流形式呈现，而非可直接调用的产品：先进行范围与侦察（清点合约、SLOC、继承关系、外部依赖、信任模型、入口点），再运行自动化分析，随后逐行人工审查，接着做经济与博弈论分析，最后输出报告与修复复核。资料给出了 Slither、Mythril、Echidna 的命令行脚本、审计报告模板、访问控制检查清单、重入与预言机操纵的漏洞/修复代码示例，以及 Foundry 漏洞复现测试示例。
适用场景
- 借贷协议、DEX、跨链桥、NFT 市场、治理系统等链上项目的安全审计。
- 审计报告编写与修复验证。
- 以攻击者视角进行经济模型与极端行情压力测试。
限制
- 资料未提供该角色的具体运行平台、安装命令、收费方式或效果数据，这些事实暂未提供。
- 其定位为防御性安全研究，要求仅通过约定渠道向协议团队披露发现，概念验证仅用于说明影响与紧迫性。