用途：面向 Midnight 区块链的 Compact 智能合约开发，覆盖语法、账本状态、电路与见证、标准库、安全模式、编译工具与常见错误。
主要能力：解释 Compact 心智模型（电路是约束系统而非函数；export ledger 为链上明文；witness 为本地私有数据；disclose() 是编译期标注而非加密）；梳理合约结构（pragma、import、export ledger、witness、constructor、export circuit）；数据类型（Boolean、Field、Uint<n>、Uint<0..n>、Bytes<n>、Opaque、元组、Vector、struct、enum、类型别名与默认值）；账本修饰符与 ADT 选择（Cell、Counter、Set、Map、List、MerkleTree、HistoricMerkleTree、Kernel）；电路与见证写法；标准库哈希（transientHash、transientCommit、persistentHash、persistentCommit）、pad、Merkle 路径校验、Maybe/Option；安全模式（承诺、基于哈希的认证、Merkle 匿名成员证明、承诺/空值符）；完整示例（公告板、带所有权公告板、NFT）；编译命令与产物结构；常见错误清单。
使用方式：通过 compact compile contracts/your-contract.compact contracts/managed/your-contract 编译，生成 keys、zkir 与 TypeScript 绑定。
适用场景：需要编写或调试 Midnight 上的隐私保护智能合约时。
限制：官方安全文档标注为“coming soon”；预览环境 ProofStation 要求最小电路规模（k ≥ 6），过小会报错；witness 输出不可信，必须用 assert 校验；disclose() 不提供加密。部分细节资料未提供。