メニュー
Use when reviewing test coverage for Compact contracts, identifying missing edge cases, evaluating testing strategies, or assessing test quality and completeness.
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-reviewer:testing-review |
| description | Use when reviewing test coverage for Compact contracts, identifying missing edge cases, evaluating testing strategies, or assessing test quality and completeness. |
Evaluate test coverage, quality, and testing strategy for Compact contracts.
This skill activates for queries about:
Trigger words: test, coverage, edge case, testing strategy, unit test, integration test
| Category | Items to Test |
|---|---|
| Happy path | Normal operations succeed |
| Authorization | Only authorized callers succeed |
| Validation | Invalid inputs are rejected |
| Boundaries | Edge cases at limits |
| State | State changes correctly |
| Errors | Proper failures on errors |
| Priority | Coverage Target |
|---|---|
| Critical (security) | 100% |
| High (core logic) | 90%+ |
| Medium (features) | 80%+ |
| Low (utilities) | 70%+ |
For each exported circuit:
Evaluate test characteristics:
Check for coverage of:
