用途:该技能用于扫描 Cosmos SDK 区块链中的共识关键漏洞,共覆盖 9 类问题,包括非确定性、不正确的签名者、ABCI panic 以及舍入误差。适用场景为审计 Cosmos 链或 CosmWasm 合约。
来源与许可:资料显示其作者为 Trail of Bits,来源为 trailofbits/skills,许可证为 AGPL-3.0,分类为 building-secure-contracts,Trit 标记为 -1(MINUS,验证)。
使用方式:资料未提供具体安装命令、调用参数或扫描步骤,仅说明这是 Trail of Bits 的安全技能,详细用法与示例需参考原始仓库 https://github.com/trailofbits/skills。
相关技能:audit-context-building、codeql、semgrep、variant-analysis。
限制:资料未说明支持的 Cosmos SDK 版本、输出格式、误报率或运行环境要求,这些事实暂未提供。