用途：为 Web3 漏洞赏金与智能合约安全审计提供方法论与外部研究综合，汇总 Trail of Bits、SlowMist、ConsenSys、Immunefi、Cyfrin、Lido、Nethermind 等公开资料。
主要能力：工具链方面覆盖 Slither 静态分析、Echidna 属性模糊测试、Medusa 覆盖率引导模糊测试、Manticore/Halmos 符号执行，并给出一致性检查命令，如 pip3 install slither-analyzer、slither . --print human-summary、echidna contracts/VaultInvariants.sol --contract VaultInvariants --test-mode assertion、go install github.com/crytic/medusa@latest 等。审计流程方面整理 Trail of Bits 的威胁建模、静态分析、先写不变量后跑模糊测试、符号执行确认路径可达、人工审查业务逻辑与经济不变量、差分测试等步骤；SlowMist 提供 8 步审计方法论与安全检查清单；ConsenSys 提供 CEI 模式、重入、tx.origin 等经典攻击模式。漏洞类型涵盖跨函数/跨合约/只读重入、舍入方向、弱 Fiat-Shamir、访问控制缺口、不安全升级、签名重放，以及 DeFi 流动性数学、预言机操纵、L2 桥信任等。还包含“Risk Accepted”猎取思路、grep 检索要点与分阶段学习路线。
适用场景：智能合约安全审计入门与进阶、漏洞赏金目标研究、模糊测试与符号执行配置、审计报告阅读与真实攻击复盘。
限制：页面内容为方法论与资料索引，未提供具体收费、平台政策或实体产品价格信息；部分内容未完整呈现，实际使用需结合对应工具官方文档与目标代码。