菜单
Use when implementing common Compact contract patterns such as voting systems, escrow, token transfers, access control, auctions, registries, or when looking for reusable contract templates and design patterns for Midnight blockchain development.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Use when encountering "potential witness-value disclosure" compiler errors, implementing commit-reveal patterns, working with persistentCommit/transientCommit vs persistentHash/transientHash, or designing privacy-preserving circuits with proper witness protection.
Use when asking about zero-knowledge proofs, ZK SNARKs, circuit compilation, witness data, prover/verifier roles, constraints, or how Midnight uses ZK for privacy.
Use when subscribing to real-time blockchain events, setting up WebSocket connections, monitoring contract state changes, building live dashboards, or implementing push notifications from Midnight.
Use when querying the Midnight indexer for blockchain data, fetching account balances, listing transactions, reading contract state, or building data-driven DApp backends.
Use when caching ZK proofs for performance, implementing proof cache invalidation, storing verification results, caching intermediate proof components, or building distributed proof caches with Redis.
Use when generating ZK proofs server-side, building proof-as-a-service backends, offloading proof computation from clients, creating proof generation queues, or implementing async proof generation.
| name | compact-core:contract-patterns |
| description | Use when implementing common Compact contract patterns such as voting systems, escrow, token transfers, access control, auctions, registries, or when looking for reusable contract templates and design patterns for Midnight blockchain development. |
Reusable Compact contract patterns and best practices for Midnight development
This skill provides a comprehensive catalog of Compact contract patterns for the Midnight blockchain. Patterns range from simple building blocks to comprehensive multi-contract systems.
Simple Patterns (~10 focused examples)
Deep-Dive Implementations (3 comprehensive systems)
| Pattern | File | Use Case |
|---|---|---|
| Counter | examples/simple/counter.compact | Basic state increments |
| Ownership | examples/simple/ownership.compact | Single-owner control |
| Time Lock | examples/simple/time-lock.compact | Delayed execution |
| Whitelist | examples/simple/whitelist.compact | Membership verification |
| Rate Limit | examples/simple/rate-limit.compact | Action throttling |
| Multi-Sig | examples/simple/multi-sig.compact | N-of-M approvals |
| Pausable | examples/simple/pausable.compact | Emergency stops |
| Upgradeable | examples/simple/upgradeable.compact | Logic migration |
| Fee Collector | examples/simple/fee-collector.compact | Payment handling |
| Random Selection | examples/simple/random-selection.compact | Commit-reveal randomness |
| System | Directory | Description |
|---|---|---|
| Private Voting | examples/deep-dives/private-voting/ | Complete anonymous voting with ZK proofs |
| Token Escrow | examples/deep-dives/token-escrow/ | Multi-party custody with conditions |
| Access Registry | examples/deep-dives/access-registry/ | Role-based access with Merkle proofs |
"Show me the counter pattern"
→ Read examples/simple/counter.compact
"How do I implement private voting?"
→ Read references/private-voting.md then explore examples/deep-dives/private-voting/
"I need time-locked multi-sig"
→ Combine time-lock.compact + multi-sig.compact patterns
All patterns use standard library imports:
import CompactStandardLibrary;
Some advanced patterns may require additional imports:
import CompactStandardLibrary.Merkle;
import CompactStandardLibrary.Crypto;