For the complete documentation index, see llms.txt

The Compact language

Midnight comes with its own programming language, Compact, which enables you to write smart contracts for the Midnight ecosystem. The Compact compiler outputs zero-knowledge circuits that are used to prove the correctness of interactions with the ledger.

This section will provide a more in-depth breakdown of writing Compact and working with its supporting tools. Subsequent sections cover security best practices, Compact language reference and the Compact standard library API reference.