用途:指导安全工程师与审计人员对非 EVM 链合约做安全审查,并在正式审计前判断代码库是否具备审计条件。覆盖 Solana(Anchor/原生)、Algorand(AVM/PyTeal)、Cairo(Starknet)、Cosmos(CosmWasm)、Substrate(ink!/FRAME pallet)与 TON(FunC/Tact)。
主要能力:各链特定漏洞模式与严重级别清单;按链调用静态分析工具;每平台通用漏洞检查表;审计前代码成熟度评估;生成带位置、严重级别与整改建议的发现报告。典型漏洞包括 Solana 缺失签名者授权与所有权校验、Cairo 的 felt252 溢出与重入、CosmWasm 重入与 Reply 注入、Substrate 缺 origin 校验与 weight 低估、Algorand 组交易校验缺失、TON 发送者授权与不可弹回消息导致资金损失。
使用方式:设置 SECSKILL_CONTRACT_DIR(合约源码根路径,必填)与 SECSKILL_CHAIN(必填,取值 solana|algorand|cairo|cosmos|substrate|ton),可选 SECSKILL_PROTOCOL_NAME 与 SECSKILL_OUTPUT_DIR(默认 ./output)。流程为:识别链与平台、运行对应静态分析并保存日志、对照各平台漏洞清单核查、填写审计前成熟度清单(必需项为否则阻断审计)、输出发现报告。相关命令按需安装,例如 cargo install --git https://github.com/coral-xyz/anchor anchor-cli --locked、cargo install cairo-lint、cargo install cosmwasm-check、cargo install cargo-contract、pip install pyteal tealer、npm install -g @tact-lang/compiler。
适用场景:非 EVM 链审计与复核、多链协议审计就绪评估、非 EVM 链漏洞赏金分诊、新链上手安全检查、跨链桥漏洞类别映射。
限制:资料未提供具体收费标准、支持版本范围与效果承诺;部分工具为专有或需另行安装(如 Soteria);仅覆盖非 EVM 链,EVM 需配合 Solidity 专用技能;实际结论依赖工具输出与本清单的人工核查。