用途：在 Cairo 合约编译通过、测试通过后做一次安全复查，检查常见 Cairo/Starknet 漏洞、加固生产合约、实现访问控制与升级安全、输入校验，编写会话密钥或委托执行合约，审查 L1/L2 桥接处理逻辑。不适用于写合约、测试或 gas 优化。
主要能力：汇总 50+ 公开审计报告（Nethermind、ConsenSys Diligence、Code4rena、ChainSecurity、Cairo Security Clan、Zellic 等）及 Cairo Book 安全章节、Crytic、Oxor.io、FuzzingLabs 资料。重点模式包括：felt252 除法是模逆而非整除，不可用于金融计算；Map.read() 缺键返回零而不 panic；felt252 算术静默回绕；除法取整方向应不利于用户；空市场初始化加闪电贷可被操纵；OZ 内嵌实现向会话密钥泄露特权选择器；SNIP-9 execute_from_outside 需校验 nonce、调用者与时间边界；Starknet v0.14.0 后出块约 6 秒、仅 STRK 付费；自定义账户 validate 必须轻量；检查-生效-交互模式不可省略。
使用方式：作为审查清单逐项核对，含部署前检查表（测试与模糊测试、访问控制、零地址检查、初始化一次性、事件、存储冲突、升级保护、重入防护、L1 handler 校验、精度与取整、nonce、SNIP-12 签名、ERC-4626 首存保护等）。版本针对 Cairo 2.12.4、Scarb 2.15.1、Starknet Foundry 0.56.0、OZ Cairo 3.0.0、Starknet v0.14.1。
限制：仅为审查辅助，不替代专业审计；资料未提供收费、价格与平台信息。