用途：为 Midnight Network 合约与隐私保护应用提供安全审计知识，适合在审查代码漏洞、隐私泄露、密码学实现与授权逻辑时使用。
主要能力：围绕隐私保护（敏感数据保持私密）、密码学完整性（验证承诺、空值/无效化因子、证明）、访问控制（校验授权模式）、输入校验（检查断言与边界）和状态安全（防操纵与重入）梳理审计重点。
严重级别划分：Critical（资金风险、隐私被破坏，如见证数据暴露、密钥泄露）；High（重大泄露或绕过，如可预测的 nullifier）；Medium（逻辑错误、检查不完整，如缺少校验）；Low（最佳实践违规，如错误提示不佳）；Info（改进建议）。
快速检查清单：Compact 合约方面，断言需带描述性消息，敏感数据使用 witness 或 secret，账本中不得出现明文秘密，承诺使用 salt（hash2），nullifier 包含 secret 上下文，算术运算前做范围检查，按需设置访问控制。TypeScript dApp 方面，检查钱包可用性、交易正确确认、不记录或暴露秘密、私有状态加密、设置错误边界、强制 HTTPS。
参考资料：references/vulnerabilities.md 列出常见漏洞模式；assets/audit-report.md 为审计报告模板。
限制：资料未提供具体安装命令、收费信息、支持平台及更多使用步骤。