Hey everyone ![]()
I just published a deep dive on Compact, Midnight’s smart contract language, focusing on how it enforces privacy by default at the language level.
The article explores a key shift in how we think about smart contracts:
Instead of executing code on-chain, Compact defines logic that is proven using zero-knowledge systems, meaning data can remain private while still being verifiable.
Some highlights:
• Why Compact is not a general-purpose language
• How circuits replace traditional functions
• The role of witnesses and private inputs
• Why disclose is mandatory for transparency
• The shift from execution → verification
This is especially useful if you’re trying to understand how Midnight differs from traditional chains like Ethereum.
Would love to hear your thoughts, especially from builders already experimenting with Compact.
