菜单
Use when writing Compact smart contracts and need reference for primitive types (Field, Boolean, Uint), composite types (struct, enum, Vector, Bytes), circuit/witness syntax, control flow (if/else, for loops, assert), or module system (import, include, export).
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
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.
基于 SOC 职业分类
| name | compact-core:language-reference |
| description | Use when writing Compact smart contracts and need reference for primitive types (Field, Boolean, Uint), composite types (struct, enum, Vector, Bytes), circuit/witness syntax, control flow (if/else, for loops, assert), or module system (import, include, export). |
Complete reference for the Compact smart contract language used on Midnight Network.
| Type | Description | Example |
|---|---|---|
Field | ZK-native field element (~254 bits) | const f: Field = 42; |
Boolean | True/false value | const b: Boolean = true; |
Uint<N> | Unsigned integer (N bits, N ≤ 248) | const n: Uint<64> = 100; |
| Type | Description | Example |
|---|---|---|
Bytes<N> | Fixed-size byte array | const h: Bytes<32> = ...; |
struct | Named record type | struct Point { x: Field, y: Field } |
enum | Tagged union | enum Maybe<T> { Some(T), None } |
Vector<T, N> | Fixed-size array | const v: Vector<Field, 3> = [1, 2, 3]; |
| Type | Description | Example |
|---|---|---|
Opaque<'string'> | UTF-8 string from TypeScript | witness get_name(): Opaque<'string'>; |
Opaque<'Uint8Array'> | Binary data from TypeScript | witness get_data(): Opaque<'Uint8Array'>; |
// Public circuit callable from TypeScript
export circuit transfer(to: Bytes<32>, amount: Uint<64>): [] {
// Circuit body
}
// Private helper circuit
circuit helper(x: Field): Field {
return x * x;
}
// Declaration (implemented in TypeScript)
witness get_private_key(): Bytes<32>;
// Usage in circuit
export circuit sign(message: Bytes<32>): Bytes<64> {
const key = get_private_key();
// Use key...
}
// Conditional
if (condition) {
// then branch
} else {
// else branch
}
// Bounded loop (bounds must be compile-time constant)
for i in 0..10 {
// loop body
}
// Assertion
assert condition, "Error message";
// Import specific items
import { hash } from "CompactStandardLibrary";
// Include entire file
include "utils.compact";
// Export for external use
export circuit public_fn(): Field { ... }
For detailed documentation on each topic: