Compact (being renamed to Minokawa) is Midnight's domain-specific language for privacy-preserving smart contracts. Contracts compile to ZK-SNARKs, enabling selective disclosure of data.
Note: As of compiler v0.26.0, the language is being renamed from "Compact" to "Minokawa" under the Linux Foundation Decentralized Trust. The toolchain commands still use compact.
| Private | const x = input; | Only prover | | Disclosed | disclose(value) | Allowed to become public | | Proven | disclose(a >= b) | Public boolean only | | Witness | witness f(...): T; | Private, DApp-provided |
Write privacy-preserving smart contracts in Compact (Minokawa) for Midnight Network. Use when creating contracts, defining types, using standard library functions, or implementing ZK patterns. Triggers on Compact language, circuits, ledger state, hashing, or zero-knowledge contract questions. Source: fractionestate/midnight-dev-skills.