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 |
Создавайте смарт-контракты, сохраняющие конфиденциальность, в Compact (Minokawa) для Midnight Network. Используйте при создании контрактов, определении типов, использовании стандартных библиотечных функций или реализации шаблонов ZK. Триггеры по компактному языку, схемам, состоянию реестра, хешированию или вопросам контракта с нулевым разглашением. Источник: fractionestate/midnight-dev-skills.