메뉴
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;